Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)
by
ISBN 13: 9783540646082
Format: Paperback (552 pages) Publisher: Springer Published: 03 Jun 1998
Save for later
Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems
by Bernard P. Zeigler,Tag Gon Kim,Herbert Praehofer
ISBN 13: 9780127784557
Format: Hardcover (510 pages) Publisher: Academic Press Published: 18 Jan 2000
Mathematical Optimization in Computer Graphics and Vision (The Morgan Kaufmann Series in Computer Graphics)
by Luiz Velho,Paulo Carvalho,Jonas Gomes,Luiz de Figueiredo
ISBN 13: 9780127159515
Format: Hardcover (304 pages) Publisher: Morgan Kaufmann Published: 04 Jun 2008
Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540212683
Format: Paperback (448 pages) Publisher: Springer Published: 12 Mar 2004
Conceptual Modeling for Traditional and Spatio-Temporal Applications: The MADS Approach
by Christine Parent,Stefano Spaccapietra,Esteban Zimányi
ISBN 13: 9783540301530
Format: Hardcover (484 pages) Publisher: Springer Published: 20 Apr 2006 Other Format: Paperback
DNA Computing Models (Advances in Information Security)
by Zoya Ignatova,Israel Martínez-Pérez,Karl-Heinz Zimmermann
ISBN 13: 9780387736358
Format: Hardcover (302 pages) Publisher: Springer Published: 30 Jul 2008
Theory and Practice of Algorithms in (Computer) Systems: First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783642197536
Format: Paperback (275 pages) Publisher: Springer Published: 14 Mar 2011
Reconfigurable Computing: Architectures, Tools and Applications: 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783642194740
Format: Paperback (412 pages) Publisher: Springer Published: 14 Mar 2011
Affective Computing and Intelligent Interaction: Second International Conference, ACII 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540748885
Format: Paperback (781 pages) Publisher: Springer Published: 30 Aug 2007
Run-time Models for Self-managing Systems and Applications (Autonomic Systems)
ISBN 13: 9783034604321
Format: Paperback (194 pages) Publisher: Springer Basel Published: 16 Nov 2010
Model-Based Software Performance Analysis
by Vittorio Cortellessa,Antinisca Di Marco,Paola Inverardi
ISBN 13: 9783642136207
Format: Hardcover (202 pages) Publisher: Springer Published: 08 May 2011
The Steiner Tree Problem: A Tour Through Graphs, Algorithms and Complexity (Advanced Lectures in Mathematics)
by Hans-Jurgen Promel,Angelika Steger,Hans-Juergen Proemel
ISBN 13: 9783528067625
Format: Paperback (241 pages) Publisher: Friedrich Vieweg & Sohn Verlagsgesellschaft mbH Published: Aug 1996