


default search action
Dagstuhl Publications 1995
Social Science Microsimulation 1995
- Klaus G. Troitzsch, Ulrich Mueller, G. Nigel Gilbert, Jim Doran:
Social Science Microsimulation [Dagstuhl Seminar, May, 1995]. Springer 1996, ISBN 3-540-61572-5 [contents]
Logics for Databases and Information Systems
- Jan Chomicki, Gunter Saake:
Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995). Kluwer 1998 [contents]
Formal Methods for Industrial Applications 1995
- Jean-Raymond Abrial, Egon Börger, Hans Langmaack:
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science 1165, Springer 1996, ISBN 3-540-61929-1 [contents]
CAD Systems Development 1995
- Dieter Roller, Pere Brunet:
CAD Systems Development: Tools and Methods [Dagstuhl Seminar, 1995]. Springer 1997, ISBN 3-540-62535-6 [contents]
Integration von Umweltdaten 1995
- Reiner Güttler, Werner Geiger:
Integration von Umweltdaten, 3. Workshop 1995, 24.-26. April 1995, Dagstuhl. Metropolis-Verlag 1996, ISBN 3-89518-121-8 [contents]
High-Speed Networking for Multimedia Applications 1995
- Wolfgang Effelsberg, Otto Spaniol, André A. S. Danthine, Domenico Ferrari:
High-Speed Networking for Multimedia Applications [2nd Int. Workshop on Architecture and Protocols for High Performance Networks, Dagstuhl, June 19-23, 1995]. Kluwer 1996, ISBN 0-7923-9681-2 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.