Refine Your Search
Book List
50
-
L'Empédocle de Strasbourg : (P. Strasb. gr. Inv. 1665-1666), introduction, édition et commentaire / Alain Martin, Oliver Primavesi.
- 182.5 M3791
- Martin, Alain.
- Walter de Gruyter : B.N.U.S. ,
- c1998.
- 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 :
-
Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- 004 N1111c
- NATO Advanced Study Institute on Constructive Methods in Computing Science (1988 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1989.
- Berlin ; New York :
-
Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] / edited by Manfred Broy.
- 005.131 N1111
- NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 : Marktoberdorf, Germany)
- Springer-Verlag,
- c1987.
- Berlin ; New York :
-
Logics and models of concurrent systems / edited by Krzysztof R. Apt.
- 004.36 N1111l
- NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup, France)
- Springer-Verlag,
- c1985.
- Berlin ; New York :
-
Supercomputing / edited by Janusz S. Kowalik.
- 004.11 N2791
- NATO Advanced Research Workshop on Supercomputing (1989 : Trondheim, Norway)
- Springer-Verlag,
- c1989.
- 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 :
-
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 :
-
Expert judgment and expert systems / edited by Jeryl L. Mumpower ... [et al.].
- 006.33 N1111e
- NATO Advanced Research Workshop on Expert Judgment and Expert Systems (1986 : Porto, Portugal)
- Springer-Verlag,
- c1987.
- Berlin ; New York :
-
Recent advances in speech understanding and dialog systems / edited by H. Niemann, M. Lang, G. Sagerer.
- 006.454 N1111
- NATO Advanced Study Institute on Recent Advances in Speech Understanding and Dialog Systems (1987 : Bad Windsheim, Germany)
- Springer-Verlag,
- c1988.
- Berlin ; New York :