Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ... Computer Science and General Issues)
by
ISBN 13: 9783540938996
Format: Paperback (381 pages) Publisher: Springer Published: 18 Dec 2008
Save for later
Quality of Software Architectures Models and Architectures: 4th International Conference on the Quality of Software Architectures, QoSA 2008, ... / Programming and Software Engineering)
ISBN 13: 9783540878780
Format: Paperback (235 pages) Publisher: Springer Published: 07 Oct 2008
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures ... / Programming and Software Engineering)
ISBN 13: 9783540921875
Format: Paperback (313 pages) Publisher: Springer Published: 01 Dec 2008
Mathematical Foundations of Computer Science 2008: 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783540852377
Format: Paperback (626 pages) Publisher: Springer Published: 12 Aug 2008
Architectural Optimizations in Multi-Core Processors: Improving Thread-Based Synchronization and Communications
by Sevin Fide
ISBN 13: 9783639101577
Format: Paperback (144 pages) Publisher: VDM Verlag Dr. Muller Aktiengesellschaft & Co. KG Published: 18 Nov 2008
Advanced Topics in Dataflow Computing and Multithreading: 53 (Practitioners)
by Lubomir Bic,Guang R. Gao,Jean-Luc Gaudiot
ISBN 13: 9780818665424
Format: Illustrated (464 pages) Publisher: Wiley-IEEE Computer Society Pr Published: 30 Jun 1995
The Pentium Chronicles: The People, Passion, and Politics Behind Intel's Landmark Chips: 12 (Practitioners)
by Robert P. Colwell
ISBN 13: 9780471736172
Format: Illustrated (208 pages) Publisher: Wiley-IEEE Computer Society Pr Published: 24 May 2011
Fundamental Concepts in Electrical and Computer Engineering with Practical Design Problems (Second Edition)
by Reza Adhami,III Peter M. Meenen,Denis Hite
ISBN 13: 9781581129717
Format: Paperback (736 pages) Publisher: Dissertation.com Published: 20 Aug 2007
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540251088
Format: Paperback (684 pages) Publisher: Springer Published: 04 Mar 2005
Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)
by Jim Woodcock, Natarajan Shankar
ISBN 13: 9783540878728
Format: Paperback (263 pages) Publisher: Springer Published: 22 Sep 2008
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl: 2635 (Lecture Notes in Computer Science)
by Olaf Owe, Stein Krogdahl, Tom Lyche
ISBN 13: 9783540213666
Format: Illustrated (404 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Compilation Techniques for Reconfigurable Architectures
by João M.P. Cardoso,Pedro C. Diniz
ISBN 13: 9780387096704
Format: Illustrated (236 pages) Publisher: Springer Published: 26 Nov 2008