Zum Inhalt springen

Pfeffer, Annett [Verfasser:in] ; Technische Universität Dresden

Sicherheit modularer Prozessanlagen - [Als Manuskript gedruckt]

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

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. [Herausgeber:in]; Henzinger, Thomas [Herausgeber:in]; Veith, Helmut [Herausgeber:in]; Bloem, Roderick [Herausgeber:in]

Handbook of model checking

Online ansehen
Schließen

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 [Herausgeber:in]; Nardi, Francesca R. [Herausgeber:in] ; Workshop on Probabilistic cellular automata 2013 Eindhoven, Workshop on Probabilistic cellular automata 2013 Eindhoven

Probabilistic cellular automata : theory, applications and future perspectives

Online ansehen
Schließen

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 [Verfasser:in] ; Siegmund, Stefan [Akademische:r Betreuer:in]; 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

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

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 [Herausgeber:in]; Bung, Jochen [Herausgeber:in]; Ziemann, Sascha [Herausgeber:in]

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

Online ansehen
Schließen

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 [Verfasser:in]

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

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

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. [Verfasser:in]; Motwani, Rajeev [Verfasser:in]; Ullman, Jeffrey D. [Verfasser:in]

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 [Verfasser:in]

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 [Verfasser:in]; Hromkovič, Juraj [Verfasser:in]

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

Online ansehen
Schließen

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 [Verfasser:in]

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

Online ansehen
Schließen

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 [Verfasser:in]

Reaction-diffusion automata : phenomenology, localisations, computation

Online ansehen
Schließen

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 [Verfasser:in]

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

Online ansehen
Schließen

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 [Herausgeber:in]

Modern applications of automata theory

Online ansehen
Schließen

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 [Verfasser:in]; Chua, Leon O. [Verfasser:in]; Chua, Leon [Verfasser:in]

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

Online ansehen
Schließen

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 [Verfasser:in]

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

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

Schließen

Merkliste

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

2012
Hofmann, Martin [Verfasser:in]; Lange, Martin [Verfasser:in]

Automatentheorie und Logik

Online ansehen
Schließen

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. [Verfasser:in]; Motwani, Rajeev [Verfasser:in]; Ullman, Jeffrey D. [Verfasser:in]

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

Online ansehen
Schließen

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 [Verfasser:in]

Multioperator Weighted Monadic Datalog

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

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 [Verfasser:in]; Coornaert, Michel [Verfasser:in]

Cellular automata and groups

Online ansehen
Schließen

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 [Herausgeber:in]

Game of Life cellular automata

Online ansehen
Schließen

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