Zum Inhalt springen

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

Sicherheit modularer Prozessanlagen - [Als Manuskript gedruckt]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Düsseldorf: VDI Verlag GmbH, [2022]

Erschienen 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. [HerausgeberIn]; Henzinger, Thomas [HerausgeberIn]; Veith, Helmut [HerausgeberIn]; Bloem, Roderick [HerausgeberIn]

Handbook of model checking

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham: Springer, [2018]
Louis, Pierre-Yves [HerausgeberIn]; Nardi, Francesca R. [HerausgeberIn] ; Workshop on Probabilistic cellular automata 2013 Eindhoven, Workshop on Probabilistic cellular automata 2013 Eindhoven

Probabilistic cellular automata : theory, applications and future perspectives

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cham, Switzerland: Springer, [2018]

Erschienen in: Emergence, complexity and computation ; 27
Epperlein, Jeremias [VerfasserIn] ; Siegmund, Stefan [AkademischeR BetreuerIn]; Siegmund, Stefan [Sonstige Person, Familie und Körperschaft]; Kari, Jarkko [Sonstige Person, Familie und Körperschaft] Technische Universität Dresden

Topological conjugacies between cellular automata

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Technische Universität Dresden, [2017]
Gruber, Malte-Christian [HerausgeberIn]; Bung, Jochen [HerausgeberIn]; Ziemann, Sascha [HerausgeberIn]

Autonome Automaten : künstliche Körper und artifizielle Agenten in der technisierten Gesellschaft - [2. Auflage]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: BWV, Berliner Wissenschafts-Verlag, c2015

Erschienen in: Beiträge zur Rechts-, Gesellschafts- und Kulturkritik ; 12
Büchse, Matthias [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Harlow: Pearson Education, [2014]

Erschienen in: Always learning / Pearson
Daciuk, Jan [VerfasserIn]

Optimization of automata - [Wydanie 1]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiesbaden: Springer Vieweg, 2013

Erschienen in: Lehrbuch
Sipser, Michael [VerfasserIn]

Introduction to the theory of computation - [Third edition, international edition]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Australia; Brazil; Japan; Korea; Mexiko; Singapore; Spain; United Kingdom; United States: Cengage Learning, [2013]
Adamatzky, Andrew [VerfasserIn]

Reaction-diffusion automata : phenomenology, localisations, computation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, c 2013

Erschienen in: Emergence, complexity and computation ; 1
Hedtstück, Ulrich [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Modern applications of automata theory

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New Jersey [u.a.]: World Scientific [u.a.], 2012

Erschienen in: Indian Institute of Science: IISc research monographs series ; 2,2012
Mainzer, Klaus [VerfasserIn]; Chua, Leon O. [VerfasserIn]; Chua, Leon [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg [u.a.]: Springer, c 2012

Erschienen in: SpringerBriefs in complexity
Klüppelholz, Sascha [VerfasserIn]

Verification of branching-time and alternating-time properties for exogenous coordination models

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2012
Hofmann, Martin [VerfasserIn]; Lange, Martin [VerfasserIn]

Automatentheorie und Logik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2011

Erschienen in: eXamen.press
Hopcroft, John E. [VerfasserIn]; Motwani, Rajeev [VerfasserIn]; Ullman, Jeffrey D. [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München; Boston; San Francisco; Harlow; Don Mills; Sydney; Mexico City; Madrid; Amsterdam: Pearson Studium, [2011]

Erschienen in: it - Informatik
Stüber, Torsten [VerfasserIn]

Multioperator Weighted Monadic Datalog

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Cellular automata and groups

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2010

Erschienen in: Springer monographs in mathematics
Adamatzky, Andrew [HerausgeberIn]

Game of Life cellular automata

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr