4754 books found.
Showing books 21 through 40:
|
| 21. |
|
Constrained Global Optimization: Algorithms and Applications
by P. M. Pardalos, J.B. Rosen
Paperback, Springer Verlag (October 1987)
|
|
| 22. |
|
Computation Theory and Logic
by E. Borger (Editor)
Paperback, Springer Verlag (September 1987)
|
|
| 23. |
|
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
by Dominique Snyers, Andr-E Thayse
Paperback, Springer Verlag (September 1987)
|
|
| 24. |
|
Fundamentals of Artificial Intelligence: An Advanced Course
by W. Bibel, Ph Jorrand
Paperback, Unknown (January 1986)
|
|
| 25. |
|
Functional Programming Languages and Computer Architecture
by Gilles Kahn (Editor)
Paperback, Springer Verlag (November 1987)
|
|
| 26. |
|
Metasoft Primer: Towards a Metalanguage for Applied Denotational Semantics
by Andrzej Blikle
Paperback, Springer Verlag (August 1988)
|
|
| 27. |
|
The Munich Project Cip: The Program Transformation System Cip-S
by Friedrich Ludwig Bauer (Editor), F.L. Bauer, Cip Language Group, Friedrich L. Bauer
Paperback, Springer Verlag (February 1988)
|
|
| 28. |
|
Trends in Computer Algebra: International Symposium, Bad Neuenahr, May 19-21, 1987 Proceedings
by R. Janssen (Editor)
Paperback, Springer Verlag (April 1988)
|
|
| 29. |
|
Supercomputing: 1st International Conference, Athens, Greece,June 8-12, 1987
by E.N. Houstis, T.S. Papatheodorou, C.D. Polychronopoulos (Editor)
Paperback, Springer Verlag (June 1988)
|
|
| 30. |
|
Mathematical Foundations of Programming Language Semantics: 3rd Workshop
by M. Main, A. Melton, Austin Melton, M. Mislove, D. Schmidt (Editor)
Paperback, Springer Verlag (May 1988)
|
|
| 31. |
|
Pattern Recognition: 4th International Conference
by J. Kittler
Paperback, Springer Verlag (June 1988)
|
|
| 32. |
|
Advances in Database Technology-Edbt'88: International Conference on Extending Database Technology Venice, Italy, March 14-18, 1988 Proceedings
by J. W. Schmidt, S. Ceri, M. Missikoff (Editor)
Paperback, Springer Verlag (June 1988)
|
|
| 33. |
|
Foundations of Logic and Functional Programming Workshop: Proceedings
by M. Boscarol, L. Carlucci Aiello, G. Levi (Editor)
Paperback, Springer Verlag (July 1988)
|
|
| 34. |
|
Graph-Theoretic Concepts in Computer Science: International Workshop
by H. Gottler, H.-J Schneider (Editor)
Paperback, Springer Verlag (June 1988)
|
|
| 35. |
|
Automata Networks: Litp Spring School on Theoretical Computer Science
by C. Choffrut (Editor)
Paperback, Springer Verlag (June 1988)
|
|
| 36. |
|
Swat 88: 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden,
by R. Karlsson, A. Lingas (Editor)
Paperback, Springer Verlag (June 1988)
|
|
| 37. |
|
Ecoop 88 European Conference on Object Oriented Programming
by S. Gjessing, K. Nygaard (Editor)
Paperback, Springer Verlag (September 1988)
|
|
| 38. |
|
Efficient Structures for Geometric Data Management
by Oliver Gunther
Paperback, Springer Verlag (December 1988)
|
|
| 39. |
|
Advances in Petri Nets 1988
by Grzegorz Rozenberg (Editor)
Paperback, Springer Verlag (March 1989)
|
|
| 40. |
|
Graph-Theoretic Concepts in Computer Science: International Workshop Wg 88 Amsterdam, the Netherlands, June 15-17, 1988 Proceedings
by J. Van Leeuwen (Editor)
Paperback, Springer Verlag (April 1989)
|
|
Lecture Notes in Computer Science