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
Save for later
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
by Howard Bowman,Rodolfo Gomez
ISBN 13: 9781852338954
Format: Hardcover (422 pages) Publisher: Springer Published: 21 Dec 2005
Entwurf Analoger CMOS Schaltungen Fr Extrem Niedrige Versorgungsspannungen: 108 Abb., 9 Tab (Halbleiter-Elektronik)
by Jens Sauerbrey
ISBN 13: 9783540407034
Format: Hardcover (155 pages) Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Published: 01 Apr 2004
Achievements in European Research on Grid Systems: CoreGRID Integration Workshop 2006 (Selected Papers)
by
ISBN 13: 9780387728117
Format: Hardcover (238 pages) Publisher: Springer Published: 14 Nov 2007
Towards Next Generation Grids: Proceedings of the CoreGRID Symposium 2007
ISBN 13: 9780387724973
Format: Hardcover (302 pages) Publisher: Springer Published: 17 Sep 2007
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers (Lecture Notes in Computer Science)
ISBN 13: 9783540430759
Format: Paperback (548 pages) Publisher: Springer Published: 14 Dec 2001 Other Format: Paperback
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540697350
Format: Paperback (395 pages) Publisher: Springer Published: 03 Jan 2007
Embedded Computer Systems: Architectures, Modeling, and Simulation: 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642031373
Format: Paperback (342 pages) Publisher: Springer Published: 13 Jul 2009 Other Format: Paperback
System Modeling and Optimization: 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers (IFIP Advances in Information and Communication Technology)
ISBN 13: 9783642048012
Format: Hardcover (507 pages) Publisher: Springer Published: 15 Oct 2009
Dependency Structures and Lexicalized Grammars: An Algebraic Approach (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642145674
Format: Paperback (137 pages) Publisher: Springer Published: 30 Jul 2010
Arithmetic Optimization Techniques for Hardware and Software Design
by Ryan Kastner,Anup Hosangadi,Farzan Fallah
ISBN 13: 9780521880992
Format: Hardcover (200 pages) Publisher: Cambridge University Press Published: 06 May 2010
Quantitative Measure for Discrete Event Supervisory Control
ISBN 13: 9780387021089
Format: Hardcover (264 pages) Publisher: Springer Published: 01 Feb 2005