Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science)
by
ISBN 13: 9783540884781
Format: Paperback (708 pages) Publisher: Springer Published: 14 Oct 2008
Save for later
Hybrid Learning and Education: First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540851691
Format: Paperback (488 pages) Publisher: Springer Published: 30 Jul 2008
A Practical Programming Model for the Multi-Core Era: International Workshop on OpenMP, IWOMP 2007 Beijing, China, June 3-7, 2007, Proceedings: 3rd ... Computer Science and General Issues)
ISBN 13: 9783540693024
Format: Paperback (207 pages) Publisher: Springer Published: 11 Jun 2008
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, ... / Programming and Software Engineering)
ISBN 13: 9783540897774
Format: Paperback (227 pages) Publisher: Springer Published: 01 Dec 2008
Recent Advances in the 3D Physiological Human
ISBN 13: 9781848825642
Format: Hardcover (233 pages) Publisher: Springer Published: 30 Oct 2009
The Common Component Modeling Example: Comparing Software Component Models (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540852889
Format: Paperback (460 pages) Publisher: Springer Published: 26 Aug 2008
Google SketchUp Workshop: Modeling, Visualizing, and Illustrating
ISBN 13: 9780240816272
Format: Paperback (384 pages) Publisher: Focal Press Published: 24 Dec 2010
Solid Modelling and CAD Systems: How to Survive a CAD System
by Ian Stroud, Hildegarde Nagy
ISBN 13: 9780857292582
Format: Hardcover (689 pages) Publisher: Springer Published: 06 May 2011
Land-Use Modelling in Planning Practice (GeoJournal Library)
ISBN 13: 9789400718210
Format: Hardcover (214 pages) Publisher: Springer Published: 25 Aug 2011
Multi-objective Evolutionary Optimisation for Product Design and Manufacturing (Springer Series in Advanced Manufacturing)
ISBN 13: 9780857296177
Format: Hardcover (502 pages) Publisher: Springer Published: 04 Sep 2011
Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control (Advances in Numerical Mathematics)
by Christian Kirches
ISBN 13: 9783834815729
Format: Paperback (367 pages) Publisher: Vieweg+Teubner Verlag Published: 15 Sep 2011
3D Computer Graphics: A Mathematical Introduction with OpenGL
by Samuel R. Buss
ISBN 13: 9780521821032
Format: Illustrated (396 pages) Publisher: Cambridge University Press Published: 19 May 2003