Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
by Michael Yoeli,Rakefet Kol
ISBN 13: 9780471704492
Format: Hardcover (231 pages) Publisher: Wiley-Blackwell Published: 15 Apr 2008
Save for later
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference ... / Programming and Software Engineering)
by
ISBN 13: 9783642021374
Format: Paperback (249 pages) Publisher: Springer Published: 25 May 2009
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)
by Wan Fokkink
ISBN 13: 9783540739371
Format: Hardcover (156 pages) Publisher: Springer Published: 26 Sep 2007
Advances in Intelligent and Distributed Computing: Proceedings of the 1st International Symposium on Intelligent and Distributed Computing IDC 2007, ... 2007 (Studies in Computational Intelligence)
ISBN 13: 9783540749295
Format: Hardcover (310 pages) Publisher: Springer Published: 12 Oct 2007
Distributed and Parallel Systems: In Focus: Desktop Grid Computing
ISBN 13: 9780387794471
Format: Hardcover (220 pages) Publisher: Springer Published: 15 Aug 2008
Agent-Mediated Electronic Commerce VI: Theories for and Engineering of Distributed Mechanisms and Systems, AAMAS 2004 Workshop, Amec 2004, New York, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540297376
Format: Paperback (227 pages) Publisher: Springer Published: 14 Feb 2006
Network-Aware Optimization in Distributed Data Stream Systems: Sharing Data Stream Contents and Processing Results in Distributed Environments
by Richard Kuntschke
ISBN 13: 9783639102628
Format: Paperback (252 pages) Publisher: VDM Verlag Dr. Muller Aktiengesellschaft & Co. KG Published: 19 Nov 2008
Implementing Distributed Systems with Java and CORBA
by Markus Aleksy,Axel Korthaus,Martin Schader
ISBN 13: 9783540241737
Format: Hardcover (343 pages) Publisher: Springer Published: 22 Jun 2005
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)
ISBN 13: 9783540705598
Format: Hardcover (260 pages) Publisher: Springer Published: 18 Aug 2008 Other Format: Hardcover
Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity
by Chryssis Georgiou
ISBN 13: 9780387309187
Format: Hardcover (245 pages) Publisher: Springer Published: 20 Dec 2007
Distributed and Parallel Systems: From Cluster to Grid Computing
ISBN 13: 9780387698571
Format: Hardcover (235 pages) Publisher: Springer Published: 23 May 2007
Managing Virtualization of Networks and Services: 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, ... Networks and Telecommunications)
ISBN 13: 9783540756934
Format: Paperback (269 pages) Publisher: Springer Published: 08 Oct 2007