| |
4545 books found.
Showing books 81 through 100:
|
| 81. |
|
Live Data Structures in Logic Programs
by Anne Mulkers
Paperback, Springer Verlag (May 1993)
|
|
| 82. |
|
Parallel Architectures and Their Efficient Use: First Heinz Nixdorf Symposium Paderborn, Germany, November 11-13, 1992 Proceedings
by F. Meyer Auf Der Heide, B. Monien, Arnold L. Rosenberg
Book, Unknown (January 1993)
Other Formats:
| Paperback |
|
|
| 83. |
|
Advanced Information Systems Engineering: Proceedings
by C. Rolland, F. Bodart, C. Cauvet (Editor)
Paperback, Springer Verlag (September 1993)
|
|
| 84. |
|
Correct Hardware Design and Verification Methods: Ifipwg10.2 Advanced Research Working Conference Charme '93, Arles, France, May 24-26, 1993 Procee
by George J. Milne, Laurence Pierre (Editor)
Paperback, Springer Verlag (September 1993)
|
|
| 85. |
|
Ada-Europe '93: 12th Ada-Europe International Conference, Ada Sans Frontieres, Paris, France, June 14-18, 1993 Proceedings
by Michel Gauthier (Editor)
Book, Unknown (January 1993)
Other Formats:
| Paperback |
|
|
| 86. |
|
The Design of an Extendible Graph Editor
by Frances Newbery Paulisch
Paperback, Springer Verlag (November 1993)
|
|
| 87. |
|
Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993 Proceedings
by Estonia) Plilp '9 (1993 Tallinn, Maurice Bruynooghe, Jaan Penjam, Jaan Penjam (Editor), M. Bruynooghe
Paperback, Springer Verlag (September 1993)
|
|
| 88. |
|
Advances in Cryptology-Auscrypt '92: Workshop on the Theory and Application of Cryptographic Techniques Gold Coast, Queensland, Australia December 13
by Workshop on the Theory and Application of Cryptographic Techniques (19, Jennifer Seberry, Yuliang Zheng, Yuliang Zheng (Editor)
Paperback, Springer Verlag (September 1993)
|
|
| 89. |
|
Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 1993 Proceedings
by Italy) Workshop on Static Analysis 1993 Padova, Patrick Cousot, Moreno Falaschi, Antoine Rauzy (Editor), Gilberto File
Paperback, Springer Verlag (September 1993)
|
|
| 90. |
|
Parallel Computer Architectures: Theory, Hardware, Software, Applications
by Arndt Bode, Mario Dal Cin
Book, Unknown (January 1993)
Other Formats:
| Paperback |
|
|
| 91. |
|
Hybrid Systems
by Robert L. Grossman
Book, Unknown (January 1993)
Other Formats:
| Paperback |
|
|
| 92. |
|
Conceptual Structures: Theory and Implementation 7th Annual Workshop Las Cruces, Nm, Usa, July 8-10, 1992 Proceedings
by Heather D. Pfeiffer, Tim Nagle
Book, Unknown (January 1993)
Other Formats:
| Paperback |
|
|
| 93. |
|
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report
by Bernhard Moller, Helmut Partsch, Steve Schuman (Editor)
Paperback, Springer Verlag (December 1993)
|
|
| 94. |
|
Visualization of Scientific Parallel Programs
by Gerald Tomas, Christoph W. Ueberhuber
Book, Unknown (January 1994)
Other Formats:
| Paperback |
|
|
| 95. |
|
Management and Processing of Complex Data Structures: Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 2
by Kai Von Luck, H. Marburger
Paperback, Springer Verlag (February 1994)
|
|
| 96. |
|
Algorithms and Complexity: Second Italian Conference, Ciac '94, Rome, Italy, February 23-25, 1994 Proceedings
by M. Bonuccelli, Pierluigi Crescenzi, Rossella Petreschi
Book, Unknown (January 1994)
Other Formats:
| Paperback |
|
|
| 97. |
|
Graph-Theoretic Concepts in Computer Science: 19th International Workshop, Wg '93 Utrecht, the Netherlands, June 16-18, 1993 Proceedings
by Jan Van Leeuwen (Editor)
Book, Unknown (January 1994)
Other Formats:
| Paperback |
|
|
| 98. |
|
High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18-20, 1994 Networking and Tools
by Wolfgang Gentzsch (Editor), Wolfgang Gentzsch, Uwe Harms (Editor)
Paperback, Springer Verlag (August 1994)
|
|
| 99. |
|
Computer Performance Evaluation: Modelling Techniques and Tools 7th International Conference Vienna, Austria, May 3-6, 1994 Proceedings
by Gunter Haring (Editor), Gabriele Kotsis
Book, Unknown (January 1994)
Other Formats:
| Paperback |
|
|
| 100. |
|
Advanced Information Systems Engineering: 6th International Conference, Caise '94, Utrecht, the Netherlands, June 6 - 10, 1994
by G. Wijers, S. Brinkkemper, T. Wassermann (Editor)
Paperback, Springer Verlag (August 1995)
|
|
|
Lecture Notes in Computer Science