Home Books

Books : Page 39185

Computer-Aided Reasoning: ACL2 Case Studies
  • PDF
  • English
  • Year: 2000
  • Author: Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.), Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (eds.)
Photonic Microsystems: Micro and Nanotechnology Applied to Optical Devices and Systems
  • PDF
  • English
  • Year: 2009
  • Author: Olav Solgaard (auth.)
[Article] Division and Modulus for Computer Scientists
  • PDF
  • English
  • Year: 2001
  • Author: Daan Leijen
Databases and Information Systems II: Fifth International Baltic Conference, Baltic DB&IS’2002 Tallinn, Estonia, June 3–6, 2002 Selected Papers
  • PDF
  • English
  • Year: 2002
  • Author: Klaus-Dieter Schewe (auth.), Hele-Mai Haav, Ahto Kalja (eds.)
Efficient Polymorphic Calls
  • PDF
  • English
  • Year: 2001
  • Author: Karel Driesen (auth.)
Innovations in Robot Mobility and Control
  • PDF
  • English
  • Year: 2005
  • Author: Pedro U. Lima, Luis M. Custódio (auth.), Professor Srikanta Patnaik, Professor Lakhmi C. Jain, Professor Dr. Spyros G. Tzafestas, Professor Germano Resconi, Professor Dr. Amit Konar (eds.)
Mobile and wireless design essentials
  • CHM
  • English
  • Year: 2003
  • Author: Mallick M.
Электронное конструирование.Методы борьбы с помехами
  • DJVU
  • Russian
  • Year: 1990
  • Author: Барнс Дж.
The Essence of Computation: Complexity, Analysis, Transformation
  • PDF
  • English
  • Year: 2002
  • Author: Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.)
Advanced Microsystems for Automotive Applications 2006
  • PDF
  • English
  • Year: 2006
  • Author: Dr. Richard Dixon, Mr. Jérémie Bouchaud (auth.), Dr. Jürgen Valldorf, Dr. Wolfgang Gessner (eds.)
search