Refine Your Search
Book List
15
-
Simulation and model-based methodologies : an integrative view / edited by Tuncer I. ren, Bernard P. Zeigler, Maurice S. Elzas.
- 011.3
- NATO Advanced Study Institute on Simulation and Model-based Methodologies: an Integrative View (1982 : Ottawa, Ont.)
- Springer-Verlag : Published in cooperation with NATO Scientific Affairs Division,
- 1984.
- Berlin ; New York :
-
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
- 004.0151 N1111
- NATO Advanced Study Institute on Logic and Algebra of Specification (1991 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1993.
- Berlin ; New York :
-
Advances in machine vision, image processing, and pattern analysis : International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, Xi'an, China, August 26-27, 2006 ; proceedings / Nanning Zheng, Xiaoyi Jiang, Xuguang Lan (eds.).
- 006.37 I61217
- International Workshop on Intelligent Computing in Pattern Analysis/Synthesis (2006 : Xi'an, Shaanxi Sheng, China)
- Springer,
- c2006.
- Berlin ; New York :
-
Database programming languages : 10th International Sympsosium, DBPL 2005, Trondheim, Norway, August 28-29, 2005 : revised selected papers / Gavin Bierman, Christoph Koch (eds.).
- 005.74 D2327d
- International Symposium on Database Programming Languages (10th : 2005 : Trondheim, Norway)
- Springer-Verlag,
- 2005.
- Berlin ; New York :
-
Control flow and data flow : concepts of distributed programming : international summer school directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare / edited by Manfred Broy.
- 004.36 N1111
- NATO Advanced Study Institute on Control Flow and Data Flow: Concepts of Distributed Programming (1984 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1986.
- Berlin ; New York :
-
Advances in object-oriented database systems / edited by Asuman Dogac ... [et al.].
- 005.75 A2444
- Springer-Verlag,
- c1994.
- Berlin ; New York :
-
Logic, algebra, and computation : international summer school directed by F.L. Bauer ... [et al.] / edited by Friedrich L. Bauer.
- 005.1 L8322
- Springer-Verlag,
- c1991.
- Berlin ; New York :
-
Intelligent systems : safety, reliability, and maintainability issues / edited by Okyay Kaynak, Ger Honderd, Edward Grant.
- 006.3 I61135
- Springer-Verlag,
- c1993.
- Berlin ; New York :
-
Real-time integration methods for mechanical system simulation / edited by Edward J. Haug, Roderic C. Deyo.
- 004.33 N1111
- NATO Advanced Research Workshop on Real-Time Integration Methods for Mechanical System Simulation (1989 : Snowbird, Utah)
- Springer-Verlag,
- c1991.
- Berlin ; New York :
-
Information systems : failure analysis / edited by John A. Wise, Anthony Debons.
- 004 N1111
- NATO Advanced Research Workshop on Failure Analysis of Information Systems (1986 : Bad Windsheim, Germany)
- Springer Verlag,
- c1987.
- Berlin ; New York :