Skip to contents Pfeffer, Annett [Author] ; Technische Universität Dresden [Degree granting institution] Sicherheit modularer Prozessanlagen - [Als Manuskript gedruckt] Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI Verlag GmbH, [2022] Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 477 - Berichte aus der Professur für Prozessleittechnik und der Arbeitsgruppe Systemverfahrenstechnik der TU Dresden ; 1 Clarke, Edmund M. [Editor] ; Henzinger, Thomas [Editor] ; Veith, Helmut [Editor] ; Bloem, Roderick [Editor] Handbook of model checking Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, [2018] Louis, Pierre-Yves [Editor] ; Nardi, Francesca R. [Editor] ; Workshop on Probabilistic cellular automata, 2013, Eindhoven [Other] Probabilistic cellular automata : theory, applications and future perspectives Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham, Switzerland: Springer, [2018] Published in: Emergence, complexity and computation ; 27 Epperlein, Jeremias [Author] ; Siegmund, Stefan [Degree supervisor] ; Kari, Jarkko [Other] ; Technische Universität Dresden [Degree granting institution] Topological conjugacies between cellular automata Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, [2017] Büchse, Matthias [Author] Algebraic decoder specification: coupling formal-language theory and statistical machine translation Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2014 Gruber, Malte-Christian [Editor] ; Bung, Jochen [Editor] ; Ziemann, Sascha [Editor] Autonome Automaten : künstliche Körper und artifizielle Agenten in der technisierten Gesellschaft - [2. Auflage] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: BWV, Berliner Wissenschafts-Verlag, c2015 Published in: Beiträge zur Rechts-, Gesellschafts- und Kulturkritik ; 12 Hopcroft, John E. [Author] ; Motwani, Rajeev [Author] ; Ullman, Jeffrey D. [Author] Introduction to automata theory, languages, and computation - [3rd edition, Pearson new international edition] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Harlow: Pearson Education, [2014] Published in: Always learning / Pearson Daciuk, Jan [Author] Optimization of automata - [Wydanie 1] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Gdańsk: Wydawnictwo Politechniki Gdańskiej, 2014 Wagenknecht, Christian [Author] Eagle-Starthilfe Berechenbarkeitstheorie : Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Edition am Gutenbergplatz, 2012 Published in: Eagle ; 59 Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [5., überarb. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg, 2012 Nebel, Markus [Author] Formale Grundlagen der Programmierung Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Vieweg, 2012 Published in: Studienbücher Informatik - Studium Böckenhauer, Hans-Joachim [Author] ; Hromkovič, Juraj [Author] Formale Sprachen : endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Vieweg, [2013] Published in: Lehrbuch Sipser, Michael [Author] Introduction to the theory of computation - [Third edition, international edition] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Australia; Brazil; Japan; Korea; Mexiko; Singapore; Spain; United Kingdom; United States: Cengage Learning, [2013] D'Souza, Deepak [Editor] Modern applications of automata theory Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New Jersey [u.a.]: World Scientific [u.a.], 2012 Published in: Indian Institute of Science: IISc research monographs series ; 2.2012 Adamatzky, Andrew [Author] Reaction-diffusion automata : phenomenology, localisations, computation Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, c 2013 Published in: Emergence, complexity and computation ; 1 Mainzer, Klaus [Author] ; Chua, Leon O. [Author] ; Chua, Leon O. [Author] The universe as automaton : from simplicity and symmetry to complexity - [1. ed.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg [u.a.]: Springer, c 2012 Published in: SpringerBriefs in complexity Klüppelholz, Sascha [Author] Verification of branching-time and alternating-time properties for exogenous coordination models Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2012 Hofmann, Martin [Author] ; Lange, Martin [Author] Automatentheorie und Logik Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: eXamen.press Ceccherini-Silberstein, Tullio [Author] ; Coornaert, Michel [Author] Cellular automata and groups Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2010 Published in: Springer monographs in mathematics Hopcroft, John E. [Author] ; Motwani, Rajeev [Author] ; Ullman, Jeffrey D. [Author] Einführung in Automatentheorie, formale Sprachen und Berechenbarkeit - [3., aktualisierte Auflage] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Boston; San Francisco; Harlow; Don Mills; Sydney; Mexico City; Madrid; Amsterdam: Pearson Studium, [2011] Published in: it - Informatik
Pfeffer, Annett [Author] ; Technische Universität Dresden [Degree granting institution] Sicherheit modularer Prozessanlagen - [Als Manuskript gedruckt] Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI Verlag GmbH, [2022] Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI ; 477 - Berichte aus der Professur für Prozessleittechnik und der Arbeitsgruppe Systemverfahrenstechnik der TU Dresden ; 1
Clarke, Edmund M. [Editor] ; Henzinger, Thomas [Editor] ; Veith, Helmut [Editor] ; Bloem, Roderick [Editor] Handbook of model checking Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, [2018]
Louis, Pierre-Yves [Editor] ; Nardi, Francesca R. [Editor] ; Workshop on Probabilistic cellular automata, 2013, Eindhoven [Other] Probabilistic cellular automata : theory, applications and future perspectives Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham, Switzerland: Springer, [2018] Published in: Emergence, complexity and computation ; 27
Epperlein, Jeremias [Author] ; Siegmund, Stefan [Degree supervisor] ; Kari, Jarkko [Other] ; Technische Universität Dresden [Degree granting institution] Topological conjugacies between cellular automata Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, [2017]
Büchse, Matthias [Author] Algebraic decoder specification: coupling formal-language theory and statistical machine translation Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2014
Gruber, Malte-Christian [Editor] ; Bung, Jochen [Editor] ; Ziemann, Sascha [Editor] Autonome Automaten : künstliche Körper und artifizielle Agenten in der technisierten Gesellschaft - [2. Auflage] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: BWV, Berliner Wissenschafts-Verlag, c2015 Published in: Beiträge zur Rechts-, Gesellschafts- und Kulturkritik ; 12
Hopcroft, John E. [Author] ; Motwani, Rajeev [Author] ; Ullman, Jeffrey D. [Author] Introduction to automata theory, languages, and computation - [3rd edition, Pearson new international edition] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Harlow: Pearson Education, [2014] Published in: Always learning / Pearson
Daciuk, Jan [Author] Optimization of automata - [Wydanie 1] Media type: Books Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Gdańsk: Wydawnictwo Politechniki Gdańskiej, 2014
Wagenknecht, Christian [Author] Eagle-Starthilfe Berechenbarkeitstheorie : Cantor-Diagonalisierung - Gödelisierung - Turing-Maschine Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Leipzig: Edition am Gutenbergplatz, 2012 Published in: Eagle ; 59
Hedtstück, Ulrich [Author] Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [5., überarb. Aufl.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg, 2012
Nebel, Markus [Author] Formale Grundlagen der Programmierung Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Vieweg, 2012 Published in: Studienbücher Informatik - Studium
Böckenhauer, Hans-Joachim [Author] ; Hromkovič, Juraj [Author] Formale Sprachen : endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Vieweg, [2013] Published in: Lehrbuch
Sipser, Michael [Author] Introduction to the theory of computation - [Third edition, international edition] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Australia; Brazil; Japan; Korea; Mexiko; Singapore; Spain; United Kingdom; United States: Cengage Learning, [2013]
D'Souza, Deepak [Editor] Modern applications of automata theory Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New Jersey [u.a.]: World Scientific [u.a.], 2012 Published in: Indian Institute of Science: IISc research monographs series ; 2.2012
Adamatzky, Andrew [Author] Reaction-diffusion automata : phenomenology, localisations, computation Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, c 2013 Published in: Emergence, complexity and computation ; 1
Mainzer, Klaus [Author] ; Chua, Leon O. [Author] ; Chua, Leon O. [Author] The universe as automaton : from simplicity and symmetry to complexity - [1. ed.] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg [u.a.]: Springer, c 2012 Published in: SpringerBriefs in complexity
Klüppelholz, Sascha [Author] Verification of branching-time and alternating-time properties for exogenous coordination models Media type: Books View online Schließen > Access ... to E-book via Resolving system Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2012
Hofmann, Martin [Author] ; Lange, Martin [Author] Automatentheorie und Logik Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: eXamen.press
Ceccherini-Silberstein, Tullio [Author] ; Coornaert, Michel [Author] Cellular automata and groups Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2010 Published in: Springer monographs in mathematics
Hopcroft, John E. [Author] ; Motwani, Rajeev [Author] ; Ullman, Jeffrey D. [Author] Einführung in Automatentheorie, formale Sprachen und Berechenbarkeit - [3., aktualisierte Auflage] Media type: Books View online Schließen Close bookmarks > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Boston; San Francisco; Harlow; Don Mills; Sydney; Mexico City; Madrid; Amsterdam: Pearson Studium, [2011] Published in: it - Informatik
> Media type Skip to next facet Books (524) Books ausschließen Other (7) Other ausschließen Kits (1) Kits ausschließen Show more show less
> Availability Skip to next facet Open Shelves (72) Open Shelves ausschließen Stack Collection (183) Stack Collection ausschließen Ask for availability (21) Ask for availability ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (162) Departmental Library DrePunct ausschließen Central Library (125) Central Library ausschließen TU Dresden holdings (8) TU Dresden holdings ausschließen Branch Library of Medicine (5) Branch Library of Medicine ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (224) Attribution (CC BY) ausschließen In Copyright (8) In Copyright ausschließen Attribution - Share Alike (CC BY-SA) (2) Attribution - Share Alike (CC BY-SA) ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (1) Attribution - Non Commercial - Share Alike (CC BY-NC-SA) ausschließen Show more show less
> Access State Skip to next facet Open Access (267) Open Access ausschließen Restricted Access (1) Restricted Access ausschließen Without Specification (29) Without Specification ausschließen Show more show less
> Language Skip to next facet English (420) English ausschließen German (103) German ausschließen Russian (12) Russian ausschließen French (1) French ausschließen Show more show less
> Subject Skip to next facet Computer science (532) Computer science ausschließen Mathmatics (186) Mathmatics ausschließen Technology (43) Technology ausschließen Economics (35) Economics ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (25) General and comparative linguistics and literary studies, indo-european, non-european languages and literatures ausschließen Philosophy (10) Philosophy ausschließen Physics (9) Physics ausschließen General (7) General ausschließen Biology (6) Biology ausschließen General sciences (5) General sciences ausschließen Psychology (4) Psychology ausschließen Sociology (4) Sociology ausschließen Chemistry and pharmacology (3) Chemistry and pharmacology ausschließen Medicine (2) Medicine ausschließen Musicology (1) Musicology ausschließen Political science (1) Political science ausschließen Pedagogy (1) Pedagogy ausschließen Theology and religious studies (1) Theology and religious studies ausschließen Show more show less
> Creator Skip to next facet Baader, Franz (98) Baader, Franz ausschließen Borgwardt, Stefan (36) Borgwardt, Stefan ausschließen Lutz, Carsten (28) Lutz, Carsten ausschließen Peñaloza Nyssen, Rafael (26) Peñaloza Nyssen, Rafael ausschließen Kriegel, Francesco (21) Kriegel, Francesco ausschließen Koopmann, Patrick (17) Koopmann, Patrick ausschließen Technische Universität Dresden (17) Technische Universität Dresden ausschließen Sattler, Ulrike (16) Sattler, Ulrike ausschließen Turhan, Anni-Yasmin (16) Turhan, Anni-Yasmin ausschließen Küsters, Ralf (14) Küsters, Ralf ausschließen Morawska, Barbara (14) Morawska, Barbara ausschließen Fernández Gil, Oliver (11) Fernández Gil, Oliver ausschließen Molitor, Ralf (11) Molitor, Ralf ausschließen Vogler, Heiko (11) Vogler, Heiko ausschließen Tobies, Stephan (10) Tobies, Stephan ausschließen Universität Leipzig (10) Universität Leipzig ausschließen Salomaa, Arto (9) Salomaa, Arto ausschließen Baier, Christel (8) Baier, Christel ausschließen Hopcroft, John E. (8) Hopcroft, John E. ausschließen Horrocks, Ian (8) Horrocks, Ian ausschließen Lippmann, Marcel (8) Lippmann, Marcel ausschließen Nuradiansyah, Adrian (8) Nuradiansyah, Adrian ausschließen Thost, Veronika (8) Thost, Veronika ausschließen Ullman, Jeffrey D. (8) Ullman, Jeffrey D. ausschließen Wolter, Frank (8) Wolter, Frank ausschließen Brandt, Sebastian (7) Brandt, Sebastian ausschließen Zarrieß, Benjamin (7) Zarrieß, Benjamin ausschließen Böhling, Karl Heinz (6) Böhling, Karl Heinz ausschließen Distel, Felix (6) Distel, Felix ausschließen Hotz, Günter (6) Hotz, Günter ausschließen Pin, Jean Éric (6) Pin, Jean Éric ausschließen Borchmann, Daniel (5) Borchmann, Daniel ausschließen Claus, Volker (5) Claus, Volker ausschließen Hedtstück, Ulrich (5) Hedtstück, Ulrich ausschließen Liu, Hongkai (5) Liu, Hongkai ausschließen Miličić, Maja (5) Miličić, Maja ausschließen Motwani, Rajeev (5) Motwani, Rajeev ausschließen Wagenknecht, Christian (5) Wagenknecht, Christian ausschließen Walter, Hermann (5) Walter, Hermann ausschließen Gössel, Michael (4) Gössel, Michael ausschließen Hielscher, Michael (4) Hielscher, Michael ausschließen Lukasiewicz, Thomas (4) Lukasiewicz, Thomas ausschließen Marantidis, Pavlos (4) Marantidis, Pavlos ausschließen Nederhof, Mark-Jan (4) Nederhof, Mark-Jan ausschließen Okhotin, Alexander (4) Okhotin, Alexander ausschließen Păun, Gheorghe (4) Păun, Gheorghe ausschließen Rozenberg, Grzegorz (4) Rozenberg, Grzegorz ausschließen Rydval, Jakub (4) Rydval, Jakub ausschließen Trachtenbrot, Boris Avraamovič (4) Trachtenbrot, Boris Avraamovič ausschließen Arbib, Michael A. (3) Arbib, Michael A. ausschließen Biswas, Somenath (3) Biswas, Somenath ausschließen Bollig, Benedikt (3) Bollig, Benedikt ausschließen Büchse, Matthias (3) Büchse, Matthias ausschließen Ceylan, İsmail İlkan (3) Ceylan, İsmail İlkan ausschließen Claßen, Jens (3) Claßen, Jens ausschließen De Bortoli, Filippo (3) De Bortoli, Filippo ausschließen Eilenberg, Samuel (3) Eilenberg, Samuel ausschließen Engelfriet, Joost (3) Engelfriet, Joost ausschließen Epperlein, Jeremias (3) Epperlein, Jeremias ausschließen Forkel, Walter (3) Forkel, Walter ausschließen Fülöp, Zoltán (3) Fülöp, Zoltán ausschließen Ghilardi, Silvio (3) Ghilardi, Silvio ausschließen Hacid, Mohand-Saïd (3) Hacid, Mohand-Saïd ausschließen Hackl, Clemens (3) Hackl, Clemens ausschließen Kari, Jarkko (3) Kari, Jarkko ausschließen Klüppelholz, Sascha (3) Klüppelholz, Sascha ausschließen Maletti, Andreas (3) Maletti, Andreas ausschließen Maurer, Hermann (3) Maurer, Hermann ausschließen Minsky, Marvin (3) Minsky, Marvin ausschließen Nivat, Maurice (3) Nivat, Maurice ausschließen Pfeffer, Annett (3) Pfeffer, Annett ausschließen Sertkaya, Barış (3) Sertkaya, Barış ausschließen Siegmund, Stefan (3) Siegmund, Stefan ausschließen Sippu, Seppo (3) Sippu, Seppo ausschließen Soisalon-Soininen, Eljas (3) Soisalon-Soininen, Eljas ausschließen Stüber, Torsten (3) Stüber, Torsten ausschließen Tirtarasa, Satyadharma (3) Tirtarasa, Satyadharma ausschließen Wilke, Thomas (3) Wilke, Thomas ausschließen Adamatzky, Andrew (2) Adamatzky, Andrew ausschließen Albert, Jürgen (2) Albert, Jürgen ausschließen Artale, Alessandro (2) Artale, Alessandro ausschließen Ausiello, Giorgio (2) Ausiello, Giorgio ausschließen Beigel, Richard (2) Beigel, Richard ausschließen Berstel, Jean (2) Berstel, Jean ausschließen Blikle, Andrzej (2) Blikle, Andrzej ausschließen Bloem, Roderick (2) Bloem, Roderick ausschließen Brauer, Wilfried (2) Brauer, Wilfried ausschließen Bucher, Walter (2) Bucher, Walter ausschließen Burkart, Olaf (2) Burkart, Olaf ausschließen Clarke, Edmund M. (2) Clarke, Edmund M. ausschließen Dassow, Jürgen (2) Dassow, Jürgen ausschließen Daviaud, Laure (2) Daviaud, Laure ausschließen Drath, Rainer (2) Drath, Rainer ausschließen Dubslaff, Clemens (2) Dubslaff, Clemens ausschließen Dörband, Frederic (2) Dörband, Frederic ausschließen Ehrig, Hartmut (2) Ehrig, Hartmut ausschließen Erk, Katrin (2) Erk, Katrin ausschließen Esparza, Javier (2) Esparza, Javier ausschließen FST and TCS, 11, 1991, Delhi (2) FST and TCS, 11, 1991, Delhi ausschließen Floyd, Robert W. (2) Floyd, Robert W. ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (507) Verbunddaten SWB ausschließen Qucosa (246) Qucosa ausschließen Lizenzfreie Online-Ressourcen (245) Lizenzfreie Online-Ressourcen ausschließen Abschlussarbeiten der TU Dresden (37) Abschlussarbeiten der TU Dresden ausschließen Diss online (15) Diss online ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (Nationallizenz) (3) Elsevier eBook collection on ScienceDirect - Mathematics (Nationallizenz) ausschließen Nationallizenzen (3) Nationallizenzen ausschließen Fachkatalog Technikgeschichte (1) Fachkatalog Technikgeschichte ausschließen Show more show less