Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998
Save for later
Switchmode Power Supply Handbook 3/E
by Keith Billings,Taylor Morey
ISBN 13: 9780071639712
Format: Hardcover (832 pages) Publisher: McGraw-Hill Professional Published: 01 Oct 2010
Network Processors: Architecture, Programming, and Implementation (Systems on Silicon)
by Ran Giladi
ISBN 13: 9780123708915
Format: Illustrated (688 pages) Publisher: Morgan Kaufmann Published: 29 Aug 2008
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited: ... 5397 (Lecture Notes in Computer Science)
by Matteo Baldoni
ISBN 13: 9783540939191
Format: Paperback (264 pages) Publisher: Springer Published: 13 Feb 2009
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Domain Decomposition Methods: Algorithms and Theory: v. 34 (Springer Series in Computational Mathematics)
by Andrea Toselli, Olof Widlund
ISBN 13: 9783540206965
Format: Hardcover (350 pages) Publisher: Springer Published: 18 Oct 2004
The SIM Guide to Enterprise Architecture
by Leon Kappelman
ISBN 13: 9781439811139
Format: Illustrated (330 pages) Publisher: CRC Press Published: 27 Oct 2009
Miracle of Mind Dynamics
by Murphy
ISBN 13: 9780135853986
Format: Paperback (224 pages) Publisher: Prentice Hall Published: 16 Apr 1999
Pipelined ADC Design and Enhancement Techniques (Analog Circuits and Signal Processing)
by Imran Ahmed
ISBN 13: 9789048186518
Format: Hardcover (240 pages) Publisher: Springer Published: 19 Mar 2010
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 4486 (Lecture Notes in Computer Science)
by Marco Bernardo
ISBN 13: 9783540724827
Format: Illustrated (484 pages) Publisher: Springer Published: 28 Jun 2007
Semantics of Concurrent Computation: Proceedings of the International Symposium Evian, France, July 2-4, 1979: No. 70 (Lecture Notes in Computer Science)
by G. Kahn
ISBN 13: 9783540095118
Format: Paperback (380 pages) Publisher: Springer Published: 01 Jun 1979