Hardware Description Languages and their Applications : Specification, modelling, verification and synthesis of microelectronic systems
Carlos Delgado Kloos
Download - Immediately Available
Format: eBook (PDF)
Programming Concepts and Methods PROCOMET '98 : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA
David Gries
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2
Scott F. Smith
Download - Immediately Available
Format: eBook (PDF)
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, F
Paolo Ciancarini
Download - Immediately Available
Format: eBook (PDF)
Usability : Gaining a Competitive Edge
Judy Hammond
Download - Immediately Available
Format: eBook (PDF)
Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany
Jeremy Gibbons
Download - Immediately Available
Format: eBook (PDF)
Solvent Systems and Their Selection in Pharmaceutics and Biopharmaceutics
Patrick Augustijns
Download - Immediately Available
Format: eBook (PDF)
Hardware Verification with System Verilog : An Object-Oriented Framework
Mike Mintz
Download - Immediately Available
Format: eBook (PDF)
The Electronic Design Automation Handbook
Dirk Jansen
Download - Immediately Available
Format: eBook (PDF)
Programming Languages : An Active Learning Approach
Kent D. Lee
Download - Immediately Available
Format: eBook (PDF)
Reasoning About Program Transformations : Imperative Programming and Flow of Data
Jean-Francois Collard
Item not Available
Format: Book (Hardback)
£64.99
£53.95
Item not Available
Book (Hardback)
LaTeX for Linux : A Vade Mecum
Bernice S. Lipkin
Item not Available
Format: Book (Paperback / softback)
£71.00
£58.75
Item not Available
Book (Paperback / softback)
Trustworthy Compilers
Vladimir O. (Computer Science Department, St. Petersburg Univ Safonov
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Hardback)
£134.95
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Hardback)
Add to BasketModern Compiler Implementation in C
Andrew W. Appel
Download - Immediately Available
Format: eBook (EPUB)
Modern Compiler Implementation in C
Andrew W. Appel
Download - Immediately Available
Format: eBook (PDF)
Agile Software Development with C# 4th Edition
Lynn Smith
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£72.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketWriting Compilers and Interpreters : A Software Engineering Approach
Ronald Mak
Download - Immediately Available
Format: eBook (EPUB)
Modern Compiler Implementation in Java
Andrew W. Appel
Download - Immediately Available
Format: eBook (EPUB)