Søk: 'Computer-aided Specification Techniques'
-
Architects of the Information Society: 35 Years of the Laboratory for Computer Science at MIT
ISBN 9780262071963 , 1999 , Harold Abelson, Simson L. Garfinkel, Hal Abelson
-
Discrete Mathematics.: With Exercises, Self-tests and Worked Examples. (JK Computer Science and Mathmatics Series).
ISBN 9780130890085 , 2001 , Richard Johnsonbaugh
-
A first course in electrical and computer engineering: with MATLAB programs and experiments
ISBN 9780201534726 , 1991 , Louis L. Scharf, Richard T. Behrens
-
E-Ville(r): One Gay Man's Sci-Fi Mind Trip; From Addict's Hell, Into a Living Computer Game...
ISBN 9780595340286 , 2005 , ronald scott maestri
-
Relationship marketing: new strategies, techniques, and technologies to win the customers you want and keep them forever
ISBN 9780471641735 , 1998 , Ian H. Gordon
-
Before the Computer: IBM, NCR, Burroughs and Remington Rand and the Industry They Creatd, 1865-1956
ISBN 9780691050454 , 2000
-
Computer Vision: Craft, Engineering, and Science: Workshop Proceedings, Killarney, Ireland, September 9/10, 1991
ISBN 9783540572114 , 1994 , David Vernon
-
Crossing the border: the social and engineering design of computer integrated manufacturing systems
ISBN 9783540196136 , 1991 , J. Martin Corbett, Lauge Baungaard Rasmussen,m.fl.
-
The Composer's Handbook: A Do-It-Yourself Approach Combining "Tricks of the Trade" and Other Techniques
ISBN 9780946535804 , 1996
-
Multi Pack: An Introduction to Systems Analysis Techniques and Uml Distilled:A Brief Guide to the Standard Object Modeling Language
ISBN 9781405810807 , 2004 , Mark Lejk, David Deeks, Martin Fowler
-
Progress in computer-assisted function analysis: proceedings of the IFIP-IMIA Working Conference on Progress in Biological Function Analysis by Computer Technologies, Berlin, GDR, 19-23 May, 1987
ISBN 9780444703842 , 1988 , J.L. Willems, J.H. van Bemmel, Jan Hendrik Bemmel,m.fl.
-
The Animator's Survival Kit: A Manual of Methods, Principles and Formulas for Classical, Computer, Games, Stop Motion and Internet Animators
ISBN 9780571202287 , 2002 , Richard Williams
-
Human performance engineering: designing high quality, professional user interfaces for computer products, applications, and systems
ISBN 9780131496347 , 1996 , Robert W. Bailey
-
Brain-Computer Interfaces: Design and Implementation of an Online Bci System for the Control in Gaming Applications an Virtual Limbs
ISBN 9783836470353 , 2008 , Roman Krepkiy
-
24 Essential Lessons for Investment Success: Learn the Most Important Investment Techniques from the Founder of Investor's Business Daily
ISBN 9780071357548 , 1999 , William J. O'Neil
-
Nature of Personal Reality: Specific, Practical Techniques for Solving Everyday Problems and Enriching the Life You Know
ISBN 9781878424068 , 1994 , Jane Roberts, Robert F. Butts, Seth ((Spirit))
-
Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music: 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers
ISBN 9783642025174 , 2009 , Solvi Ystad, Richard Kronland-Martinet,m.fl.
-
Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research
ISBN 9780792380788 , 1997 , David L. Woodruff
-
Computer Analysis of Images and Patterns: 8th International Conference, CAIP'99 Ljubljana, Slovenia, September 1-3, 1999 Proceedings
ISBN 9783540663669 , 1999 , Franc Solina, Aleš Leonardis
-
Advances in cryptology: EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings
ISBN 9783540420705 , 2001 , Birgit Pfitzmann
-
Level Set Methods and Fast Marching Methods: Evolving Interfaces in Computational Geometry, Fluid Mechanics, Computer Vision, and Materials Science
ISBN 9780521645577 , 1999 , A. Iserles, Mark J. Ablowitz, S.H. Davis,m.fl.
-
Preserving Food Without Freezing Or Canning: Traditional Techniques Using Salt, Oil, Sugar, Alcohol, Vinegar, Drying, Cold Storage, and Lactic Fermentation : the Gardeners and Farmers of Terre Vivante
ISBN 9781933392592 , 2007 , Deborah Madison, Eliot Coleman,m.fl.
-
The Essential Atkins for Life Kit: Tools, Tips, and Techniques for Maintaining a Low Carb Lifestyle, Permanent Weight Loss, and Optimal Health [With 1
ISBN 9780312321604 , 2003 , Robert C. Atkins
-
A User's Guide to the Gottman-Williams Time-Series Analysis Computer Programs for Social Scientists
ISBN 9780521280594 , 1982 , Esther A. Williams, John Mordechai Gottman
-
Langman's Medical Embryology: T.W. Sadler ; Original Illustrations by Jill Leland ; Computer Illustrations by Susan L. Sadler-Redmond ; Scanning Electron Micrographs by Kathy Tosney ; Ultrasound Images by Nancy Chescheir and Hytham Imseis
ISBN 9780781790697 , 2010 , T. Thomas W. Sadler
-
Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, September 16-22, 1979
ISBN 9783540111573 , 1981 , Donald Ervin Knuth, Andrei Petrovich Ershov,m.fl.
-
Antique Speak: A Guide to the Styles, Techniques, and Materials of the Decorative Arts, from the Renaissance to Art Deco
ISBN 9780789203373 , 1997 , Kathryn B. Hiesinger, George H. Marcus
-
Crossover: Concepts and Applications in Genetics, Evolution and Breeding : An Interactive Computer-Based Laboratory Manual/Book and Disk
ISBN 9780299135645 , 1994 , Jack E. Staub, Karl Braunschweig, Claire Rinehart
-
ACSF 2007: Proceedings of the 2nd Conference on Advances in Computer Security and Forensics, Liverpool John Moores University, 12-13 July 2007, Liverpool, UK.
ISBN 9781902560175 , 2007 , John Haggerty, Madjid Merabti
-
Extending the Scope of Corpus-Based Research: New Applications, New Challenges
ISBN 9789042011366 , 2003 , Stephanie Petch-Tyson, Sylviane Granzer,m.fl.