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
Save for later
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
Living with the Chip
by T. Makimoto,D. Manners
ISBN 13: 9780412616907
Format: Paperback (224 pages) Publisher: Springer Published: 30 Nov 1994
Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European ... Pr: 1784 (Lecture Notes in Computer Science)
by Jerzy Tiuryn
ISBN 13: 9783540672579
Format: Paperback (408 pages) Publisher: Springer Published: 13 Apr 2000
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
Programming Challenges: The Programming Contest Training Manual (Texts in Computer Science)
by Steven S. Skiena, Miguel A. Revilla
ISBN 13: 9780387001630
Format: Paperback (368 pages) Publisher: Springer Published: 14 May 2003
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
Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540894384
Format: Paperback (728 pages) Publisher: Springer Published: 13 Nov 2008
Scientific Computer Performance (Chapman & Hall/CRC Computational Science)
ISBN 13: 9781439815694
Format: Hardcover (399 pages) Publisher: CRC Press Published: 01 Feb 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
Discrete-event Modeling and Simulation (Computational Analysis, Synthesis, and Design of Dynamic Systems)
ISBN 13: 9781420072334
Format: Hardcover (534 pages) Publisher: CRC Press Published: 14 Feb 2011 Other Format: Hardcover