Skip to contents

Pfeffer, Annett [Author] ; Technische Universität Dresden

Sicherheit modularer Prozessanlagen - [Als Manuskript gedruckt]

View online
Schließen

Access

... to E-book via Resolving system

Close

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 / 20 ; 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

View online
Schließen

Close

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, Workshop on Probabilistic cellular automata 2013 Eindhoven

Probabilistic cellular automata : theory, applications and future perspectives

View online
Schließen

Close

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]; Siegmund, Stefan [Other]; Kari, Jarkko [Other] Technische Universität Dresden

Topological conjugacies between cellular automata

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Technische Universität Dresden, [2017]
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]

View online
Schließen

Close

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
Büchse, Matthias [Author]

Algebraic decoder specification: coupling formal-language theory and statistical machine translation

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2014
Hopcroft, John E. [Author]; Motwani, Rajeev [Author]; Ullman, Jeffrey D. [Author]

Introduction to automata theory, languages, and computation - [3rd edition, Pearson new international edition]

Close

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]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Gdańsk: Wydawnictwo Politechniki Gdańskiej, 2014
Böckenhauer, Hans-Joachim [Author]; Hromkovič, Juraj [Author]

Formale Sprachen : endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse

View online
Schließen

Close

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]

View online
Schließen

Close

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]
Adamatzky, Andrew [Author]

Reaction-diffusion automata : phenomenology, localisations, computation

View online
Schließen

Close

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
Hedtstück, Ulrich [Author]

Einführung in die theoretische Informatik : formale Sprachen und Automatentheorie - [5., überarb. Aufl.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Oldenbourg, 2012
D'Souza, Deepak [Editor]

Modern applications of automata theory

View online
Schließen

Close

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
Mainzer, Klaus [Author]; Chua, Leon O. [Author]; Chua, Leon [Author]

The universe as automaton : from simplicity and symmetry to complexity - [1. ed.]

View online
Schließen

Close

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

View online
Schließen

Access

... to E-book via Resolving system

Close

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

View online
Schließen

Close

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
Hopcroft, John E. [Author]; Motwani, Rajeev [Author]; Ullman, Jeffrey D. [Author]

Einführung in Automatentheorie, formale Sprachen und Berechenbarkeit - [3., aktualisierte Auflage]

View online
Schließen

Close

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
Stüber, Torsten [Author]

Multioperator Weighted Monadic Datalog

View online
Schließen

Access

... to E-book via Resolving system

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2011
Ceccherini-Silberstein, Tullio [Author]; Coornaert, Michel [Author]

Cellular automata and groups

View online
Schließen

Close

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
Adamatzky, Andrew [Editor]

Game of Life cellular automata

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London, [u.a.]: Springer, 2010

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication