Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
76  Ergebnisse:
?
1

Formal methods in computer science 

Textbooks in mathematics
Wang, Jiacun ; Tepfenhart, William M. , [2020]
Exemplar:  Zentrale:E02 a inf 420 e/426
 
?
2

Automata and computability 

a programmer's perspective 
Gopalakrishnan, Ganesh Lalitha , [2019]
Link: https://doi.org/10.1201/..
 
?
3

Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexi.. 

, In: Informatik / Heinz-Peter Gumm, Manfred Sommer
Band 3,
De Gruyter Oldenbourg Studium
Gumm, Heinz-Peter ; Sommer, Manfred , [2019]
Exemplare:  Zentrale:E02 a inf 420 e/326; TB BHV: com 2/51-3
 
?
4

An Introduction to the Technique of Formative Processes in ..:

Cantone, Domenico ; Ursino, Pietro , 2018
Link: https://ebookcentral.pro..
 
?
5

An introduction to formal languages and automata:

Linz, Peter - Sixth edition . , [2017]
Link: http://ebookcentral.proq..
 
?
6

Theory of reversible computing 

Monographs in theoretical computer science. An EATCS series;Monographs in Theoretical Computer Science. an EATCS Ser.
Morita, Kenichi , 2017
Link: http://ebookcentral.proq..
 
?
7

Ereignisdiskrete Systeme 

Modellierung und Analyse dynamischer Systeme mit Automaten,...  De Gruyter Oldenbourg Studium
Lunze, Jan - 3., überarbeitete Auflage . , [2017]
Exemplare: Zentrale; TB BHV;
 
?
8

Grundkurs Theoretische Informatik 

Eine anwendungsbezogene Einführung - Für Studierende in a...  SpringerLink, Bücher
Vossen, Gottfried ; Witt, Kurt-Ulrich - 6. Aufl. 2016 . , 2016
Link: https://doi.org/10.1007/..

Exemplare:  Zentrale:E02 a inf 420 e/095(6); :TB Technik n 435/9(6)
 
?
9

Grundkurs Theoretische Informatik 

eine anwendungsbezogene Einführung - für Studierende in a...  Lehrbuch
Vossen, Gottfried ; Witt, Kurt-Ulrich - 6., erweiterte und überarbeitete Auflage . , [2016]
Exemplare:  Zentrale:E02 a inf 420 e/095(6); :TB Technik n 435/9(6)
 
?
10

Computation and its limits:

Cockshott, William Paul - 1. publ. in paperb. . , 2015
Exemplar:  Zentrale:E02 a inf 420 e/554
 
?
11

Grundkurs theoretische Informatik 

mit Aufgaben und Anwendungen 
Hollas, Boris - 2., vollständig überarbeitete Auflage . , [2015]
Exemplare: Zentrale; TB BHV; TB Technik;
 
?
12

Applications to recognizability and decidability 

, In: Formal languages, automata and numeration systems / Michel Rigo ;,
Networks and Telecommunications Series
Rigo, Michel , 2014
Exemplar:  Zentrale:E02 a inf 420 e/671-2
 
?
13

Introduction to automata theory, languages, and computation 

Always learning / Pearson
Hopcroft, John E. ; Motwani, Rajeev ; Ullman, Jeffrey D. - 3rd edition, Pearson new international edition . , [2014]
Exemplare: Zentrale;
 
?
14

Introduction to combinatorics on words 

, In: Formal languages, automata and numeration systems / Michel Rigo
1,
Networks and Telecommunications Series
Rigo, Michel , 2014
Exemplar:  Zentrale:E02 a inf 420 e/671-1
 
?
15

Introduction to the theory of computation:

Sipser, Michael - Third edition, international edition . , [2013]
Exemplare:  Zentrale:E02 a inf 430 ef/192(3); Zentrale:E02 a inf 430 ef/192(3)a
 
1-15