| 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 |
|
|
| 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 |
|
|
| 3. |
Proceedings of the IBM Computer Science Symposium. -
Berlin ; Heidelberg [u.a.]: Springer, 1982-1982
Nachgewiesen 14.1980(1982)
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 |
|
|
| 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 |
|
|
| 6. |
Computer algebra / EUROCAL, European Computer Algebra Conference. -
Berlin ; Heidelberg [u.a.]: Springer, 1982-1983
1.1982 - 2.1983
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 |
|
|
| 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 |
|
|
| 9. |
Proceedings / European Conference on Computer Algebra. -
Berlin ; Heidelberg [u.a.]: Springer, 1985-1989
1985; 6.1987(1989)
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 |
|
|
| 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 |
|
|
| 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 |
|
|
| 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 |
|
|
| 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 |
|
|
| 15. |
Proceedings / International Symposium on Programming : colloquium. -
Berlin ; Heidelberg [u.a.]: Springer, 1977-1984
2.1976(1977) - 6.1984
Zeitschrift |
|
|
| 16. |
Conference on Automated Deduction. -
Berlin ; Heidelberg [u.a.]: Springer, 1980-1982
5.1980 - 6.1982
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 |
|
|
| 18. |
Proceedings / Colloquium on Trees in Algebra and Programming, CAAP. -
Berlin ; Heidelberg [u.a.]: Springer, 1981-1988
6.1981 - 13.1988
Zeitschrift |
|
|
| 19. |
Contemporary knowledge engineering and cognition : joint workshop ; proceedings. -
Berlin ; Heidelberg [u.a.]: Springer, 1992-
1.1991(1992) -
Zeitschrift |
|
|
| 20. |
Proceedings / International Workshop on Object Oriented Database Systems. -
[Wechselnde Verlagsorte] @, 1986-1988
[1.]1986 - 2.1988[?]
Zeitschrift |
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
