|
|
|
1. |
Vol. 1: Background : mathematical structures
Publication:
Oxford : Clarendon Press, 1992
. XII, 827 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Vol. 2: Background : computational structures
Publication:
Oxford : Clarendon Press, 1992
. X, 571 p. ;
24 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
L systems /
by Rozenberg, Grzegorz
Publication:
New York : Springer-Verlag, 1974
. VI, 338 p. :
, Most of the papers were presented at the confrence in Aarhus, Denmark, Jan. 14-25, 1974
25 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
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:
|
|
|
5. |
Part I
Publication:
Berlin ; New York : Springer-Verlag, 1974
. X, 497 p. ;
25 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
6. |
Internationale Fachtung: Informationszentren in Wirtscahft und Verwaltung, Koln, 17-18 September 1973 /
Publication:
Berlin : New York, 1974
. 259 p. :
25 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
7. |
Meta-programming in logic : third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992 : proceedings /
Publication:
Berlin : Springer-Verlag, 1992
. XII, 351 p. ;
25 cm.
Date:1992
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8. |
Visualisation in human-computer interaction : 7th Interdisciplinary workshop on informatics and psychology : Scharding, Austria, May 1988 : selected contributions /
Publication:
Berlin : Springer, 1990
. VI, 274 p. ;
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
9. |
Conference on advances in biomedical measurement /
Publication:
New York : Plenum Press, 1988
. XI, 499 p. :
26 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
10. |
Human and machine vision /
Publication:
New York : Academic Press, 1983
. XI, 567 p. :
, "Proceedings of the Conference on Human and Machine Vision held in Denver, Colorado, in August 1981, sponsored by theNational Science Foundation"--Verso of t.p.
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
11. |
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:
|
|
|
12. |
Chess skill in man and machine /
Publication:
New York : Springer-Verlag, 1978
. XI, 225 p. :
24 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
13. |
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:
|
|
|
14. |
Program construction : international summer school /
Publication:
Berlin : Springer-Verlag, 1979
. VII, 651 p. ;
, The international summer school took place from July 26 to August 6, 1978, in Marktoberdorf .. and was sponsored by the NATA Scientific Affairs Division under the 1978 Advanced Study Institutes programme
25 cm.
Date:1979
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
15. |
Conceptual modeling - ER 2002 : 21. International conference on conceptual modeling, Tampere, Finland, October 7-11, 2002 : proceedings /
Publication:
Berlin : Springer, 2002
. XX, 480 p. ;
24 cm.
Date:2002
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
16. |
Information systems methodology : proceedings of the 2nd conference of the European Cooperation in Informatics, Venice, October 10-12, 1978 /
Publication:
Berlin : Springer-Verlag, 1978
. XII, 695 p. ;
25 cm.
Date:1978
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
17. |
Formal specification af advanced AI architectures /
by Craig, Iain D.
Publication:
New York : Ellis Horwood, 1991
. XV, 319 p ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
18. |
Part II
Publication:
Berlin ; New York : Springer-Verlag, 1974
. X, 497 p. ;
25 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
19. |
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:
|
|
|
20. |
Data base systems : proceedings, 5th Informatik Symposium, IBM Germany, Bad Homburg v.d.H., September 24-26, 1975 /
Publication:
Berlin ; New York : Springer Verlag, 1976
. VI, 386 p. :
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
