Cosimo laneve (48 resultados)

Paperback. Condición: Usato - Come nuovo. In-16 (Cm 19 x 12,3), pp. 103, brossura editoriale con alette. COME NUOVO.

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Paperback. Condición: New.

Paperback. Condición: New.

Condición: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.…

Condición: NEW.

Condición: NEW.

Condición: New.

Paperback or Softback. Condición: New. Theoretical Computer Science: 8th Italian Conference, Ictcs 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Book.

Condición: As New. Unread book in perfect condition.

Condición: New.

Paperback. Condición: new. Paperback. This volume contains the papers presented at WS-FM 2009: The 6th Inter- tional Workshop on Web Services and Formal Methods held during September 4-5, 2009 in Bologna, Italy. There were 18 submissions by authors from 12 countries. Each submission was reviewed by at least 3, and on the average 3.9, Program Committee m- bers. The committee decided to accept 10 papers. Most of the selected papers are reports on work in progress on problems related to formal aspects of Web services. This workshop also features three invited talks by Mariangiola Dezani (Sessions and Session Types: An Overview), Robin Milner (Processes, and C- egories of Bigraphs) and Maurizio Lenzerini. Dezani's talk is included in this volume. We thank all authors who submitted papers to this workshop, and the m- bersof the ProgramCommittee for their workin the reviewprocess.We arealso grateful to the CONCUR 2009 organizers who take care of many organizational details for the workshop and, in particular, to Mario Bravetti and Gianluigi - vattaro. We also thank EasyChair that helped us in the management of every step of the workshop. Constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. This title features topics such as approaches to analyzing and designing systems based on Web Service technology. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condición: Buone. italiano Condizioni dell'esterno: Buone Condizioni dell'interno: leggerissime tracce d'umidità.

Condición: Buone. italiano Condizioni dell'esterno: Buone Condizioni dell'interno: Buone.

Paperback. Condición: New.

Paperback. Condición: New.

Condición: New.

Condición: new.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Paperback. Condición: Brand New. 1st edition. 204 pages. 9.20x6.10x0.50 inches. In Stock.

copertina morbida. Condición: buone. Estado de la sobrecubierta: buone. NEL MONDO D'OGGI SI TENDE A SODDISFARE I BISOGNI, MA SI TARPANO LE GRANDI ASPIRAZIONI. ALLA TENSIONE VERSO I VALORI DELL'UMANO E ALLA NAVIGAZIONE VERSO IL MARE APERTO E INFINITO DELL'AVVENTURA, DELL'INCONTRO, DELL'AMORE, DEL DIVERSO, DEL CONOSCERE, DEL SOLIDALE, DEL GIUSTO, SI PREFERISCE IL PICCOLO CABOTAGGIO, NAVIGARE LUNGO LA COSTA PER NON CORRERE RISCHI. E SI ANNEGA NEL VERDE SCURO, NELLA "CALMA PIATTA". OMBRE VAGANTI E AFONE CHE NON CONOSCONO LA PIENEZZA DEL VIVERE. QUESTO LIBRO LANCIA UNA SFIDA: PROGETTARE E COSTRUIRE CIASCUNO, A SUO MODO, LA BELLEZZA DELLA VITA, RISCOPRENDO LA FORTUNA DI ESISTERE SULLA TERRA CON TUTTI.…

paperback. Condición: Fine. Atti del Convegno per la celebrazione del cinquantenario dell'istituzione dell'allora Magistero, 5-6 dicembre 2005. Interventi di Giovanni Massaro, Giuseppe Elia, Giovanna Da Molin, Maria Pagliara, Piero Beraldi, et al. . 8vo. pp. 266. . Ottimo (Fine). . . . Book.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- Extreme Nash Equilibria.- Certification of Memory Usage.- On Programming Models for Mobility.- Program Design, Models and Analysis.- On the Computational Complexity of Cut-Elimination in Linear Logic.- A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics.- Finite Horizon Analysis of Stochastic Systems with the Mur Verifier.- Towards Compact and Tractable Automaton-Based Representations of Time Granularities.- Lower Bounds on the Size of Quantum Automata Accepting Unary Languages.- Refined Effects for Unanticipated Object Re-classification: .- Algorithms and Complexity.- Cost Constrained Fixed Job Scheduling.- A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set.- An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality.- Channel Assignment in Honeycomb Networks.- Exact Solution of a Class of Frequency Assignment Problems in Cellular Networks.- The Complexity of Checking Consistency of Pedigree Information and Related Problems.- On Clausal Equivalence and Hull Inclusion.- Semantics and Formal Languages.- Logical Semantics for the First Order -Calculus.- On the Expressive Power of Light Affine Logic.- Reasoning about Self and Others: Communicating Agents in a Modal Action Logic.- Decidability Properties of Recursive Types.- Algebraic Theories for Contextual Pre-nets.- A Coalgebraic Description of Web Interactions.- A Calculus for Dynamic Linking.- Towards a Smart Compilation Manager for Java.- Security and Cryptography.- Anonymous Group Communication in Mobile Networks.- Aspects of Pseudorandomness in Nonlinear Generators of Binary Sequences.- AnInformation-Theoretic Approach to the Access Control Problem.- Security-Aware Program Transformations.- Information Flow Security and Recursive Systems.- Compositional Verification of Secure Streamed Data: A Case Study with EMSS. …

paperback. Condición: Perfetto (Mint). . 8vo. pp. 134. . Perfetto (Mint). . . . Book.

Condición: New. pp. vii + 197 1st edition.

copertina morbida. Condición: nuovo. Estado de la sobrecubierta: nuovo. NEL MONDO D'OGGI SI TENDE A SODDISFARE I BISOGNI, MA SI TARPANO LE GRANDI ASPIRAZIONI. ALLA TENSIONE VERSO I VALORI DELL'UMANO E ALLA NAVIGAZIONE VERSO IL MARE APERTO E INFINITO DELL'AVVENTURA, DELL'INCONTRO, DELL'AMORE, DEL DIVERSO, DEL CONOSCERE, DEL SOLIDALE, DEL GIUSTO, SI PREFERISCE IL PICCOLO CABOTAGGIO, NAVIGARE LUNGO LA COSTA PER NON CORRERE RISCHI. E SI ANNEGA NEL VERDE SCURO, NELLA "CALMA PIATTA". OMBRE VAGANTI E AFONE CHE NON CONOSCONO LA PIENEZZA DEL VIVERE. QUESTO LIBRO LANCIA UNA SFIDA: PROGETTARE E COSTRUIRE CIASCUNO, A SUO MODO, LA BELLEZZA DELLA VITA, RISCOPRENDO LA FORTUNA DI ESISTERE SULLA TERRA CON TUTTI.…

Condición: New. pp. vii + 197 Illus.

Paperback. Condición: New.

Condición: Good. Condizioni dettagliate: Più che buone, più che buone, abrasioni e pieghje sulla sovraccoperta, fioriture sparse, copertina flessibile.