|
|
|
301. |
Mathematical foundation of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 /
Publication:
Berlin : Springer-Verlag, 1978
. IX, 551 p. :
25 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
302. |
Natural language communication with computers /
Publication:
Berlin : Springer-Verlag, 1978
. 292 p. :
25 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
303. |
A discipline of programming /
by Dijkstra, Edsger Wybe
Publication:
Englewood Cliffs, (N.J.) : Prentice-Hall, 1976
. XVII, 217 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
304. |
Complementary definitions of programming language semantics /
by Donahue, James Edward
Publication:
Berlin ; New York : Springer-Verlag, 1976
. 172 p. ;
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
305. |
Top-down structured programming techniques /
by McGowan, Clement L.
Publication:
New York : Petrocelli / Charter, 1975
. VI, 288 p. :
24 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
306. |
Multivariate procedures for the behavioral sciences /
by Cooley, William W. K.
Publication:
New York : Wiley, 1962
. X, 211 p. :
25 cm.
Date:1962
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
307. |
Introduction to parallel algorithms and architectures : arrays, tress, hypercubes /
by Leighton, F. Thomson
Publication:
San Mateo : Kaufmann, 1992
. XVIII, 831 p. :
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
308. |
Part b: Standard semantics, store semantics, stack semantics
by Milne, Robert
Publication:
London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976
. 368 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
309. |
Vol. 2: Deductive systems
by Manna, Zohar
Publication:
Reading : Addison-Wesley, 1990
. XIII, 642 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
310. |
Vol. 3: Software modeling /
by Chandy, K. Mani
Publication:
Englewood Cliffs (N.J.) : Prentice-Hall, 1978
. XI, 275 p. ;
24 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
311. |
Vol. 2: Program validation /
by Yeh, Raymond Tzuu-Yau
Publication:
Englewood Cliffs (N.J.) : Prentice-Hall, 1977
. XI, 275 p. ;
24 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
312. |
Vol. 4: Data structuring /
by Yeh, Raymond Tzuu-Yau
Publication:
Englewood Cliffs (N.J.) : Prentice-Hall, 1978
. XI, 275 p. ;
24 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
313. |
ECI Conference 1976 : proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 /
Publication:
Berlin : Springer-Verlag, 1976
. VIII, 322 p. ;
24 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
314. |
Automata, languages and programming : proceedings of a symposium organized by IRIA, Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France,July 3-7, 1972 /
Publication:
Amsterdam : North-Holland Pub. Co.; New York : American Elsevier, 1973
. 638 p. ;
23 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
315. |
Proceedings of the International Computing Symposium, 1975, Antibes,France, 2-4 June 1975 /
Publication:
Amsterdam : North-Holland Pub. Comp., 1975
. 266 p. :
27 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
316. |
An optimized translation process and its application to ALGOL 68 /
Publication:
Berlin ; New York : Springer-Verlag, 1976
. IX, 334 p. :
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
317. |
Parallel processing : proceedings of the Sagamore Computer Conference, August 20-23, 1974 /
Publication:
Berlin : Springer Verlag, 1975
. VI, 433 p. ;
24 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
318. |
Compiler construction : an advanced course /
by Bauer, Friedrich Ludwig
Publication:
Berlin ; New York : Springer-Verlag, 1976
. XIV, 368 p. :
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
319. |
Simple program schemes and formal languages /
by Engelfriet, Joost
Publication:
Berlin : Springer Verlag, 1974
. VI, 254 p. ;
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
320. |
Programming symposium : proceedings, colloque sur la programmation : April 9-11, Paris, 1974 /
Publication:
Berlin : Springer Verlag, 1974
. 425 p. ;
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
