|
|
1. |
High-level language computer architecture /
by Chu, Yaohan
Publication:
New York : Academic Press, 1975
. XII, 273 p. :
, QA76.6.H53
24 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Algorithms for mutual exclusion /
by Raynal, Michel
Publication:
London : North Oxford Academic, 1986
. XIV, 107 p. ;
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Advanced course on software engineering : an advanced course /
by Bauer, Friedrich Ludwig
Publication:
Berlin ; New York : Springer-Verlag, 1973
. XII, 545 p. :
, The advanced course took place February 21-March 3, 1972, organized by the Mathematical Institute of the Technical Uni versity of Munich and the Leibni[t]z Computing Centerof the Bavarian Academy of Sciences, in cooperation with the European Communities, sponsored by the Ministry of Education and Science of the Federal Republic of Germany
25 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen, Braunschweig, 20-22.3.1974 : Hrsg. im Auftrag der GI und der NYG von H.-O. Leilich
Publication:
Berlin ; New York : Springer, 1974
. VI, 340 p. :
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
5. |
Complexity of sequential and parallel numerical algorithms /
Publication:
New York : Academic Press, 1973
. IX, 300 p. :
, Proceedings od the Symposium on Complexity of Sequential and Parallel Numerical Algorithms held at Carnegie-Mellon University, Pittsburgh, May 16-18, 1973
24 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
6. |
Structured programming in PL /
by Weinberg, Gerald M.
Publication:
New York : Wiley, 1973
. XVII, 220 p. ;
28 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
7. |
Programming systems and languages /
by Rosen, Saul
Publication:
New York : McGraw-Hill, 1966
. XV, 734 p. :
23 cm.
Date:1966
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8. |
Programming languages, information structures, and machine organization /
by Wegner, Peter
Publication:
New York : McGraw-Hill, 1971
. XX, 401 p. :
, International student edition
23 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
9. |
Algorithm specification /
Publication:
Englewood Cliffs : Prentice-Hall, 1972
. 141 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
10. |
Electronic analog and hybrid computers /
by Korn, Granino Arthur
Publication:
New York : McGraw-Hill, 1972
. XVIII, 421 p. :
23 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
11. |
Computer semantics : studies of algorithms, processors, and languages /
by Lee, John A. N.
Publication:
New York : Van Nostrand Reinhold, 1972
. XVI, 397 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
12. |
Programming language concepts and paradigms /
by Watt, David A.
Publication:
New York : Prentice Hall, 1990
. XVI, 322 p. :
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
13. |
Natural language at the computer : Scientific symposium on syntax and semantics for text processing and man-machine-communication, held on the occasion of the 20th anniversary of the Science Center Heildelberg, FRG, february 25, 1988 : proceedings /
Publication:
Berlin ; Springer-Verlag, 1988
. 176 p. ;
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
14. |
ESOP '88 : proceedings of the 2nd European symposium on programming, Nancy, France, March 21-24, 1988 /
Publication:
Berlin : Springer-Verlag, 1988
. VI, 370 p. ;
25 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
15. |
Electronic digital systems /
by Richards, Richard Kohler
Publication:
New York : Wiley, 1966
. IX, 637 p. :
24 cm.
Date:1966
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
16. |
Communicating sequential processes /
by Hoare, Charles Antony Richard
Publication:
Englewood Cliffs, [N.J.] : Prentice/Hall International, 1985
. VIII, 256 p. :
24 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
17. |
Foundations of logic programming /
by Lloyd, John Wylie
Publication:
Berlin ; New York : Springer-Verlag, 1984
. X, 124 p. ;
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
18. |
Automata, languages and programming : proceedings of the 11th colloquium, Antwerp, Belgium, July 16-20, 1984 /
Publication:
Berlin : Springer-Verlag, 1984
. VI, 526 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
19. |
Algorithmic language and program development /
by Bauer, Friedrich Ludwig
Publication:
Berlin ; New York : Springer-Verlag, 1982
. XVI, 497 p. :
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
20. |
Formal specification of programming languages : a panoramic primer /
by Pagan, Frank G.
Publication:
Englewood Cliffs, [N.J.] : Prentice-Hall, 1981
. X, 245 p. ;
24 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|