Order Total (1 Item Items):
Shipping Destination:
Sangiorgi Davide (104 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (104)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (81)
- As New, Fine or Near Fine (16)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (35)
- Not Print on Demand (73)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
The Pi-Calculus: A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Seller: Michael Knight, Bookseller, Forest Grove, OR, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Paperback. Highlighting to pages. Binding solid.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
-
Paperback or Softback. Condition: New. Trustworthy Global Computing: International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005. Revised Selected Papers. Book.
-
-
Trustworthy Global Computing
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2005
ISBN 10: 3540300074 ISBN 13: 9783540300076
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: 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.
-
The Pi-Calculus: A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
-
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings (Theoretical Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers (Lecture Notes in Computer Science, 3705)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
-
-
Trustworthy Global Computing : International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Theoretical Computer Science : 8th Ifip Tc 1/Wg 2.2 International Conference, Tcs 2014, Rome, Italy, September 1-3, 2014. Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
The Pi-Calculus: A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2003
ISBN 10: 0521543274 ISBN 13: 9780521543279
Condition: 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.
-
Concur '98: Concurrency Theory. Lecture Notes in Computer Science, 1466
Published by Springer, 1998
ISBN 10: 3540648968 ISBN 13: 9783540648963
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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.
-
Condition: New. pp. 384.
-
Condition: New. pp. 372.
-
Pi-Calculus : A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Condition: New.
-
The Pi-Calculus: A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Condition: New.
-
Pi-Calculus : A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Condition: As New. Unread book in perfect condition.
-
The Pi-Calculus: A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 70.27
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
The Pi-Calculus: A Theory of Mobile Processes
Language: English
Published by Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Paperback. Condition: New.
-
Pi-Calculus : A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
The Pi-Calculus: A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: 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. . . . .
-
Pi-Calculus : A Theory of Mobile Processes
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521543274 ISBN 13: 9780521543279
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Trustworthy Global Computing
Language: English
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540300074 ISBN 13: 9783540300076
Kartoniert / Broschiert. Condition: New.
-
-
-
Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2014
ISBN 10: 3662446014 ISBN 13: 9783662446010
Taschenbuch. Condition: 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.
