Skip to contents Theoretical computer science : theory of natural computing Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 1975- ; Amsterdam: North-Holland Publ. Co., -1990 / 1.1975/76 - 412.2011; Vol. 413.2012 - Diekert, Volker [Editor]; Durand, Bruno [Editor] ; STACS 22 2005 Stuttgart STACS 2005 : 22nd annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24 - 26, 2005; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3404 Wegener, Ingo [Author] Theoretische Informatik : eine algorithmenorientierte Einführung - [3., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Teubner, 2005 Published in: Leitfäden der Informatik- Lehrbuch Informatik Grillenbeck, Richard [Author] Didaktik und Methodik der Theoretischen Informatik : Motivation und computerunterstütztes Lernen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2000 Wegener, Ingo [Author] Theoretische Informatik : eine algorithmenorientierte Einführung - [2., durchges. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig: Teubner, 1999 Published in: Leitfäden der Informatik Erk, Katrin [Author]; Priese, Lutz [Author] Theoretische Informatik : eine umfassende Einführung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Springer-Lehrbuch Goerigk, Wolfgang [Editor] Alternative Konzepte für Sprachen und Rechner : Bad Honnef, 28. - 30. April 1997 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1997 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9712 Degano, Pierpaolo [Editor] ; ICALP 24 1997 Bologna Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7 - 11, 1997; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1256 Information and computation Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: Elsevier, 1987- ; San Diego, Calif. [u.a.]: Academ. Press, anfangs / 72.1987 - 209.2011; Vol. 210.2012 - Bauer, Friedrich L. [Author]; Wössner, Hans [Author] ; Partsch, H. [Other] Algorithmic language and program development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Texts and monographs in computer science Bugliesi, Michele [Editor] ; ICALP 33 2006 Venedig Automata, languages and programming : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10 - 14, 2006; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture notes in computer science ; . Aceto, Luca [Editor] ; ICALP 35 2008 Reykjavík Automata, languages and programming : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 6 - 13, 2008; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture notes in computer science ; . Abramsky, Samson [Editor] ; ICALP 37 2010 Bordeaux Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6 - 10, 2010; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture Notes in Computer Science ; . Hromkovič, Juraj [Author] Theoretische Informatik : formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie - [5., überarbeitete Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Wiesbaden]: Springer Vieweg, [2014] Published in: Lehrbuch Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [5., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg, 2012 O'Regan, Gerard [Author] Mathematics in computing : an accessible guide to historical, foundational and application contexts Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Heidelberg [u.a.]: Springer, 2013 Frid, Anna [Other]; Morozov, Andrey S. [Other]; Rybalchenko, Andrey [Other]; Wagner, Klaus W. [Other]; Frid, Anna E. [Editor] ; CSR 4 2009 Nowosibirsk Computer science - theory and applications : 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5675 Rosenkrantz, Daniel J. [Honoree]; Ravi, S. S. [Editor]; Ravi, Sekharipuram S. [Other]; Shukla, Sandeep K. [Other] Fundamental problems in computing : essays in honor of Professor Daniel J. Rosenkrantz Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Dordrecht] [u.a.]: Springer, 2009 Schöning, Uwe [Author] Ideen der Informatik : grundlegende Modelle und Konzepte der theoretischen Informatik - [3., korrigierte Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg-Verl., 2008 Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [4., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2007
Theoretical computer science : theory of natural computing Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 1975- ; Amsterdam: North-Holland Publ. Co., -1990 / 1.1975/76 - 412.2011; Vol. 413.2012 -
Diekert, Volker [Editor]; Durand, Bruno [Editor] ; STACS 22 2005 Stuttgart STACS 2005 : 22nd annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24 - 26, 2005; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3404
Wegener, Ingo [Author] Theoretische Informatik : eine algorithmenorientierte Einführung - [3., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Teubner, 2005 Published in: Leitfäden der Informatik- Lehrbuch Informatik
Grillenbeck, Richard [Author] Didaktik und Methodik der Theoretischen Informatik : Motivation und computerunterstütztes Lernen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2000
Wegener, Ingo [Author] Theoretische Informatik : eine algorithmenorientierte Einführung - [2., durchges. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig: Teubner, 1999 Published in: Leitfäden der Informatik
Erk, Katrin [Author]; Priese, Lutz [Author] Theoretische Informatik : eine umfassende Einführung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Springer-Lehrbuch
Goerigk, Wolfgang [Editor] Alternative Konzepte für Sprachen und Rechner : Bad Honnef, 28. - 30. April 1997 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1997 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9712
Degano, Pierpaolo [Editor] ; ICALP 24 1997 Bologna Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7 - 11, 1997; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1256
Information and computation Journals / Newspapers / Series Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam: Elsevier, 1987- ; San Diego, Calif. [u.a.]: Academ. Press, anfangs / 72.1987 - 209.2011; Vol. 210.2012 -
Bauer, Friedrich L. [Author]; Wössner, Hans [Author] ; Partsch, H. [Other] Algorithmic language and program development Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1982 Published in: Texts and monographs in computer science
Bugliesi, Michele [Editor] ; ICALP 33 2006 Venedig Automata, languages and programming : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10 - 14, 2006; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture notes in computer science ; .
Aceto, Luca [Editor] ; ICALP 35 2008 Reykjavík Automata, languages and programming : 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 6 - 13, 2008; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture notes in computer science ; .
Abramsky, Samson [Editor] ; ICALP 37 2010 Bordeaux Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6 - 10, 2010; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 20XX- Published in: Lecture Notes in Computer Science ; .
Hromkovič, Juraj [Author] Theoretische Informatik : formale Sprachen, Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kommunikation und Kryptographie - [5., überarbeitete Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Wiesbaden]: Springer Vieweg, [2014] Published in: Lehrbuch
Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [5., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg, 2012
O'Regan, Gerard [Author] Mathematics in computing : an accessible guide to historical, foundational and application contexts Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Heidelberg [u.a.]: Springer, 2013
Frid, Anna [Other]; Morozov, Andrey S. [Other]; Rybalchenko, Andrey [Other]; Wagner, Klaus W. [Other]; Frid, Anna E. [Editor] ; CSR 4 2009 Nowosibirsk Computer science - theory and applications : 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5675
Rosenkrantz, Daniel J. [Honoree]; Ravi, S. S. [Editor]; Ravi, Sekharipuram S. [Other]; Shukla, Sandeep K. [Other] Fundamental problems in computing : essays in honor of Professor Daniel J. Rosenkrantz Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Dordrecht] [u.a.]: Springer, 2009
Schöning, Uwe [Author] Ideen der Informatik : grundlegende Modelle und Konzepte der theoretischen Informatik - [3., korrigierte Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg-Verl., 2008
Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [4., überarb. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 2007
> Media type Skip to next facet Books (968) Wert ausschließen Thesis (69) Wert ausschließen Conference Proceedings (20) Wert ausschließen Journals / Newspapers / Series (13) Wert ausschließen Articles (11) Wert ausschließen Videos (4) Wert ausschließen Sound Recordings (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (85) Wert ausschließen Stack Collection (330) Wert ausschließen Ask for availability (29) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (364) Wert ausschließen Central Library (85) Wert ausschließen TU Dresden holdings (11) Wert ausschließen Branch Library of Medicine (1) Wert ausschließen Branch Library of Forestry (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright - Non-commercial Use Permitted (25) Wert ausschließen Attribution (CC BY) (22) Wert ausschließen In Copyright (13) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (5) Wert ausschließen Attribution - Share Alike (CC BY-SA) (2) Wert ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (1) Wert ausschließen Attribution - No Derivs (CC BY-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (245) Wert ausschließen Restricted Access (10) Wert ausschließen Without Specification (429) Wert ausschließen Show more show less
> Language Skip to next facet English (925) Wert ausschließen German (166) Wert ausschließen Not determined (3) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (702) Wert ausschließen Mathmatics (312) Wert ausschließen Technology (20) Wert ausschließen General (13) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (12) Wert ausschließen General sciences (9) Wert ausschließen Philosophy (8) Wert ausschließen Economics (8) Wert ausschließen Musicology (7) Wert ausschließen Physics (5) Wert ausschließen Psychology (5) Wert ausschließen Sociology (5) Wert ausschließen Pedagogy (4) Wert ausschließen Biology (2) Wert ausschließen History (2) Wert ausschließen Art and art history (2) Wert ausschließen Medicine (1) Wert ausschließen Show more show less
> Creator Skip to next facet European Association for Computer Science Logic (21) Wert ausschließen Calude, Cristian (18) Wert ausschließen Institute of Electrical and Electronics Engineers (17) Wert ausschließen Hromkovič, Juraj (16) Wert ausschließen Rozenberg, Grzegorz (16) Wert ausschließen Pandu Rangan, C. (15) Wert ausschließen Steffen, Bernhard (15) Wert ausschließen Hutchison, David (14) Wert ausschließen Kanade, Takeo (14) Wert ausschließen Kittler, Josef (14) Wert ausschließen Kleinberg, Jon (14) Wert ausschließen Mattern, Friedemann (14) Wert ausschließen Mitchell, John C. (14) Wert ausschließen Naor, Moni (14) Wert ausschließen Nierstrasz, Oscar (14) Wert ausschließen Sudan, Madhu (14) Wert ausschließen Terzopoulos, Demetri (14) Wert ausschließen Tygar, Doug (14) Wert ausschließen Vardi, Moshe Y. (14) Wert ausschließen Weikum, Gerhard (14) Wert ausschließen Schöning, Uwe (13) Wert ausschließen Widmayer, Peter (11) Wert ausschließen Diekert, Volker (10) Wert ausschließen Ibarra, Oscar H. (10) Wert ausschließen Voronkov, Andrei (10) Wert ausschließen Karhumäki, Juhani (9) Wert ausschließen König, Barbara (9) Wert ausschließen Lamersdorf, Winfried (9) Wert ausschließen Merz, Michael (9) Wert ausschließen Rovan, Branislav (9) Wert ausschließen Kiltz, Eike (8) Wert ausschließen Löwe, Benedikt (8) Wert ausschließen Moldt, Daniel (8) Wert ausschließen Thomas, Wolfgang (8) Wert ausschließen Wiedermann, Jiří (8) Wert ausschließen Arvind, Vikraman (7) Wert ausschließen Dershowitz, Nachum (7) Wert ausschließen Hoffmann, Dirk W. (7) Wert ausschließen IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (7) Wert ausschließen Mayr, Ernst W. (7) Wert ausschließen Nielsen, Mogens (7) Wert ausschließen Schloss Dagstuhl, Leibniz-Zentrum für Informatik (7) Wert ausschließen Tarlecki, Andrzej (7) Wert ausschließen Ésik, Zoltán (7) Wert ausschließen Choffrut, Christian (6) Wert ausschließen Dadam, Peter (6) Wert ausschließen European Association for Theoretical Computer Science (6) Wert ausschließen Fakultät für Mathematik (6) Wert ausschließen Hedtstück, Ulrich (6) Wert ausschließen Leeuwen, Jan (6) Wert ausschließen Lingas, Andrzej (6) Wert ausschließen Otto, Friedrich (6) Wert ausschließen Virbitskaite, Irina (6) Wert ausschließen Wagner, Klaus W. (6) Wert ausschließen Bieliková, Mária (5) Wert ausschließen Blum, Norbert (5) Wert ausschließen Broy, Manfred (5) Wert ausschließen Dassow, Jürgen (5) Wert ausschließen Dawar, Anuj (5) Wert ausschließen Dinneen, Michael J. (5) Wert ausschließen Du, Dingzhu (5) Wert ausschließen Enjalbert, Patrice (5) Wert ausschließen Fülöp, Zoltán (5) Wert ausschließen Hirsch, Edward A. (5) Wert ausschließen IEEE Computer Society (5) Wert ausschließen Královic̆, Rastislav (5) Wert ausschließen Kučera, Antonin (5) Wert ausschließen Liu, Zhiming (5) Wert ausschließen Margenstern, Maurice (5) Wert ausschließen Montanari, Ugo (5) Wert ausschließen Niedermeier, Rolf (5) Wert ausschließen Ong, Luke (5) Wert ausschließen Priese, Lutz (5) Wert ausschließen Prívara, Igor (5) Wert ausschließen Salomaa, Arto (5) Wert ausschließen Szepietowski, Andrzej (5) Wert ausschließen Vossen, Gottfried (5) Wert ausschließen Witt, Kurt-Ulrich (5) Wert ausschließen Zimmermann, Karl-Heinz (5) Wert ausschließen Alt, Helmut (4) Wert ausschließen Baeza-Yates, Ricardo (4) Wert ausschließen Cavalcanti, Ana (4) Wert ausschließen Cerone, Antonio (4) Wert ausschließen Champarnaud, Jean-Marc (4) Wert ausschließen Chen, Danny Z. (4) Wert ausschließen Costa, José Félix (4) Wert ausschließen Domaratzki, Michael (4) Wert ausschließen Durand, Bruno (4) Wert ausschließen Erk, Katrin (4) Wert ausschließen Finkel, Alain (4) Wert ausschließen Freivalds, Rūsinš (4) Wert ausschließen Goldreich, Oded (4) Wert ausschließen Hagiya, Masami (4) Wert ausschließen Huth, Michael (4) Wert ausschließen IEEE Computer Society Technical Committee on Multiple Valued Logic (4) Wert ausschließen Italiano, Giuseppe F. (4) Wert ausschließen Koubek, Václav (4) Wert ausschließen Kreutzer, Stephan (4) Wert ausschließen Kuich, Werner (4) Wert ausschließen Kutyłowski, Mirosław (4) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (899) Wert ausschließen BASE - Bielefeld Academic Search Engine (131) Wert ausschließen Lizenzfreie Online-Ressourcen (74) Wert ausschließen Diss online (52) Wert ausschließen ETH Zürich Research Collection (25) Wert ausschließen Hamburg University, Department of Informatics: INFDok (18) Wert ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (14) Wert ausschließen RUB-Repository (Ruhr-Universität Bochum) (10) Wert ausschließen Digital Library Thüringen (9) Wert ausschließen Fachkatalog Technikgeschichte (8) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (7) Wert ausschließen University of Duisburg-Essen: DuEPublico2 (Duisburg Essen Publications online) (7) Wert ausschließen University of Kassel: KOBRA (Kasseler Online Bibliothek Repository und Archiv) (6) Wert ausschließen Scientific publications of the Saarland University (UdS) (5) Wert ausschließen Qucosa (4) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (3) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (3) Wert ausschließen University of Potsdam: publish.UP (3) Wert ausschließen REPOSIT HAW Hamburg (2) Wert ausschließen SerWisS - Publication Server of the University of Applied Sciences and Arts Hannover (2) Wert ausschließen Share it - Open Access und Forschungsdaten-Repositorium der Hochschulbibliotheken in Sachsen-Anhalt (2) Wert ausschließen TORE TUHH Open Research (Hamburg University of Technology) (2) Wert ausschließen Universität Osnabrück: osnaDocs (2) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Eldorado - Repositorium der TU Dortmund (1) Wert ausschließen Freie Universität Berlin: Refubium (FU Berlin) (1) Wert ausschließen Georg-August-Universität Göttingen: eDiss (1) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (1) Wert ausschließen PUB - Publications at Bielefeld University (1) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (1) Wert ausschließen Publication Server of Tier University (OPUS) (1) Wert ausschließen Publication Server of the Justus-Liebig-University of Giessen (1) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (1) Wert ausschließen Würzburg University: Online Publication Service (1) Wert ausschließen bonndoc - The Repository of the University of Bonn (1) Wert ausschließen noah.nrw (1) Wert ausschließen Show more show less