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)
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)
Interaction Between Compilers and Computer Architectures
Gyungho Lee
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
£55.49
£46.55
Item not Available
Book (Paperback / softback)
High-Performance Compilers for Parallel Computing
Michael Wolfe
Item not Available
Format: Book (Paperback / softback)
£97.49
£92.85
Item not Available
Book (Paperback / softback)
Streamlining : Using New Technologies and the Internet to Transform Performance
Kenneth A. Loparo
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Categorical Combinators, Sequential Algorithms, and Functional Programming
P.-L. Curien
Download - Immediately Available
Format: eBook (PDF)
LaTeX for Linux : A Vade Mecum
Bernice S. Lipkin
Download - Immediately Available
Format: eBook (PDF)
C++ Toolkit for Engineers and Scientists
James T. Smith
Download - Immediately Available
Format: eBook (PDF)
C Programming: The Essentials for Engineers and Scientists
David R. Brooks
Download - Immediately Available
Format: eBook (PDF)
Data Structure Programming : With the Standard Template Library in C++
Joseph Bergin
Download - Immediately Available
Format: eBook (PDF)
Programming and Meta-Programming in Scheme
Jon Pearce
Download - Immediately Available
Format: eBook (PDF)
Data Structures and Algorithms : An Object-Oriented Approach Using Ada 95
John Beidler
Download - Immediately Available
Format: eBook (PDF)
