I agree that this site is using cookies. You can find further informations here.
X
77  results:
Print X
?
1

Advanced boolean techniques 

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

Formal methods in computer science 

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

Logik, Informationstheorie 

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

Logikkalküle in der Informatik 

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

Boolean function complexity 

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

Grundlagen der Digitaltechnik 

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

Logic in computer science 

modelling and reasoning about systems 
Huth, Michael - 2. ed. . , 2011
Copies:  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
Copies:  Zentrale:E02 a inf 410 t/944
 
?
9

Language, proof, and logic:

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

An introduction to practical formal methods using temporal ..:

Fisher, Michael , 2011
Copies:  Zentrale:E02 a inf 410 ef/251
 
?
11

Reversible computing 

fundamentals, quantum computing, and applications 
DeVos, Alexis , 2010
Copies:  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
Copies:  Zentrale:E02 a inf 410 m/546
 
?
13

An inductive logic programming approach to statistical rela.. 

Frontiers in artificial intelligence and applications ; 148, Dissertations in artificial intelligence
Kersting, Kristian , 2006
Copies:  Zentrale:E02 a inf 740 e/654
 
?
14

Logik für Informatiker 

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

Thinking recursively with Java 

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