1. |
Graph grammars and their application to computer science : international workshop / International Workshop on Graph Grammars and Their Applications. - Berlin ; Heidelberg [u.a.]: Springer, 1979-1987 [1.]1978(1979); 2.1982(1983) - 3.1986(1987)
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
2. |
Foundations of software technology and theoretical computer science : FST and TCS ; proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science. - Berlin ; Heidelberg [u.a.]: Springer, 1981-1989 1.1981 - 9.1989
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
3. |
Proceedings of the IBM Computer Science Symposium. - Berlin ; Heidelberg [u.a.]: Springer, 1982-1982 Nachgewiesen 14.1980(1982)
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
4. |
Mathematical foundations of computer science : proceedings / Symposium on Mathematical Foundations of Computer Science. - Berlin ; Heidelberg [u.a.]: Springer, 1975-1989, ISSN 0343-2130 3.1974(1975) - 14.1989
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
5. |
Graphtheoretic concepts in computer science : proceedings of the International Workshop WG / Workshop on Graphtheoretic Concepts in Computer Science. - Berlin [u.a.]: Springer, 1981-1989 6.1980(1981); nachgewiesen 12.1986(1987) - 14.1988(1989)
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
6. |
Computer algebra / EUROCAL, European Computer Algebra Conference. - Berlin ; Heidelberg [u.a.]: Springer, 1982-1983 1.1982 - 2.1983
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
7. |
Functional programming languages and computer architecture : proceedings / Conference on Functional Programming Languages and Computer Architecture. - Berlin ; Heidelberg [u.a.]: Springer, 1985-1987 [2.]1985 - 3.1987
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
8. |
Proceedings of the symposia / RIMS Symposia on Software Science and Engineering. - Berlin ; Heidelberg [u.a.]: Springer, 1983-1986 [1.]1980/82(1983) - 2.1983/84(1986)[?]
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
9. |
Proceedings / European Conference on Computer Algebra. - Berlin ; Heidelberg [u.a.]: Springer, 1985-1989 1985; 6.1987(1989)
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
10. |
Synthesis lectures on artificial intelligence and machine learning. - San Rafael, Calif.: Morgan & Claypool, 2008-. - Online-Ressource (Computer & information science) (Synthesis digital library of engineering and computer science) 1.2007 -
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
11. |
Proceedings / Symposium on Logic in Computer Science. The Computer Society of the IEEE. - Washington, DC: Computer Society Pr., 1986-1989, ISSN 1043-6871 [1.]1986; 2.1987 - 4.1989
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
12. |
The collection of computer science bibliographies / Universität Karlsruhe (TH), Lehrstuhl Informatik für Ingenieure und Naturwissenschaftler. - Karlsruhe: [Verlag nicht ermittelbar], 1995-. - Online-Ressource 1995 -
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
13. |
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science. - [Erscheinungsort nicht ermittelbar]: IEEE Press, 2019. - 784 p. (ACM Conferences) (ACM Digital Library) DOI: 10.5555/3470152
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
14. |
Joint AIEE IRE ACM Computer Conference / sponsored by the Committee on Computing Devices of the American Institute of Electrical Engineers; E… . - New York, NY: AIEE, 1952-1953 1.1951(1952) - 2.1952(1953)
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
15. |
Proceedings / International Symposium on Programming : colloquium. - Berlin ; Heidelberg [u.a.]: Springer, 1977-1984 2.1976(1977) - 6.1984
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
16. |
Conference on Automated Deduction. - Berlin ; Heidelberg [u.a.]: Springer, 1980-1982 5.1980 - 6.1982
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
17. |
Optimization techniques : modeling and optimization in the service of man ; proceedings, 7th IFIP Conference on Optimization Techniques, Nice, Sept. 8 - 12, 1975 / ed. by Jean Cea. - Berlin: Springer (Lecture notes in computer science ; ...)
![Mehrteiliges Werk](/https/katalog.ub.uni-heidelberg.de/opacicon/books4.png) Mehrteiliges Werk
|
|
|
18. |
Proceedings / Colloquium on Trees in Algebra and Programming, CAAP. - Berlin ; Heidelberg [u.a.]: Springer, 1981-1988 6.1981 - 13.1988
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
19. |
Contemporary knowledge engineering and cognition : joint workshop ; proceedings. - Berlin ; Heidelberg [u.a.]: Springer, 1992- 1.1991(1992) -
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|
20. |
Proceedings / International Workshop on Object Oriented Database Systems. - [Wechselnde Verlagsorte] @, 1986-1988 [1.]1986 - 2.1988[?]
![Zeitschrift](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/report.png) Zeitschrift
|
|
|