| |
4545 books found.
Showing books 61 through 80:
|
| 61. |
|
Attribute Grammars, Applications and Systems: International Summer School Saga Prague, Czechoslovakia, June 4-13, 1991 Proceedings
by H. Alblas, B. Melichar (Editor)
Paperback, Springer Verlag (December 1991)
|
|
| 62. |
|
Symbolic and Quantitative Approaches to Uncertainty: European Conference Ecsqau Marseille, France, October 15-17, 1991 Proceedings
by France) European Conference Ecsqau (1991 Marseille, P. Siegel, P. Siegel (Editor), Rudolf Kruse, R. Kruse
Paperback, Springer Verlag (December 1991)
|
|
| 63. |
|
ESEC '91: 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 Proceedings
by A. Van Lamsweerde, A. Fuggetta
Book, Unknown (January 1991)
Other Formats:
| Paperback |
|
|
| 64. |
|
Computational Geometry-Methods, Algorithms, and Applications, 91: International Workshop on Computational Geometry Cg '91, Bern, Switzerland, March 2
by Switzerla International Workshop on Computational Geometry 1991 Bern, H. Noltemeier (Editor), H. Bieri, Hartmut Noltemeier, Hartmut Noltemeier (Editor)
Paperback, Springer Verlag (December 1991)
|
|
| 65. |
|
Isa '91: Algorithms 2nd International Symposium on Algorithms Taipei, Republic of China, December 16-18, 1991 Proceedings
by W.L. Hsu, R.C.T. Lee (Editor)
Paperback, Springer Verlag (January 1992)
|
|
| 66. |
|
Computer Aided Systems Theory-Eurocast '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Aust
by F. Pichler, R. Moreno (Editor)
Paperback, Springer Verlag (May 1992)
|
|
| 67. |
|
Aspects of Automated Natural Language Generation: Proceedings
by R. Dale (Editor)
Paperback, Springer Verlag (May 1992)
|
|
| 68. |
|
Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, Pa, Usa, March 25-28, 1991 Proceedings
by S. Brookes
Book, Unknown (January 1992)
Other Formats:
| Paperback |
|
|
| 69. |
|
Intelligent Tutoring Systems: Second International Conference, Its '92, Montreal, Canada, June 10-12, 1992, Proceedings
by International Conference, C. Frasson, G. Gauthier, G.I. McCalla (Editor), Gilles Gauthier, Gilles Gauthier (Editor), Claude Frasson, Claude Frasson (Editor), Gordon McCalla, Gordon McCalla (Editor)
Paperback, Springer Verlag (October 1992)
|
|
| 70. |
|
Algorithm Theory--Swat '92: Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 Proceedings
by Finland) Scandinavian Workshop on Algorithm Theory 1992 Helsinki, O. Nurmi, E. Ukkonen, E. Ukkonen (Editor)
Paperback, Springer Verlag (July 1992)
|
|
| 71. |
|
Programming Language Implementation and Logic Programming: 4th International Symposium, Plilp '92, Leuven, Belgium, August 26-28, 1992 Proceedings
by Belgium) Plilp '9 (1992 Louvain, M. Wirsing, M. Wirsing (Editor), M. Bruynooghe, Maurice Bruynooghe
Paperback, Springer Verlag (August 1992)
|
|
| 72. |
|
Algebraic and Logic Programming: Third International Conference, Pisa, Italy, September 2-4, 1992 Proceedings
by H. Kirchner, Giorgio Levi (Editor), G. Levi (Editor)
Paperback, Springer Verlag (September 1992)
|
|
| 73. |
|
Logic Programming in Action: Second International Logic Programming Summer School, Lpss '92 Zurich, Switzerland, September 7-11, 1992 Proceedings
by G. Comyn, N.E. Fuchs, M. Ratcliffe
Book, Unknown (January 1992)
Other Formats:
| Paperback |
|
|
| 74. |
|
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: International Conference Gis-From Space to Territory Theories and Methods of
by A.U. Frank, I. Campari, U. Fomentini (Editor)
Paperback, Springer Verlag (October 1992)
|
|
| 75. |
|
Compiler Construction: 4th International Conference, Cc'92 Paderborn, Frg, October 5-7, 1992 Proceedings
by U. Kastens, P. Pfahler
Book, Unknown (January 1992)
Other Formats:
| Paperback |
|
|
| 76. |
|
Entity-Relationship Approach-Er '92: 11th International Conference on the Entity-Relationship Approach, Karlsruhe, Germany, October 7-9, 1992 Procee
by G. Pernul, a Min Tjoa, a Min Tjoa (Editor)
Paperback, Springer Verlag (November 1992)
|
|
| 77. |
|
Computer Security-Esorics 92: Second European Symposium on Research in Computer Security Toulouse, France, November 23-25, 1992 Proceedings
by Y. Deswarte, J. J. Quisquater, G. Eizenberg
Book, Unknown (January 1992)
Other Formats:
| Paperback |
|
|
| 78. |
|
Advances in Cryptology--Eurocrypt '92: Workshop on the Theory and Application of Cryptographic Techniques, Balatonfured, Hungary, May 24-28, 1992
by Rainer A. Rueppel
Paperback, Springer Verlag (February 1993)
|
|
| 79. |
|
Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 Proceedings
by G. Von Bochmann, D.K. Probst (Editor)
Paperback, Springer Verlag (August 1994)
|
|
| 80. |
|
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June-July 1992 Proceedings
by R. S. Bird, Carroll Morgan, C. C. Morgan, J.C.P. Woodstock (Editor), Jim Woodcock
Paperback, Springer Verlag (April 1993)
|
|
|
Lecture Notes in Computer Science