Fundamentals of Performance Evaluation of Computer and Telecommunication Systems
by Mohammed S. Obaidat,Noureddine A. Boudriga
ISBN 13: 9780471269830
Format: Hardcover (480 pages) Publisher: Wiley-Interscience Published: 04 Mar 2010
Save for later
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer ... Germany, February 16-19, 2009, Proceedings
by Michael Leuschel, Heike Wehrheim
ISBN 13: 9783642002540
Format: Paperback (367 pages) Publisher: Springer Published: 02 Feb 2009
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
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
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)
by Anupam Datta
ISBN 13: 9783642106217
Format: Paperback (159 pages) Publisher: Springer Published: 24 Nov 2009
CAD and GIS Integration
by Hassan A. Karimi, Burcu Akinci
ISBN 13: 9781420068054
Format: Hardcover (247 pages) Publisher: Auerbach Publications Published: 17 Dec 2009
Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)
by Gheorghe Paun
ISBN 13: 9783642114663
Format: Illustrated (500 pages) Publisher: Springer Published: 12 Jan 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
A Modular Calculus for the Average Cost of Data Structuring: Efficiency-oriented Programming in Moqa
by Michel Schellekens
ISBN 13: 9780387733838
Format: Hardcover (272 pages) Publisher: Springer Published: 30 Jul 2008
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
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