Home Books

Books : Page 83141

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96 Passau, Germany, March 27–29, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Gerard J. Holzmann (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Multi-Agent-Based Simulation III: 4th International Workshop, MABS 2003, Melbourne, Australia, July 14, 2003. Revised Papers
  • DJVU
  • English
  • Year: 2003
  • Author: Giovanna Di Marzo Serugendo (auth.), David Hales, Bruce Edmonds, Emma Norling, Juliette Rouchier (eds.)
K3 Projective Models in Scrolls
  • PDF
  • English
  • Year: 2004
  • Author: Trygve Johnsen, Andreas Leopold Knutsen
Electric Power Generation, Transmission, and Distribution (The Electric Power Engineering Hbk, Second Edition)
  • PDF
  • English
  • Year: 2007
  • Author: Leonard L. Grigsby
Введение в логику и методологию дедуктивных наук: Пер. с англ
  • DJVU
  • Russian
  • Year: 1948
  • Author: Тарский А.
Visual Computing: The Integration of Computer Graphics, Visual Perception and Imaging
  • PDF
  • English
  • Year: 1994
  • Author: Markus Groß (auth.)
Metainformatics: International Symposium, MIS 2003, Graz, Austria, September 17-20, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Peter J. Nürnberg, Uffe K. Wiil, David L. Hicks (auth.), David L. Hicks (eds.)
Communication complexity
  • DJVU
  • English
  • Year: 1997
  • Author: Eyal Kushilevitz, Noam Nisan
General Theory of Information Transfer and Combinatorics
  • PDF
  • English
  • Year: 2006
  • Author: Rudolf Ahlswede (auth.), Rudolf Ahlswede, Lars Bäumer, Ning Cai, Harout Aydinian, Vladimir Blinovsky, Christian Deppe, Haik Mashurian (eds.)
Das philosophische ABC : neue Wege zu alten Einsichten
  • PDF
  • German
  • Year: 1997
  • Author: Frieder Lauxmann
search