Refine Your Search
Book List
100
-
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 :
-
Connecting boys with books : what libraries can do / Michael Sullivan.
- 028.55 S9493
- Sullivan, Michael, 1967 August 30-
- American Library Association,
- Chicago :
-
Telling the tale : proceedings of the 25th Congress of the International Board on Books for Young People, Groningen, The Netherlands, August 12-16 1996 / [ed. by Caro van den Ingh, Beth Johnson ; ill. Max Velthuijs ; photos Hans Vermeulen].
- 028.5 T276
- Dutch section of IBBY,
- 1997.
- Amsterdam, Netherlands :
-
L'ordre sensoriel : une enquête sur les fondements de la psychologie théorique / Friedrich A. von Hayek ; traduit de l'anglais par Philippe R. Mach.
- 152.1 H4171
- Hayek, Friedrich A. von
- CNRS éd.,
- c2001.
- Paris :
-
Legum allegoriae I-III / [Philo, of Alexandria] ; introduction, traduction et notes par Claude Mondesert.
- 181.06 P565l
- Philo,
- Editions du Cerf,
- 1962.
- Paris :
-
Proceedings of the IX International Congress of Papyrology, Oslo, 19th-22nd August, 1958 / [editors: Leiv Amundsen and Vegard Skanland].
- 091.0938
- International Congress of Papyrology (9th : 1958 : Oslo, Norway)
- Norwegian Universities Press,
- [1961]
- Oslo :
-
Distributed operating systems : theory and practice / edited by Yakup Paker, Jean-Pierre Banatre, Mèuslim Bozyiægit.
- 004.36 N1111d
- NATO Advanced Study Institute on Distributed Operating Systems, Theory and Practice (1986 : Cesme, Turkey)
- Springer-Verlag,
- c1987.
- 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 :
-
Seminar on Bibliographic Records : proceedings of the seminar held in Stockholm, 15-16 August 1990 : and sponsored by the IFLA UBCIM Programme and the IFLA Division of Bibliographic Control / edited by Ross Bourne.
- 025.3
- Seminar on Bibliographic Records (1990 : Stockholm, Sweden)
- K.G. Saur Verlag,
- 1992.
- München ; New York :