1 |
![50 Schlüsselideen Mathematik 50 Schlüsselideen Mathematik](Cover.cls?type=cover&isbn=9783827421180&size=100) |
50 Schlüsselideen Mathematik [Buch]
|
Crilly, Tony
|
2009 |
|
Regalstandort: SN 100 C929.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
2 |
![Applied Fuzzy Arithmetic: An Introduction with Engineering Applications Applied Fuzzy Arithmetic: An Introduction with Engineering Applications](Cover.cls?type=cover&isbn=9783540273172&size=100) |
Applied Fuzzy Arithmetic: An Introduction with Engineering Applications [E-Book]
|
|
2005 |
|
.
|
3 |
![Aussagenlogik: Deduktion und Algorithmen Aussagenlogik: Deduktion und Algorithmen](Cover.cls?type=cover&isbn=9783519021339&size=100) |
Aussagenlogik: Deduktion und Algorithmen [Buch]
|
Kleine Büning, Hans
|
1994 |
|
Regalstandort: ST 120 K64.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
4 |
![Automatentheorie und Logik Automatentheorie und Logik](Cover.cls?type=cover&isbn=9783642180903&size=100) |
Automatentheorie und Logik [E-Book]
|
Hofmann, Martin
|
2011 |
|
.
|
5 |
![Axiomatic Fuzzy Set Theory and Its Applications Axiomatic Fuzzy Set Theory and Its Applications](Cover.cls?type=cover&isbn=9783642004025&size=100) |
Axiomatic Fuzzy Set Theory and Its Applications [E-Book]
|
|
2009 |
|
.
|
6 |
![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.
|
7 |
![Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker](Cover.cls?type=cover&isbn=9783662556528&size=100) |
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker [E-Book]
|
Ohlbach, Hans Jürgen
|
2017 |
|
.
|
8 |
![Einführung in die Fuzzy-Logik Einführung in die Fuzzy-Logik](Cover.cls?type=cover&isbn=9783519161622&size=100) |
Einführung in die Fuzzy-Logik [Buch]
|
Traeger, Dirk
|
1994 |
|
Regalstandort: SK 150 T764(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
9 |
![Formale Begriffsanalyse: mathematische Grundlagen Formale Begriffsanalyse: mathematische Grundlagen](Cover.cls?type=cover&isbn=9783540608684&size=100) |
Formale Begriffsanalyse: mathematische Grundlagen [Buch]
|
Ganter, Bernhard
|
1996 |
|
Regalstandort: SK 150 G211.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
|
10 |
![Foundations of logic and mathematics: applications to computer science and cryptography Foundations of logic and mathematics: applications to computer science and cryptography](Cover.cls?type=cover&isbn=9783764342494&size=100) |
Foundations of logic and mathematics: applications to computer science and cryptography [Buch]
|
Nievergelt, Yves
|
2002 |
|
Regalstandort: SK 130 N682.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
11 |
![Fuzzy Implications Fuzzy Implications](Cover.cls?type=cover&isbn=9783540690825&size=100) |
Fuzzy Implications [E-Book]
|
|
2008 |
|
.
|
12 |
![Fuzzy logic: Einführung in Theorie und Anwendungen Fuzzy logic: Einführung in Theorie und Anwendungen](Cover.cls?type=cover&isbn=9783540569671&size=100) |
Fuzzy logic: Einführung in Theorie und Anwendungen [Buch]
|
Bothe, Hans-Heinrich
|
1995 |
|
Regalstandort: SK 150 B749(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
13 |
![Fuzzy-Logik: Einführung in die algebraischen und logischen Grundlagen Fuzzy-Logik: Einführung in die algebraischen und logischen Grundlagen](Cover.cls?type=cover&isbn=9783540566588&size=100) |
Fuzzy-Logik: Einführung in die algebraischen und logischen Grundlagen [Buch]
|
Böhme, Gert
|
1993 |
|
Regalstandort: SK 150 B671.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
|
14 |
![¬Die¬ Gödel’schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis ¬Die¬ Gödel’schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis](Cover.cls?type=cover&isbn=9783827430007&size=100) |
¬Die¬ Gödel’schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis [E-Book]
|
Hoffmann, Dirk W.
|
2013 |
|
.
|
15 |
![¬Die¬ Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis ¬Die¬ Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis](Cover.cls?type=cover&isbn=9783662543009&size=100) |
¬Die¬ Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis [E-Book]
|
Hoffmann, Dirk W.
|
2017 |
|
.
|
16 |
![Grundkonzepte der Mathematik: Mengentheoretische, algebraische, topologische Grundlagen sowie reelle und komplexe Zahlen Grundkonzepte der Mathematik: Mengentheoretische, algebraische, topologische Grundlagen sowie reelle und komplexe Zahlen](Cover.cls?type=cover&isbn=9783662542163&size=100) |
Grundkonzepte der Mathematik: Mengentheoretische, algebraische, topologische Grundlagen sowie reelle und komplexe Zahlen [E-Book]
|
Storch, Uwe
|
2017 |
|
.
|
17 |
![Grundkurs theoretische Informatik Grundkurs theoretische Informatik](Cover.cls?type=cover&isbn=9783815420362&size=100) |
Grundkurs theoretische Informatik [Buch]
|
Posthoff, Christian
|
1992 |
|
Regalstandort: ST 130 P857.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
|
18 |
![¬The¬ Haskell road to logic, maths and programming ¬The¬ Haskell road to logic, maths and programming](Cover.cls?type=cover&isbn=9780954300692&size=100) |
¬The¬ Haskell road to logic, maths and programming [Buch]
|
Doets, Kees
|
2004 |
500144404
|
Regalstandort: SK 130 D653.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
19 |
![Logic and Integer Programming Logic and Integer Programming](Cover.cls?type=cover&isbn=9780387922805&size=100) |
Logic and Integer Programming [E-Book]
|
Williams, H. Paul
|
2009 |
|
.
|
20 |
![Mathematics and technology Mathematics and technology](Cover.cls?type=cover&isbn=9780387692159&size=100) |
Mathematics and technology [Buch]
|
Rousseau, Christiane
|
2008 |
|
Regalstandort: SK 950 R865.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|