?
1
Advanced boolean techniques
selected papers from the 13th international workshop on boo...
Exemplar:
Zentrale:Magazin 03.d.2916
?
2
Formal methods in computer science
Textbooks in mathematics
Exemplar:
Zentrale:E02 a inf 420 e/426
?
4
Logikkalküle in der Informatik
Wie wird Logik vom Rechner genutzt?
Studienbücher Informatik;Lehrbuch
Exemplar:
Zentrale:E02 a inf 410 ef/378
?
5
Boolean function complexity
advances and frontiers
Algorithms and combinatorics ; 27
Exemplar:
Zentrale:E02 a inf 430 ef/414
?
6
Grundlagen der Digitaltechnik
elementare Komponenten, Funktionen und Steuerungen
Exemplare:
Zentrale: a elt 942 ef/399; :TB Technik n 500/637
?
8
From Boolean Logic to switching circuits and automata
towards modern information technology
Studies in computational intelligence ; 335
Exemplar:
Zentrale:E02 a inf 410 t/944
?
9
An introduction to practical formal methods using temporal ..:
Exemplar:
Zentrale:E02 a inf 410 ef/251
?
10
Logic in computer science
modelling and reasoning about systems
Exemplar:
Zentrale:E02 a inf 410 ef/322(2)a
?
11
Reversible computing
fundamentals, quantum computing, and applications
Exemplar:
Zentrale:E02 a inf 440 e/413
?
12
Handbook of modal logic
Studies in logic and practical reasoning ; v. 3
Exemplar:
Zentrale:E02 a inf 410 m/546
?
13
Thinking recursively with Java
[celebrating 20 years of 'Thinking recursively']
Exemplar:
Zentrale:E02 a inf 410 e/761