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)
Introduction to C++ Programming and Graphics
Constantine Pozrikidis
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 BasketExcel 2016 : A Comprehensive Beginner's Guide to Microsoft Excel 2016
Timothy C Needham
Out of stock
Format: Book (Paperback / softback)
Optimized ASIP Synthesis from Architecture Description Language Models
Oliver Schliebusch
Download - Immediately Available
Format: eBook (PDF)
Advanced Memory Optimization Techniques for Low-Power Embedded Processors
Manish Verma
Download - Immediately Available
Format: eBook (PDF)
Exploring C for Microcontrollers : A Hands on Approach
Jivan Parab
Download - Immediately Available
Format: eBook (PDF)
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
Marc Boule
Download - Immediately Available
Format: eBook (PDF)
Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz
Sekharipuram S. Ravi
Download - Immediately Available
Format: eBook (PDF)
Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL'08
Martin Radetzki
Out of stock
Format: Book (Hardback)
Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL'08
Martin Radetzki
Download - Immediately Available
Format: eBook (PDF)
Introduction to occam 2 on the Transputer
Graham R. Brookes
Download - Immediately Available
Format: eBook (PDF)