Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach MAT018000 ergibt 37 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:
Sprache:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Automatentheorie und Logik Automatentheorie und Logik [E-Book] Hofmann, Martin 2011 E-Book URL Exists Catalogue Record .
2 Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit [E-Book] Zimmermann, Karl-Heinz 2020 E-Book URL Exists Catalogue Record .
3 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 .
4 ¬Das¬ BUCH der Beweise ¬Das¬ BUCH der Beweise [E-Book] Aigner, Martin 2010 E-Book URL Exists Catalogue Record .
5 Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500256221500256221 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 „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 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 .
9 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 .
10 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 .
11 Gödel Forever: Through 90 Years of Foundational Claims Gödel Forever: Through 90 Years of Foundational Claims [E-Book]   2023 E-Book URL Exists Catalogue Record .
12 ¬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 [E-Book] Hoffmann, Dirk W. 2013 E-Book URL Exists Catalogue Record .
13 ¬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 [E-Book] Hoffmann, Dirk W. 2017 E-Book URL Exists Catalogue Record .
14 Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik [E-Book] Hoffmann, Dirk W. 2011 E-Book URL Exists Catalogue Record .
15 Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik [E-Book] Hoffmann, Dirk W. 2013 E-Book URL Exists Catalogue Record .
16 Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik [E-Book] Hoffmann, Dirk W. 2018 E-Book URL Exists Catalogue Record .
17 Innovations in Fuzzy Clustering: Theory and Applications Innovations in Fuzzy Clustering: Theory and Applications [E-Book]   2006 E-Book URL Exists Catalogue Record .
18 Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500257449500257449 E-Book URL Exists Catalogue Record .
19 Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500244467500244467 E-Book URL Exists Catalogue Record .
20 Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500245311500245311 E-Book URL Exists Catalogue Record .
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