|
|
|
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. |
Theory of program structures : schemes, semantics, verification /
by Greibach, Sheila A.
Publication:
Berlin ; New York : Springer-Verlag, 1975
. 1 vol. (varie sequenze) :
Date:1975
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. |
Rechnerstrukturen und Betriebsprogrammierung, Erlangen, 1970 /
by Handler, Wolfgang
Publication:
Berlin ; New York : Springer-Verlag, 1974
. 333 p. :
, Conference sponsored jointly by the Gesellschaft fur Informatik and the Nachrichtentechnische Gesellschaft
25 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
5. |
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:
|
|
|
6. |
Vol. 2: Seminumerical algorithms
by Knuth, Donald E.
Publication:
Reading : Addison Wesley Pub. Co., 1968
. XI, 624 cm. :
25 cm.
Date:1968
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
7. |
Introduction to algorithms /
by Cormen, Thomas H.
Publication:
Cambridge : The MIT Press, 1992
. XVII, 1028 p. :
26 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8. |
Data structures : theory and practice /
by Berztiss, Alfs T.
Publication:
New York : Academic Press, 1971
. XIII, 442 p. :
24 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
9. |
Information representation and manipulation in a computer /
by Page, E. S.
Publication:
Cambridge, [Eng.] : University Press, 1973
. V, 243 p. :
24 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
10. |
Systematic programming : an introduction /
by Wirth, Niklaus
Publication:
Englewood Cliffs : Prentice-Hall, 1973
. XIV, 149 p. :
24 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
11. |
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:
|
|
|
12. |
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:
|
|
|
13. |
Artificial intelligence and heuristic programming /
by Findler, N. V.
Publication:
Edinburgh : Edinburgh University Press, 1971
. 327 p. :
, Proceedings of NATO Advanced Study Institute, Menaggio, Italy, in August 1970
24 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
14. |
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:
|
|
|
15. |
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:
|
|
|
16. |
Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971 /
Publication:
London ; New York : Academic Press, 1972
. XII, 390 p. ;
, Held 30 August-3 September, 1971; sponsored by International Computers Limited and the Advanced Computer Technology Projiect.
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
17. |
Algorithm specification /
Publication:
Englewood Cliffs : Prentice-Hall, 1972
. 141 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
18. |
Implementing software for non-numeric applications /
by Waite, William McCastline
Publication:
Englewood Cliffs, 1973
. XV, 510 p. :
24 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
19. |
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:
|
|
|
20. |
Problem solving by digital computers with PL /
by Vazsonyi, Andrew
Publication:
Englewood Cliffs, [N.J.] : Prentice-Hall Inc., 1970
. XII, 508 p. ;
23 cm.
Date:1970
Availability:
No items available:
Checked out (1),
Actions:
|
|
