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
Save for later
Multimedia Multiprocessor Systems: Analysis, Design and Management (Embedded Systems)
by Akash Kumar,Henk Corporaal,Bart Mesman,Yajun Ha
ISBN 13: 9789400700826
Format: Hardcover (179 pages) Publisher: Springer Published: 23 Sep 2010
Pervasive Information Architecture: Designing Cross-Channel User Experiences
by Andrea Resmini,Luca Rosati
ISBN 13: 9780123820945
Format: Paperback (272 pages) Publisher: Morgan Kaufmann Published: 17 May 2011
Discrete-event Modeling and Simulation (Computational Analysis, Synthesis, and Design of Dynamic Systems)
by
ISBN 13: 9781420072334
Format: Hardcover (534 pages) Publisher: CRC Press Published: 14 Feb 2011 Other Format: Hardcover
Oracle Fusion Middleware 11g Architecture and Management (Osborne Oracle Press Series)
by Reza Shafii,Stephen Lee,Gangadhar Konduri
ISBN 13: 9780071754170
Format: Paperback (560 pages) Publisher: McGraw-Hill Osborne Published: 01 Jul 2011
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
by José Bacelar Almeida,Maria João Frade,Jorge Sousa Pinto,Simão Melo de Sousa
ISBN 13: 9780857290175
Format: Paperback (320 pages) Publisher: Springer Published: 07 Jan 2011
Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540851691
Format: Paperback (488 pages) Publisher: Springer Published: 30 Jul 2008
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540893295
Format: Paperback (343 pages) Publisher: Springer Published: 14 Nov 2008
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540262787
Format: Paperback (667 pages) Publisher: Springer Published: 27 Jun 2005
Logic Synthesis for Compositional Microprogram Control Units (Lecture Notes in Electrical Engineering)
by Alexander Barkalov,Larysa Titarenko
ISBN 13: 9783540692836
Format: Hardcover (288 pages) Publisher: Springer Published: 14 Aug 2008
Intelligent Agents and Multi-Agent Systems: 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540896739
Format: Paperback (406 pages) Publisher: Springer Published: 24 Nov 2008
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues)
ISBN 13: 9783540938996
Format: Paperback (381 pages) Publisher: Springer Published: 18 Dec 2008