| |
4754 books found.
Showing books 41 through 60:
|
| 41. |
|
Symbolic and Algebraic Computation
by P. Gianni (Editor)
Paperback, Springer Verlag (June 1989)
|
|
| 42. |
|
Computer Assisted Learning: 2nd International Conference, Iccal '89, Dallas, Tx, Usa, May 9-11, 1989 Proceedings
by H. Maurer (Editor)
Paperback, Springer Verlag (August 1989)
|
|
| 43. |
|
Foundations of Data Organization and Algorithms: 3rd International Conference, Fodo 1989 Paris, France, June 21-23, 1989 Proceedings
by W. Litwin, H.J. Schek (Editor), Hans-Jorg Schek (Editor)
Paperback, Springer Verlag (August 1989)
|
|
| 44. |
|
Modified Branching Programs and Their Computational Power
by Christoph Meinel
Paperback, Springer Verlag (August 1989)
|
|
| 45. |
|
Esec '89: 2nd European Software Engineering Conference University of Warwick, Coventry, Uk September 11-15, 1989, Proceedings
by C. Ghezzi, John A. McDermid (Editor), J.A. McDermid (Editor)
Paperback, Springer Verlag (November 1989)
|
|
| 46. |
|
Concepts Design and Performance Analysis of a Parallel Prolog Machine
by Joachim Beer
Paperback, Springer Verlag (February 1990)
|
|
| 47. |
|
Computer Aided Systems Theory-Eurocast '89: A Selection of Papers from the International Workshop Eurocast '89, Las Palmas, Spain, February 26-March
by Canary Islands) International Workshop Eurocast '8 (1989 Las Palmas, Roberto Moreno-Diaz, Roberto Moreno-Diaz (Editor), F. Pichler, R. Moreno-Diaz (Editor), Franz Pichler
Paperback, Springer Verlag (May 1991)
|
|
| 48. |
|
Loglan '88 -Report on the Programming Language
by Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski
Paperback, Springer Verlag (June 1990)
|
|
| 49. |
|
Vdm '90: Vdm and Z-Formal Methods in Software Development
by D. Bjorner, H. Langmaack (Editor), C. A. R. Hoare
Paperback, Springer Verlag (June 1990)
|
|
| 50. |
|
Caap '90: 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 1990, Proceedings
by A. Arnold (Editor)
Paperback, Springer Verlag (September 1990)
|
|
| 51. |
|
Esop '90: Proceedings
by N. Jones (Editor)
Paperback, Springer Verlag (September 1990)
|
|
| 52. |
|
Swat '90: 2nd Scandinavian Workshop on Algorithm Theory Bergen, Sweden, July 11-14, 1990 Proceedings
by Gilbert, R. Karlsson (Editor)
Paperback, Springer Verlag (October 1990)
|
|
| 53. |
|
A Systematic Catalogue of Reusable Abstract Data Types
by Jurgen Uhl, Hans Albrecht Schmid
Book, Unknown (January 1990)
Other Formats:
| Paperback |
|
|
| 54. |
|
Modelling Spatial Knowledge on a Linguistic Basis: Theory, Prototype, Integration
by Ewald Lang, Geoffrey Simmons, Kai-Uwe Carstensen
Book, Unknown (January 1991)
Other Formats:
| Paperback |
|
|
| 55. |
|
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991 Advanc
by S. Abramsky, T.S.E. Maibaum (Editor), Thomas S. E. Maibaum (Editor)
Paperback, Springer Verlag (September 1991)
|
|
| 56. |
|
Software Development Environments and Case Technology: European Symposium, Konigswinter, Frg, June 17-19, 1991
by A. Endres, H. Weber (Editor)
Paperback, Springer Verlag (June 1991)
|
|
| 57. |
|
Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes: 8th International Conference, AAECC-8 Tokyo, Japan, August 20-24, 1990 Proceedings
by S. Sakata (Editor)
Book, Unknown (January 1991)
Other Formats:
| Paperback |
|
|
| 58. |
|
Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types Wusterhausen/Dosse, Germany, April 17-20, 1990 Proceedings
by B Workshop on Specification of Abstract Data Types 1990 Wusterhausen, H. Ehrig, Klaus P. Jantke, K.P. Jantke, F. Orejas, H. Reichel (Editor), Hartmut Ehrig, Fernando Orejas
Paperback, Springer Verlag (November 1991)
|
|
| 59. |
|
Advances in Cryptology: Crypto, 90 Proceedings
by Santa Barbara) Crypto '9 (1990 University of California, Scott A. Vanstone, Scott A. Vanstone (Editor), S.A. Vanstone (Editor), A. J. Menezes
Paperback, Springer Verlag (December 1991)
|
|
| 60. |
|
A Unified Approach to Interior Point Algorithms for Linear Complementarity Problems
by M. Kojima, N. Megiddo, T. Noma, A. Yoshise
Paperback, Springer Verlag (December 1991)
|
|
|
Lecture Notes in Computer Science