Davide sangiorgi (92 resultados)

paperback. Condición: Good. Paperback. Highlighting to pages. Binding solid.

Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Condición: New.

Paperback or Softback. Condición: New. Trustworthy Global Computing: International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005. Revised Selected Papers. Book.

Condición: New.

Condición: New.

Paperback. Condición: New. 2005 ed. Computing technology has become ubiquitous, from global applications to - nuscule embedded devices. Trust in computing is vital to help protect public safety,nationalsecurity,andeconomicprosperity.Anewareaofresearch,known as global computing, has recently emerged that aims at de?ning new models of computation based on code and data mobility over wide area networks with highly dynamic topologies, and that aims at providing infrastructures to s- port coordination and control ofcomponents originatig n fromdi?erent,possibly untrusted, sources.Trustworthyglobalcomputing aims at guaranteeingsafe and reliable network usage, also by providing tools and framework for reasoning about behavior and properties of applications. AnInternationalSymposiumonTrustworthyGlobalComputing(TGC2005), was held in Edinburgh, UK, April 7-9, 2005.The symposium contained pres- tations and discussions dealing with issues such as: - resource usage, - language-based security, - theories of trust and authentication, - privacy, reliability and business integrity, - access control and mechanisms for enforcing it, - models of interaction and dynamic components management, - language concepts and abstraction mechanisms, - test generators, symbolic interpreters, type checkers, - ?nite state model checkers, theorem provers, - software principles to support debugging and veri?cation.…

Condición: New.

Condición: New.

Condición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1100grams, ISBN:9780521543279.

Condición: Good. 655 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.…

Condición: New. pp. 372.

Condición: New. pp. 384.

Condición: New.

Condición: New.

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

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014.The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check and add more if needed]TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and- Track B: Logic, Semantics, Specification and Verification. …

Condición: New.

Condición: New. Graduate text on the p-calculus, a mathematical model of mobile computing systems. Num Pages: 596 pages, black & white illustrations. BIC Classification: UT; UYA. Category: (P) Professional & Vocational. Dimension: 248 x 188 x 34. Weight in Grams: 1084. . 2008. Revised ed. paperback. . . . . …

Kartoniert / Broschiert. Condición: New.

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

Paperback. Condición: New. Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours. The book serves both as a reference for the theory and as an extended demonstration of how to use pi-calculus to describe systems and analyse their properties. It covers the basic theory of pi-calculus, typed pi-calculi, higher-order processes, the relationship between pi-calculus and lambda-calculus, and applications of pi-calculus to object-oriented design and programming. The book is written at the graduate level, assuming no prior acquaintance with the subject, and is intended for computer scientists interested in mobile systems.…

Taschenbuch. Condición: Neu. Neuware - Computing technology has become ubiquitous, from global applications to - nuscule embedded devices. Trust in computing is vital to help protect public safety,nationalsecurity,andeconomicprosperity.Anewareaofresearch,known as global computing, has recently emerged that aims at de ning new models of computation based on code and data mobility over wide area networks with highly dynamic topologies, and that aims at providing infrastructures to s- port coordination and control ofcomponents originatig n fromdi erent,possibly untrusted, sources.Trustworthyglobalcomputing aims at guaranteeingsafe and reliable network usage, also by providing tools and framework for reasoning about behavior and properties of applications. AnInternationalSymposiumonTrustworthyGlobalComputing(TGC2005), was held in Edinburgh, UK, April 7 9, 2005. The symposium contained pres- tations and discussions dealing with issues such as: resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity, access control and mechanisms for enforcing it, models of interaction and dynamic components management, language concepts and abstraction mechanisms, test generators, symbolic interpreters, type checkers, nite state model checkers, theorem provers, software principles to support debugging and veri cation.…

Taschenbuch. Condición: Neu. Theoretical Computer Science | 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings | Josep Diaz (u. a.) | Taschenbuch | xvi | Englisch | 2014 | Springer | EAN 9783662446010 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: New.

Condición: New.

Hardcover. Condición: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 68 SAN 9780521781770 Sprache: Englisch Gewicht in Gramm: 1100.…

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

Condición: New. Graduate text on the p-calculus, a mathematical model of mobile computing systems. Num Pages: 596 pages, black & white illustrations. BIC Classification: UT; UYA. Category: (P) Professional & Vocational. Dimension: 248 x 188 x 34. Weight in Grams: 1084. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland. …

Condición: New.