Quick Search
Shop by Price
Featured Categories
Categories
Systems Analysis & Design
|
Practical Design Verification By: Dhiraj K. Pradhan, Ian G. Harris Format: Hardcover |
||||
|
|||||
Description:1. Model checking and equivalence checking M. Fujita; 2. Transaction level system modeling D. Gajski and S. Abdi; 3.......ISBN: 9780521859721 |
|||||
|
Virtual and Mixed Reality Editor: Randall Shumaker Format: Paperback |
||||
|
|||||
|
ISBN: 9783642027703
|
|||||
|
Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST 20 Editor: Mounir Mokhtari, Ismail Khalil, Jeremy Bauchet Format: Paperback |
||||
|
|||||
|
ISBN: 9783642028670
|
|||||
|
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Pape Editor: Darren Cofer, Alessandro Fantechi Format: Paperback |
||||
|
|||||
|
ISBN: 9783642032394
|
|||||
|
Growth and Development of Computer-Aided Innovation: Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009, Proceedings Editor: Runhua Tan, Guozhong Cao, Noel Leon Format: Hardcover |
||||
|
|||||
|
ISBN: 9783642033452
|
|||||
|
Novel Algorithms for Fast Statistical Analysis of Scaled Circuits By: Amith Singhee, Rob A. Rutenbar Format: Hardcover |
||||
|
|||||
|
ISBN: 9789048130993
|
|||||
|
Implementation and Application of Automata Editor: Sebastian Maneth Format: Paperback |
||||
|
|||||
|
ISBN: 9783642029783
|
|||||
|
Computer Performance Engineering: 6th European Performance Engineering Workshop, Epew 2009 London, UK, July 9-10, 2009 Proceedings Unknown: Jeremy T. Bradley Format: Paperback |
||||
|
|||||
|
ISBN: 9783642029233
|
|||||
|
Tests and Proofs: Third International Conference, Tap 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings Unknown: Catherine DuBois Format: Paperback |
||||
|
|||||
|
ISBN: 9783642029486
|
|||||
|
The Muse Method for Usability Engineering By: Kee Yong Lim, John B. Long Format: Paperback |
||||
|
|||||
Description:Preface; Part I. The Need for a Structured Human Factors Method to Support System Development: 1. On human factors......ISBN: 9780521479998 |
|||||
|
Practical Computing on the Cell Broadband Engine By: Sandeep Koranne Format: Hardcover |
||||
|
|||||
|
ISBN: 9781441903075
|
|||||
|
Future Multimedia Networking Editor: Andreas Mauthe, Sherali Zeadally, Eduardo Cerqueira Format: Paperback |
||||
|
|||||
|
ISBN: 9783642024719
|
|||||
|
The Circuits and Filters Handbook, Third Edition (Five Volume Slipcase Set) By: Wai-Kai Chen Editor: Wai-Kai Chen Format: Hardcover |
||||
|
|||||
Description:In its third edition, this groundbreaking bestseller surveys current accomplishments in the field while providing......ISBN: 9781420055276 |
|||||
|
Multi-Agent Programming:: Languages, Tools and Applications Editor: Rafael Bordini, Mehdi Dastani, Ja1/4rgen Dix Format: Hardcover |
||||
|
|||||
|
ISBN: 9780387892986
|
|||||
|
Dynamic System Reconfiguration in Heterogeneous Platforms: The Morpheus Approach Editor: Nikolaos Voros, Alberto Rosti, Michael Hubner Format: Hardcover |
||||
|
|||||
|
ISBN: 9789048124268
|
|||||
|
Artificial Life Models in Hardware Editor: Andrew Adamatzky, Maciej Komosinski Format: Hardcover |
||||
|
|||||
|
ISBN: 9781848825291
|
|||||
|
Distributed Computing in Sensor Systems: 5th IEEE International Conference, Dcoss 2009, Marina del Rey, CA, USA, June 8-10, 2009, Proceedings Unknown: Bhaskar Krishnamachari Format: Paperback |
||||
|
|||||
|
ISBN: 9783642020841
|
|||||
|
Distributed Applications and Interoperable Systems: 9th Ifip Wg 6.1 International Conference, Dais 2009, Lisbon, Portugal, June 9-12, 2009, Proceeding Unknown: Twittie Senivongse Format: Paperback |
||||
|
|||||
|
ISBN: 9783642021633
|
|||||
|
Web Services and Formal Methods: 5th International Workshop, Ws-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings Unknown: Roberto Bruni Format: Paperback |
||||
|
|||||
|
ISBN: 9783642013638
|
|||||
|
Networking 2009: 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009, Proceedings Editor: Luigi Fratta, Henning Schulzrinne, Yutaka Takahashi Format: Paperback |
||||
|
|||||
|
ISBN: 9783642013980
|
|||||
Latest Publisher Releases
Click on the logos to see the latest releases from these leading Australian publishers and distributors.
