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

Formal methods in computer science 

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

Advanced boolean techniques 

selected papers from the 13th international workshop on boo... 
Drechsler, Rolf ; Soeken, Mathias , [2020]
Exemplar:  Zentrale:Magazin 03.d.2916
 
?
3

Logik, Informationstheorie 

, In: Medientechnisches Wissen
Band 1,
De Gruyter Studium
Höltgen, Stefan ; Völz, Horst , [2018]
Exemplare: Zentrale; TB BHV; TB Nautik;
 
?
4

Logikkalküle in der Informatik 

Wie wird Logik vom Rechner genutzt?  Studienbücher Informatik;Lehrbuch
Schenke, Michael , 2013
Exemplar:  Zentrale:E02 a inf 410 ef/378
 
?
5

Grundlagen der Digitaltechnik 

elementare Komponenten, Funktionen und Steuerungen 
Wöstenkühler, Gerd , 2012
Exemplare:  Zentrale: a elt 942 ef/399; :TB Technik n 500/637
 
?
6

Boolean function complexity 

advances and frontiers  Algorithms and combinatorics ; 27
Jukna, Stasys - 1. ed. . , c 2012
Exemplar:  Zentrale:E02 a inf 430 ef/414
 
?
7

Logic in computer science 

modelling and reasoning about systems 
Huth, Michael - 2. ed. . , 2011
Exemplar:  Zentrale:E02 a inf 410 ef/322(2)a
 
?
8

From Boolean Logic to switching circuits and automata 

towards modern information technology  Studies in computational intelligence ; 335
Stanković, Radomir S. - 1. Aufl. . , 2011
Exemplar:  Zentrale:E02 a inf 410 t/944
 
?
9

An introduction to practical formal methods using temporal ..:

Fisher, Michael , 2011
Exemplar:  Zentrale:E02 a inf 410 ef/251
 
?
10

Language, proof, and logic:

Barker-Plummer, Dave ; Liu, Albert ; Murray, Michael ; Pease, Emma.. - 2nd ed. . , 2011
Exemplar:  Zentrale: hs 5719
 
?
11

Reversible computing 

fundamentals, quantum computing, and applications 
DeVos, Alexis , 2010
Exemplar:  Zentrale:E02 a inf 440 e/413
 
?
12

Handbook of modal logic 

Studies in logic and practical reasoning ; v. 3
Wolter, Frank ; Blackburn, Patrick ; Benthem, Johan van - 1. ed., reprinted . , c 2007
Exemplar:  Zentrale:E02 a inf 410 m/546
 
?
13

Logischer Entwurf digitaler Systeme:

Liebig, Hans - 4., bearb. und erw. Aufl. . , 2006
Exemplare: Zentrale; TB Technik;
 
?
14

Logik für Informatiker 

Informatik, Logik
Kreuzer, Martin , 2006
Exemplare: Zentrale; TB BHV; TB Technik;
 
?
15

Thinking recursively with Java 

[celebrating 20 years of 'Thinking recursively'] 
Roberts, Eric , [2006]
Exemplar:  Zentrale:E02 a inf 410 e/761
 
1-15