| 1. |
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König. - 1st ed. 2020.. -
Cham: Springer International Publishing, 2020.. - 1 Online-Ressource(XV, 644 p. 1 illus.), ISBN 978-3-030-45231-5
(Theoretical Computer Science and General Issues ; 12077)
(Springer eBook Collection)
DOI: 10.1007/978-3-030-45231-5
 Online-Ressource |
|
|
| 2. |
Wagenknecht, Christian: Formale Sprachen, abstrakte Automaten und Compiler : Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung / Christian Wagenknecht, Michael Hielscher. - 3., überarbeitete und ergänzte Auflage. -
Wiesbaden ; [Heidelberg]: Springer Vieweg, [2022]. - X, 266 Seiten : Illustrationen, Diagramme, ISBN 978-3-658-36852-4
(Lehrbuch)
 Buch/keine Angabe |
Signatur: LN-U 10-15295::(3)
|
|
| 3. |
Hoffmann, Dirk W.: Theoretische Informatik / Dirk W. Hoffmann. - 5., aktualisierte Auflage. -
München: Hanser, [2022]. - 431 Seiten : Illustrationen, Diagramme, ISBN 978-3-446-47029-3
Buch/keine Angabe |
Signatur: LN-U 10-15215::(5)
|
|
| 4. |
Küppers, Bastian: Einführung in die Informatik : Theoretische und praktische Grundlagen / Bastian Küppers. -
Wiesbaden: Springer Vieweg, [2022]. - 1 Online-Ressource (XI, 215 Seiten), ISBN 978-3-658-37838-7
(Studienbücher Informatik)
DOI: 10.1007/978-3-658-37838-7
Online-Ressource |
|
|
| 5. |
Wagenknecht, Christian: Formale Sprachen, abstrakte Automaten und Compiler : Lehr- und Arbeitsbuch mit FLACI für Grundstudium und Fortbildung / Christian Wagenknecht, Michael Hielscher. - 3., überarbeitete und ergänzte Auflage. -
Wiesbaden: Springer Vieweg, [2022]. - 1 Online-Ressource (X, 266 Seiten) : Illustrationen, ISBN 978-3-658-36853-1
(Springer eBook Collection)
DOI: 10.1007/978-3-658-36853-1
Online-Ressource |
|
|
| 6. |
Theoretical computer science : the journal of the EATCS. -
Amsterdam [u.a.]: Elsevier, 1975-. - Online-Ressource
1.1975/76 - 412.2011; Vol. 413.2012 -
Online-Ressource  Zeitschrift |
|
|
| 7. |
Information and computation. -
Amsterdam: Elsevier, 1987-. - Online-Ressource, ISSN 1090-2651
72.1987 - 209.2011; Vol. 210.2012 -
Online-Ressource Zeitschrift |
|
|
| 8. |
Hoffmann, Dirk W.: Theoretische Informatik : mit 295 Bildern, 26 Tabellen und 109 Aufgaben / Dirk W. Hoffmann. - 4., aktualisierte Auflage. -
München: Hanser, [2018]. - 431 Seiten : Illustrationen, Diagramme, ISBN 978-3-446-45793-5
Buch/keine Angabe |
Signatur: LN-U 10-15215::(4)
|
|
| 9. |
Vossen, Gottfried: Grundkurs Theoretische Informatik : Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen / von Gottfried Vossen, Kurt-Ulrich Witt. - 6. Aufl. 2016. -
Wiesbaden: Springer Vieweg, 2016. - Online-Ressource (XVIII, 485 S. 142 Abb, online resource), ISBN 978-3-8348-2202-4
(SpringerLink : Bücher)
DOI: 10.1007/978-3-8348-2202-4
Online-Ressource |
|
|
| 10. |
Küppers, Bastian: Einführung in die Informatik : theoretische und praktische Grundlagen / Bastian Küppers. -
Wiesbaden ; [Heidelberg]: Springer Vieweg, [2022]. - xi, 215 Seiten : Illustrationen, Diagramme, ISBN 978-3-658-37837-0
(Studienbücher Informatik)
(Lehrbuch)
Buch/keine Angabe |
Signatur: LN-U 10-19792
|
|
| 11. |
Neubert, Stefan: Grundkurs theoretische Informatik / Stefan Neubert. - 1. Auflage. -
Bonn: Rheinwerk Verlag, 2021. - 416 Seiten : Illustrationen, ISBN 978-3-8362-7588-0
(Informatik verstehen)
(Rheinwerk Computing)
Buch/keine Angabe |
Signatur: LN-U 10-19499
|
|
| 12. |
Schöning, Uwe: Gems of theoretical computer science / Uwe Schöning; Randall Pruim. [Transl. from the German, rev. and expanded by Randall Pruim]. -
Berlin ; Heidelberg [u.a.]: Springer, 1998. - X, 320 S : graph. Darst, ISBN 978-3-540-64425-5
Buch/keine Angabe |
Signatur: UBN/ST 130 S365
|
|
| 13. |
Brecht, Werner: Theoretische Informatik : Grundlagen und praktische Anwendungen / Werner Brecht. -
Braunschweig [u.a.]: Vieweg, 1995. - IX, 246 S. : graph. Darst., ISBN 978-3-528-05462-5
(Vieweg-Lehrbuch Informatik)
(Lehrbuch Informatik)
Buch/keine Angabe |
|
|
| 14. |
Brandau, Christoph: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets / Christoph Brandau. -
Wiesbaden: Springer Vieweg, [2019]. - Online-Ressource (XXXI, 281 Seiten) : Illustrationen, Diagramme, ISBN 978-3-658-25244-1
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-25244-1
Online-Ressource |
|
|
| 15. |
Hower, Walter: Informatik-Bausteine : eine komprimierte Einführung / Walter Hower. -
Wiesbaden: Springer Vieweg, [2019]. - 1 Online-Ressource (XV, 94 Seiten) : Illustrationen, ISBN 978-3-658-01280-9
(Springer eBooks : Computer Science and Engineering)
(Studienbücher Informatik)
(Springer eBook Collection)
DOI: 10.1007/978-3-658-01280-9
Online-Ressource |
|
|
| 16. |
Priese, Lutz: Theoretische Informatik : Eine umfassende Einführung / von Lutz Priese, Katrin Erk. - 4., aktualisierte und erweiterte Auflage. -
Berlin, Heidelberg: Springer Vieweg, [2018]. - Online-Ressource (XVI, 499 S. 135 Abb, online resource), ISBN 978-3-662-57409-6
(SpringerLink : Bücher)
DOI: 10.1007/978-3-662-57409-6
Online-Ressource |
|
|
| 17. |
Priese, Lutz: Theoretische Informatik : eine umfassende Einführung / Lutz Priese, Katrin Erk. - 4., aktualisierte und erweiterte Auflage. -
Berlin: Springer Vieweg, [2018]. - XVI, 499 Seiten : Diagramme, ISBN 978-3-662-57408-9
(Lehrbuch)
Buch/keine Angabe |
Signatur: LN-U 10-10658::(4)
|
|
| 18. |
Sequences, Groups, and Number Theory / edited by Valérie Berthé, Michel Rigo. -
Cham: Birkhäuser, 2018. - Online-Ressource (XXVI, 578 p. 87 illus., 15 illus. in color, online resource), ISBN 978-3-319-69152-7
(SpringerLink : Bücher)
(Trends in Mathematics)
(Springer eBook Collection)
DOI: 10.1007/978-3-319-69152-7
Online-Ressource |
|
|
| 19. |
FASE <22., 2019, Prag>: Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Reiner Hähnle, Wil van der Aalst. -
Cham: Springer, [2019]. - 1 Online-Ressource (XIII, 446 p. 1202 illus., 85 illus. in color), ISBN 978-3-030-16722-6
(Lecture notes in computer science ; 11424 : Advanced Research in Computing and Software Science (ARCoSS))
(Springer eBooks : Computer Science)
(Theoretical Computer Science and General Issues ; 11424)
DOI: 10.1007/978-3-030-16722-6
Online-Ressource |
|
|
| 20. |
Theory of computing systems. -
New York, NY: Springer, 1997-. - Online-Ressource, ISSN 1433-0490
30.1997 -
Online-Ressource Zeitschrift |
|
|
Suchhistorie (1 Recherche)
Jahr
