Design and Safety Assessment of Critical Systems
by Marco Bozzano, Adolfo Villafiorita
ISBN 13: 9781439803318
Format: Hardcover (297 pages) Publisher: Auerbach Publications Published: 14 Dec 2010
Save for later
Signal Processing for Intelligent Sensor Networks with MATLAB (Signal Processing and Communications)
by David C. Swanson
ISBN 13: 9781420043044
Format: Hardcover (683 pages) Publisher: CRC Press Published: 26 Jul 2011
Lectures on Concurrency and Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science)
by
ISBN 13: 9783540222613
Format: Paperback (857 pages) Publisher: Springer Published: 14 Jun 2004
Concurrency in Dependable Computing
ISBN 13: 9781441952783
Format: Paperback (328 pages) Publisher: Springer Published: 12 Oct 2010
Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. ... / Programming and Software Engineering)
ISBN 13: 9783642198571
Format: Paperback (221 pages) Publisher: Springer Published: 16 Mar 2011
Design of Multithreaded Software: The Entity-Life Modeling Approach
by Bo I. Sandén
ISBN 13: 9780470876596
Format: Hardcover (320 pages) Publisher: Wiley-Blackwell Published: 15 Feb 2011
Foundations of MEMS
by Chang Liu
ISBN 13: 9780132497367
Format: Hardcover (560 pages) Publisher: Prentice Hall Published: 04 Mar 2011
High Performance Computing on Vector Systems 2008
ISBN 13: 9783540858683
Format: Hardcover (256 pages) Publisher: Springer Published: 04 Nov 2008
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
by Erich Grädel,Phokion G. Kolaitis,Leonid Libkin,Maarten Marx,Joel Spencer,Moshe Y. Vardi,Yde Venema,Scott Weinstein
ISBN 13: 9783540004288
Format: Hardcover (437 pages) Publisher: Springer Published: 24 Apr 2007
Logical and Relational Learning: From ILP to MRDM (Cognitive Technologies)
by Luc De Raedt
ISBN 13: 9783540200406
Format: Hardcover (404 pages) Publisher: Springer Published: 12 Sep 2008
ICT Innovations 2010: Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers (Communications in Computer and Information Science)
ISBN 13: 9783642193248
Format: Paperback (378 pages) Publisher: Springer Published: 01 Mar 2011
Engineering Methods in the Service-Oriented Context: 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, ... in Information and Communication Technology)
ISBN 13: 9783642199967
Format: Hardcover (242 pages) Publisher: Springer Published: 23 Mar 2011