Refine Your Search
Book List
8
-
Speech recognition and understanding : recent advances, trends, and applications / edited by Pietro Laface, Renato De Mori.
- 006.454 N2791
- NATO Advanced Study Institute on Speech Recognition and Understanding: Recent Advances, Trends, and Applications (1990 : Cetraro, Italy)
- Springer-Verlag,
- c1992.
- 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 :
-
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 :
-
Program design calculi / edited by Manfred Broy.
- 004.21 P96452
- Springer,
- c1993.
- Berlin ; New York :
-
Programming and mathematical method / edited by Manfred Broy.
- 005.1015113 P96468
- Springer-Verlag,
- c1992.
- 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 :
-
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 :