Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach 03B70 ergibt 24 Einträge

Suchergebnisseite: .   1 NNN 2 .   . zum Satzanfang Nächste .   . Seite: 1 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Advance Trends in Soft Computing: Proceedings of WCSC 2013, December 16-18, San Antonio, Texas, USA Advance Trends in Soft Computing: Proceedings of WCSC 2013, December 16-18, San Antonio, Texas, USA [E-Book] Jamshidi, Mo 2014 E-Book URL Exists Catalogue Record .
2 Advances in Type-2 Fuzzy Sets and Systems: Theory and Applications Advances in Type-2 Fuzzy Sets and Systems: Theory and Applications [E-Book] Sadeghian, Alireza 2013 E-Book URL Exists Catalogue Record .
3 Aggregation Functions in Theory and in Practise: Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013 Aggregation Functions in Theory and in Practise: Proceedings of the 7th International Summer School on Aggregation Operators at the Public University of Navarra, Pamplona, Spain, July 16-20, 2013 [E-Book] Bustince, Humberto 2013 E-Book URL Exists Catalogue Record .
4 Automatentheorie und Logik Automatentheorie und Logik [E-Book] Hofmann, Martin 2011 E-Book URL Exists Catalogue Record .
5 Computing with Words: Principal Concepts and Ideas Computing with Words: Principal Concepts and Ideas [E-Book] Zadeh, Lotfi A. 2012 E-Book URL Exists Catalogue Record .
6 Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications [E-Book] O'Regan, Gerard 2017 E-Book URL Exists Catalogue Record .
7 Domain-Level Reasoning for Spoken Dialogue Systems Domain-Level Reasoning for Spoken Dialogue Systems [E-Book] Bühler, Dirk 2011 E-Book URL Exists Catalogue Record .
8 Fifty Years of Fuzzy Logic and its Applications Fifty Years of Fuzzy Logic and its Applications [E-Book]   2015 E-Book URL Exists Catalogue Record .
9 Fuzzy Knowledge Management for the Semantic Web Fuzzy Knowledge Management for the Semantic Web [E-Book] Ma, Zongmin 2014 E-Book URL Exists Catalogue Record .
10 Gödel's disjunction: the scope and limits of mathematical knowledge Gödel's disjunction: the scope and limits of mathematical knowledge [E-Book] Horsten, Leon 2016 E-Book URL Exists Catalogue Record .
11 Intuitionistic Fuzzy Logics Intuitionistic Fuzzy Logics [E-Book] T. Atanassov, Krassimir 2017 E-Book URL Exists Catalogue Record .
12 Logic and complexity Logic and complexity [Buch] Lassaigne, Richard 2004 Buch URL Exists Catalogue Record Regalstandort: ST 125 L346.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
13 Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500255505500255505 E-Book URL Exists Catalogue Record .
14 Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? Logikkalküle in der Informatik: Wie wird Logik vom Rechner genutzt? [E-Book] Schenke, Michael 2013 E-Book URL Exists Catalogue Record .
15 Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion [E-Book] Witt, Kurt-Ulrich 2013 E-Book URL Exists Catalogue Record .
16 Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion ; [Lehrbuch] Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion ; [Lehrbuch] [Buch] Witt, Kurt-Ulrich 2013 Buch URL Exists Catalogue Record Regalstandort: ST 120 W827.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
17 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500256164500256164 E-Book URL Exists Catalogue Record .
18 Nonmonotonic logic: context-dependent reasoning Nonmonotonic logic: context-dependent reasoning [Buch] Marek, Victor W. 1993 Buch URL Exists Catalogue Record Regalstandort: ST 300 M323.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
19 Programmverifikation: sequentielle, parallele und verteilte Programme Programmverifikation: sequentielle, parallele und verteilte Programme [Buch] Apt, Krzysztof R. 1994 Buch URL Exists Catalogue Record Regalstandort: ST 233 A655.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
20 Proofs and algorithms: an introduction to logic and computability Proofs and algorithms: an introduction to logic and computability [Buch] Dowek, Gilles 2011 Buch URL Exists Catalogue Record Regalstandort: ST 134 D746.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.

Ihre Suche nach 03B70 ergibt 24 Einträge

Suchergebnisseite: .   1 NNN 2 .   . Bottom Nächste .   . Seite: 1 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche