1.
Cryptography proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29-April 2, 1982 edited by Thomas Beth
by Workshop on Cryptography (1982 : Burg Feuerstein, Germany) | Beth, Thomas, 1949- .
Material type: Book; Format:
print
Publisher: Berlin New York Springer-Verlag 1983Availability: Items available for loan: Matheson Library [Call number: 001.5436 W926 1982] (1).
2.
The design of dynamic data structures Mark H. Overmars
by Overmars, Mark H, 1958- .
Material type: Book; Format:
print
Publisher: Berlin New York Springer-Verlag 1983Availability: Items available for loan: Matheson Library [Call number: 001.64 O96d] (1).
3.
Pictorial information systems edited by S. K. Chang and K. S. Fu
by Chang, S. K. (Shi Kuo), 1944- | Fu, K. S. (King Sun), 1930- .
Material type: Book; Format:
print
Publisher: Berlin Springer-Verlag c1980Availability: Items available for loan: Matheson Library [Call number: 621.367 P611] (1).
4.
The programming language Ada reference manual
by United States Dept. of Defense .
Material type: Book; Format:
print
Publisher: Berlin Springer-Verlag 1983Availability: Items available for loan: Matheson Library [Call number: 001.6424 AD P964] (1).
5.
How to multiply matrices faster / Victor Pan.
by Pan, Victor.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1984Availability: Items available for loan: Matheson Library [Call number: 512.9434 P187h] (1).
6.
Program construction international summer school F. L. Bauer ... [et al.]
by Bauer, Friedrich Ludwig, 1924- | Broy, M, 1949- | North Atlantic Treaty Organization Scientific Affairs Division .
Material type: Book; Format:
print
Publisher: Berlin Springer-Verlag 1979Availability: Items available for loan: Matheson Library [Call number: 001.642 P964b] (1).
7.
Data base design techniques / edited by S. B. Yao ... [et al.].
by Yao, S. Bing.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, 1982Availability: Items available for loan: Matheson Library [Call number: 005.74 D232 V.] (1).
8.
Compiler construction an advanced course F. L. Bauer ... [et al.]
by Eickel, J, 1935- | Bauer, Friedrich Ludwig, 1924- .
Edition: 2d ed.Material type: Book; Format:
print
Publisher: Berlin Springer-Verlag 1976Availability: Items available for loan: Matheson Library [Call number: 001.6425 C737 1976] (1).
9.
Coroutines a programming methodology, a language design, and an implementation Christopher D. Marlin
by Marlin, Christopher D, 1952- .
Material type: Book; Format:
print
Publisher: Berlin Springer-Verlag 1980Availability: Items available for loan: Matheson Library [Call number: 001.642 M348c] (1).
10.
Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / edited by P. Dembinski.
by Symposium on Mathematical Foundations of Computer Science (9th : 1980 : Rydzyna, Poland) | Dembinski, Piotr.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, 1980Availability: Items available for loan: Matheson Library [Call number: 519.4 S989m 1980] (1).
11.
Automata, languages and programming : Seventh Colloquim, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen.
by Automata, Languages and Programming Colloquim (7th : 1980 : Noordwijkerhout) | De Bakker, J. W | Van Leeuwen, J.
Material type: Book; Format:
print
Publisher: Berlin : Springer-Verlag, 1980Availability: Items available for loan: Matheson Library [Call number: 004 A939] (2).
12.
Mathematical foundations of computer science 1981 : proceedings, 10th Symposium Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981 / edited by J. Gruska and M. Chytil.
by Mathematical Foundations of Computer Science [10: 1981: Strbske Pleso, Czech.] | Gruska, J | Chytil, M.
Material type: Book; Format:
print
Publisher: Berlin : Springer-Verlag, 1981Availability: Items available for loan: Matheson Library [Call number: 004.0151 M426] (1).
13.
Uncertainty and intelligent systems : proceedings of the2nd international conference on information processing and management of uncertainty in knowledge-based systems IPMU 88, Urbino, Italy, July 4-7, 1988 / Edited by G. Goosand J. Hartmanis.
by International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Sysytems (2nd: 1988 : Urbino, Italy) | Goos, G | Hartmanis, Juris.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, 1988Availability: Items available for loan: Matheson Library [Call number: 006.3 I61u] (1).
14.
TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig ... [et al.].
by International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy) | Ehrig, Hartmut.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, c1987-Availability: Items available for loan: Matheson Library [Call number: 005.1 I61t 1987] (1).
15.
Negation and control in PROLOG / Lee Naish.
by Naish, Lee, 1960- .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, c1986Availability: Items available for loan: Matheson Library [Call number: 005.133 PR N158n] (1).
16.
Fundamentals of artificial intelligence : an advanced course / edited by W. Bibel and Ph. Jorrand.
by Jorrand, Ph. (Philippe) | Bibel, W, 1938- .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer-Verlag, c1986Availability: Items available for loan: Matheson Library [Call number: 006.3 F981] (1).
17.
Supercomputing : 1st international conference, Athens, Greece, June 8-12, 1987 : proceedings of the 1st International Conference on Supercomputing in Athens, Greece, June 8-12, 1987 / [organized and sponsored by the Computer Technology Institute ; E.N. Houstis, T.S. Papatheodorou, C.D. Polychronopoulos, eds.
by Houstis, E. N. (Elias N.) | Papatheodorou, T. S. (Theodore S.) | Polychronopoulos, C. D. (Constantine D.) | Computer Technology Institute (Patrai, Greece) | International Conference on Supercomputing (1st : 1987 : Athens, Greece) .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York : Springer-Verlag, c1988Availability: Items available for loan: Matheson Library [Call number: 004.11 S959] (1).
18.
Uncertainty and intelligent systems / 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '88, Urbino, Italy, July 4-7, 1988, proceedings ; B. Bouchon, L. Saitta, R.R. Yager, eds.
by International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (2nd : 1988 : Urbino, Italy) | Saitta, L. (Lorenza), 1944- | Yager, Ronald R, 1941- | Bouchon-Meunier, B. (Bernadette), 1948- .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, c1988Availability: Items available for loan: Matheson Library [Call number: 006.33 I61u] (1).
19.
Global optimization / Aimo Torn [and] Antanas Zilinskas.
by Torn, Aimo | Zhilinskas, A.
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin : Springer-Verlag, c1989Availability: Items available for loan: Matheson Library [Call number: 511.8 T685g] (1).
20.
Computer assisted learning : 2nd International Conference, ICCAL '89, Dallas, TX, USA, May 9-11, 1989 proceedings / H. Maurer, ed.
by ICCAL '89 (1989 : Dallas, Tex.) | Maurer, Hermann A, 1941- .
Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer-Verlag, c1989Availability: Items available for loan: Matheson Library [Call number: 371.334 I61c] (1).