1 |
![Advanced Techniques in Logic Synthesis, Optimizations and Applications Advanced Techniques in Logic Synthesis, Optimizations and Applications](Cover.cls?type=cover&isbn=9781441975188&size=100) |
Advanced Techniques in Logic Synthesis, Optimizations and Applications [E-Book]
|
Gulati, Kanupriya
|
2011 |
|
.
|
2 |
![Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs](Cover.cls?type=cover&isbn=9783319516530&size=100) |
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs [E-Book]
|
Ayala-Rincón, Mauricio
|
2017 |
|
.
|
3 |
![Aufgaben zur Schaltungsalgebra: 30 Aufgaben mit ausführlichen Lösungen; mit 20 Tabellen Aufgaben zur Schaltungsalgebra: 30 Aufgaben mit ausführlichen Lösungen; mit 20 Tabellen](Cover.cls?type=cover&isbn=9783486384017&size=100) |
Aufgaben zur Schaltungsalgebra: 30 Aufgaben mit ausführlichen Lösungen; mit 20 Tabellen [Buch]
|
Weyh, Ulrich
|
1970 |
|
Regalstandort: 2535/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
4 |
![Contemporary logic design Contemporary logic design](Cover.cls?type=cover&isbn=9780131278301&size=100) |
Contemporary logic design [Buch]
|
Katz, Randy H.
|
2005 |
|
Regalstandort: ST 125 K19(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 10.
|
5 |
![Deduktion: Automatisierung der Logik Deduktion: Automatisierung der Logik](Cover.cls?type=cover&isbn=9783486207859&size=100) |
Deduktion: Automatisierung der Logik [Buch]
|
Bibel, Wolfgang
|
1992 |
500020331
|
Regalstandort: ST 120 B581.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
6 |
![¬The¬ description logic handbook: theory, implementation, and applications ¬The¬ description logic handbook: theory, implementation, and applications](Cover.cls?type=cover&isbn=9780521150118&size=100) |
¬The¬ description logic handbook: theory, implementation, and applications [Buch]
|
|
2010 |
|
Regalstandort: ST 304 B111(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
7 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Digitale Elektronik in der Meßtechnik und Datenverarbeitung [Mehrbändige Werke]
|
Dokter, Folkert
|
1969 |
500005066
|
.
|
8 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Einführung in die Schaltalgebra [Buch]
|
Bär, Dieter
|
1968 |
500045115
|
Regalstandort: 1728/3.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
9 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Einführung in die Schaltalgebra [Buch]
|
Bär, Dieter
|
1971 |
500053577
|
Regalstandort: 1728/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
10 |
![Fuzzy-Logik und Fuzzy-Control Fuzzy-Logik und Fuzzy-Control](Cover.cls?type=cover&isbn=9783802315350&size=100) |
Fuzzy-Logik und Fuzzy-Control [Buch]
|
Jaanineh, Georg
|
1996 |
|
Regalstandort: 57 549/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
11 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Heuristische Prinzipien und logische Kalküle [Buch]
|
Serebrjannikov, Oleg F.
|
1974 |
|
Regalstandort: 5770/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
12 |
![Logic and complexity Logic and complexity](Cover.cls?type=cover&isbn=9781852335656&size=100) |
Logic and complexity [Buch]
|
Lassaigne, Richard
|
2004 |
|
Regalstandort: ST 125 L346.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
13 |
![Logik für Informatiker Logik für Informatiker](Cover.cls?type=cover&isbn=9783827410054&size=100) |
Logik für Informatiker [Buch]
|
Schöning, Uwe
|
2000 |
|
Regalstandort: ST 120 S365(5).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 10.
|
14 |
![Logik für Informatiker Logik für Informatiker](Cover.cls?type=cover&isbn=9783519005186&size=100) |
Logik für Informatiker [Buch]
|
Dassow, Jürgen
|
2005 |
|
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
|
15 |
![Logik für Informatiker Logik für Informatiker](Cover.cls?type=cover&isbn=9783827372154&size=100) |
Logik für Informatiker [Buch]
|
Kreuzer, Martin
|
2006 |
|
Regalstandort: ST 120 K92.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 7.
|
16 |
![Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt?](Cover.cls?type=cover&isbn=9783834822956&size=100) |
Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? [E-Book]
|
Schenke, Michael
|
2013 |
|
.
|
17 |
![Logische und funktionale Programmierung: Grundlagen einer Kombination Logische und funktionale Programmierung: Grundlagen einer Kombination](Cover.cls?type=cover&isbn=9783528051273&size=100) |
Logische und funktionale Programmierung: Grundlagen einer Kombination [Hochschulschriften]
|
Furbach, Ulrich
|
1991 |
|
Regalstandort: ST 300 F983.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
18 |
![Mathematisch-logische Grundlagen der Informatik Mathematisch-logische Grundlagen der Informatik](Cover.cls?type=cover&isbn=9783937137131&size=100) |
Mathematisch-logische Grundlagen der Informatik [Buch]
|
Klüver, Jürgen
|
2006 |
|
Regalstandort: ST 125 K66.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
19 |
![¬Der¬ Rechner als System: Organisation, Daten, Programme ¬Der¬ Rechner als System: Organisation, Daten, Programme](Cover.cls?type=cover&isbn=9783519029366&size=100) |
¬Der¬ Rechner als System: Organisation, Daten, Programme [Buch]
|
Richter, Reinhard
|
1997 |
500037832
|
Regalstandort: ST 230 R536-3.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 3.
|
20 |
![Theoretische Informatik: eine umfassende Einführung Theoretische Informatik: eine umfassende Einführung](Cover.cls?type=cover&isbn=9783540661924&size=100) |
Theoretische Informatik: eine umfassende Einführung [Buch]
|
Erk, Katrin
|
2000 |
|
Regalstandort: ST 110 E68.
Lit.abteilungen: Freihand.
.
Anzahl Exemplare: 1.
|