|
|
1. |
Symposium on semantics of algorithmic languages /
Publication:
Berlin ; New York : Springer-Verlag, 1971
. 372 p. ;
26 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 /
Publication:
Berlin : Springer-Verlag, 1979
. IX, 684 p. :
, One contribution in French.
25 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings /
Publication:
Berlin : Springer-Verlag, 1991
. VIII, 666 p. :
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
Languages for sensor-based control in robotics /
Publication:
Berlin ; New York : Springer-Verlag, 1987
. IX, 625 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
5. |
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:
|
|
|
6. |
History of programming languages /
Publication:
New York : Academic Press, 1981
. XXIII, 758 p. ;
, Proceedings of the History of Programming Languages Conference, Los Angeles, Calif., June 1-3, 1978.
27 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
7. |
Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages /
Publication:
Amsterdam ; New York : North-Holland Pub. Co., 1981
. XXVI, 431 p. :
23 cm.
Date:1981
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8. |
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 /
Publication:
Berlin ; New York : Springer-Verlag, 1975
. VIII, 292 p. :
25 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
9. |
Foundations of object-oriented languages : proceedings of the REX School /
Publication:
Berlin : Springer-Verlag, 1991
. VIII, 442 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
10. |
Programming languages implementation and logic programming : proceedings of the International Workshop PLILP '88, Orleans, France, May16-18, 1988 /
Publication:
Berlin ; New York : Springer-Verlag, 1989
. VI, 299 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
11. |
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:
|
|
|
12. |
Functional programming languages and computer architecture : Nancy, France, September 1985 /
Publication:
Berlin ; New York : Springer-Verlag, 1985
. VI, 413 p. :
23 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
13. |
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:
|
|
|
14. |
Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 /
Publication:
Berlin : Springer Verlag, 1975
. XII, 370 p. ;
24 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
15. |
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 /
Publication:
Berlin ; New York : Springer-Verlag, 1975
. VII, 484 p. ;
25 cm.
Date:1975
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
16. |
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:
|
|
|
17. |
3. Fachtagung uber Programmiersprachen : Kiel, 5-7 Marz 1974 /
Publication:
Berlin ; New York : Springer-Verlag,
. VI, 225 p. ;
24 cm.
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
18. |
1 Fachtagung uber Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973 /
Publication:
Berlin : Springer-Verlag, 1973
. VII, 322 p. ;
24 cm.
Date:1973
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
19. |
Theory of machines and computations /
Publication:
New York : Academic Press, 1971
. XIII, 416 p. :
, Proceedings of an International Symposium on the Theory of Machines and Computations, held at Technion in Haifa, Israel on August 16-19, 1971
24 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
20. |
Algorithm specification /
Publication:
Englewood Cliffs : Prentice-Hall, 1972
. 141 p. :
24 cm.
Date:1972
Availability:
No items available:
Checked out (1),
Actions:
|
|