Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach 511.3 ergibt 55 Einträge

Suchergebnisseite: .   1 NNN 2 . NNN 3 .   . zum Satzanfang Nächste .   . Seite: 1 von 3
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 Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit [E-Book] Zimmermann, Karl-Heinz 2020 E-Book URL Exists Catalogue Record .
2 Beweisen lernen Schritt für Schritt: für einen gelungenen Einstieg ins Mathestudium Beweisen lernen Schritt für Schritt: für einen gelungenen Einstieg ins Mathestudium [E-Book] Junk, Michael 2020 E-Book URL Exists Catalogue Record .
3 ¬Das¬ BUCH der Beweise ¬Das¬ BUCH der Beweise [E-Book] Aigner, Martin 2010 E-Book URL Exists Catalogue Record .
4 Combining Experimentation and Theory: A Hommage to Abe Mamdani Combining Experimentation and Theory: A Hommage to Abe Mamdani [E-Book] Trillas, Enric 2012 E-Book URL Exists Catalogue Record .
5 Complexity Explained Complexity Explained [E-Book]   2008 E-Book URL Exists Catalogue Record .
6 Computing with cells: advances in membrane computing Computing with cells: advances in membrane computing [E-Book] Frisco, Pierluigi 2009 E-Book URL Exists Catalogue Record .
7 „Das ist o. B. d. A. trivial!“ Tipps und Tricks zur Formulierung mathematischer Gedanken „Das ist o. B. d. A. trivial!“ Tipps und Tricks zur Formulierung mathematischer Gedanken [E-Book] Beutelspacher, Albrecht 2009 E-Book URL Exists Catalogue Record .
8 ¬Die¬ Definition ¬Die¬ Definition [Buch] Dubislav, Walter 1981 Buch Bestellung/en vorhanden für Katalogsatz 500446269 .
9 ¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis ¬The¬ efficiency of theorem proving strategies: a comparative and asymptotic analysis [Buch] Plaisted, David A. 1997 Buch URL Exists Catalogue Record Regalstandort: ST 300 P698.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
10 Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie [Buch] Hopcroft, John E. 2006 Buch URL Exists Catalogue Record Regalstandort: ST 130 H791(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
11 Einführung in die formale Logik für Philosophen Einführung in die formale Logik für Philosophen [E-Book] Zoglauer, Thomas 2016 E-Book URL Exists Catalogue Record .
12 Einführung in die formale Logik für Philosophen Einführung in die formale Logik für Philosophen [E-Book] Zoglauer, Thomas 2021 E-Book URL Exists Catalogue Record .
13 Einführung in die mathematische Logik Einführung in die mathematische Logik [Buch] Ebbinghaus, Heinz-Dieter 1992 Buch URL Exists Catalogue Record Regalstandort: SK 130 E15(3).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
14 Einführung in die Mathematische Logik: Ein Lehrbuch Einführung in die Mathematische Logik: Ein Lehrbuch [E-Book] Rautenberg, Wolfgang 2008 E-Book URL Exists Catalogue Record .
15 Forging New Frontiers: Fuzzy Pioneers I Forging New Frontiers: Fuzzy Pioneers I [E-Book]   2007 E-Book URL Exists Catalogue Record .
16 Forging New Frontiers: Fuzzy Pioneers II Forging New Frontiers: Fuzzy Pioneers II [E-Book]   2008 E-Book URL Exists Catalogue Record .
17 Foundations of logic and mathematics: applications to computer science and cryptography Foundations of logic and mathematics: applications to computer science and cryptography [Buch] Nievergelt, Yves 2002 Buch URL Exists Catalogue Record Regalstandort: SK 130 N682.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 2.
18 Fragments of first-order logic Fragments of first-order logic [E-Book] Pratt-Hartmann, Ian 2023 E-Book URL Exists Catalogue Record .
19 Glück, Logik und Bluff: Mathematik im Spiel: Methoden, Ergebnisse und Grenzen Glück, Logik und Bluff: Mathematik im Spiel: Methoden, Ergebnisse und Grenzen [E-Book]   2007 E-Book URL Exists Catalogue Record .
20 Glück, Logik und Bluff: Mathematik im Spiel – Methoden, Ergebnisse und Grenzen Glück, Logik und Bluff: Mathematik im Spiel – Methoden, Ergebnisse und Grenzen [E-Book] Bewersdorff, Jörg 2010 E-Book URL Exists Catalogue Record .

Ihre Suche nach 511.3 ergibt 55 Einträge

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

Schnellsuche