Ergebnisse filtern
Fachgebiet
Medium
  • 1440
  • 94
  • 7
  • 1
Erscheinungsjahr
  • 6
  • 13
  • 15
  • 20
  • 31
  • 28
  • 37
  • 54
  • 37
  • 32
  • 24
  • 29
  • 55
  • 126
  • 19
  • 174
  • 18
  • 47
  • 28
  • 30
  • 33
  • 28
  • 29
  • 48
  • 55
  • 50
  • 49
  • 44
  • 37
  • 41
  • 32
  • 30
  • 40
  • 26
  • 17
  • 15
  • 13
  • 5
  • 13
  • 8
  • 3
  • 7
  • 11
  • 2
  • 8
  • 4
  • 3
  • 1
  • 5
  • 2
  • 3
  • 5
  • 6
  • 2
  • 4
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
Autoren
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 7
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 6
  • 9
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 1
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 20
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 6
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 5
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 14
Verlag
  • 14
  • 1
  • 6
  • 2
  • 6
  • 33
  • 1
  • 1
  • 98
  • 1
  • 8
  • 8
  • 12
  • 66
  • 1
  • 1
  • 3
  • 14
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 6
  • 1
  • 2
  • 7
  • 1
  • 1
  • 14
  • 1
  • 5
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 2
  • 1
  • 15
  • 10
  • 8
  • 1
  • 1
  • 1
  • 1
  • 14
  • 2
  • 2
  • 6
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 286
  • 179
  • 2
  • 40
  • 4
  • 1
  • 8
  • 5
  • 326
  • 21
  • 132
  • 6
  • 6
  • 2
  • 1
  • 1
  • 24
  • 15
  • 9
  • 14
  • 1
  • 3
  • 1
  • 3
  • 1
  • 14
  • 1
  • 1
  • 10
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
Preis
  • 77
  • 168
  • 449
  • 848
Sprachen
  • 1348
  • 183
  • 21
Verfügbarkeit
  • 1517
  • 25
Katalog
  • 1542
  • 125
1.542  Titel
    Rechtsteiner / Rathgeb-Schnierer | Rechnen lernen und Flexibilität entwickeln | Buch | Sack Fachmedien

    Rechtsteiner / Rathgeb-Schnierer Rechnen lernen und Flexibilität entwickeln

    Grundlagen ¿ Förderung ¿ Beispiele
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-57476-8
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benninghofen / Kemmerich / Richter | Systems of Reductions | Buch | Sack Fachmedien

    Benninghofen / Kemmerich / Richter Systems of Reductions

    1987
    Verlag: Springer
    ISBN: 978-3-540-18598-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kahle / Stärk / Schroeder-Heister | Proof Theory in Computer Science | Buch | Sack Fachmedien

    Kahle / Stärk / Schroeder-Heister Proof Theory in Computer Science

    International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42752-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Royer | A Connotational Theory of Program Structure | Buch | Sack Fachmedien

    Royer A Connotational Theory of Program Structure

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18253-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knabner / Schulz / Reuter | Mit Mathe richtig anfangen | Buch | Sack Fachmedien

    Knabner / Schulz / Reuter Mit Mathe richtig anfangen

    Eine Einführung mit integrierter Anwendung der Programmiersprache Python
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-59229-8
    Medium: Buch
    34,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Troelstra | Principles of Intuitionism | Buch | Sack Fachmedien

    Troelstra Principles of Intuitionism

    Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
    1969
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-04614-1
    Medium: Buch
    26,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schreiber | Grundzüge einer Flächen-Nomographie | Buch | Sack Fachmedien

    Schreiber Grundzüge einer Flächen-Nomographie

    gegründet auf graphische Darstellungen in Funktionspapieren mit gleichmäßiger und logarithmischer Teilung
    1921
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-663-03568-8
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scharlau | Schulwissen Mathematik: Ein Überblick | Buch | Sack Fachmedien

    Scharlau Schulwissen Mathematik: Ein Überblick

    Was ein Studienanfänger von der Mathematik wissen sollte
    3., durchgesehene Auflage 2001
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-26541-0
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bedürftig / Murawski | Philosophie der Mathematik | eBook | Sack Fachmedien
    E-Book

    Bedürftig / Murawski Philosophie der Mathematik

    4. ergän. und überarbeitete Aufl 2019
    Verlag: De Gruyter
    ISBN: 978-3-11-054698-9
    Medium: eBook
    Format: PDF
     Kopierschutz: Adobe DRM (»Systemvoraussetzungen)
    54,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mints | A Short Introduction to Intuitionistic Logic | Buch | Sack Fachmedien

    Mints A Short Introduction to Intuitionistic Logic

    2000
    Verlag: Springer US
    ISBN: 978-1-4757-7319-4
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | Power Series from a Computational Point of View | Buch | Sack Fachmedien

    Smith Power Series from a Computational Point of View

    Softcover Nachdruck of the original 1. Auflage 1987
    Verlag: Springer
    ISBN: 978-0-387-96516-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mac Lane | Categories for the Working Mathematician | Buch | Sack Fachmedien

    Mac Lane Categories for the Working Mathematician

    2. Auflage 1978
    Verlag: Springer
    ISBN: 978-0-387-98403-2
    Medium: Buch
    59,87 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poizat | A Course in Model Theory | Buch | Sack Fachmedien

    Poizat A Course in Model Theory

    An Introduction to Contemporary Mathematical Logic
    2000
    Verlag: Springer
    ISBN: 978-0-387-98655-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halmos | Naive Set Theory | Buch | Sack Fachmedien

    Halmos Naive Set Theory

    Softcover Nachdruck of the original 1. Auflage 1974
    Verlag: Springer
    ISBN: 978-0-387-90104-6
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halmos | Naive Set Theory | Buch | Sack Fachmedien

    Halmos Naive Set Theory

    1974
    Verlag: Springer
    ISBN: 978-0-387-90092-6
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marker | Model Theory : An Introduction | Buch | Sack Fachmedien

    Marker Model Theory : An Introduction

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-1-4419-3157-3
    Medium: Buch
    53,45 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lang | Linear Algebra | Buch | Sack Fachmedien

    Lang Linear Algebra

    3rd Auflage 1987. Corr. 11th printing. Softcover version of original hardcover Auflage 1987
    Verlag: Springer
    ISBN: 978-1-4419-3081-1
    Medium: Buch
    52,38 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Totik / Komjath | Problems and Theorems in Classical Set Theory | Buch | Sack Fachmedien

    Totik / Komjath Problems and Theorems in Classical Set Theory

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4419-2140-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franzen / Franzén | Inexhaustibility: A Non-Exhaustive Treatment | Buch | Sack Fachmedien

    Franzen / Franzén Inexhaustibility: A Non-Exhaustive Treatment

    Lecture Notes in Logic 16
    1. Auflage 2004
    Verlag: Taylor & Francis Inc
    ISBN: 978-1-56881-174-1
    Medium: Buch
    94,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baumgartner | Theory Reasoning in Connection Calculi | Buch | Sack Fachmedien

    Baumgartner Theory Reasoning in Connection Calculi

    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65509-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiebe / Storch | Grundkonzepte der Mathematik | Buch | Sack Fachmedien

    Wiebe / Storch Grundkonzepte der Mathematik

    Mengentheoretische, algebraische, topologische Grundlagen sowie reelle und komplexe Zahlen
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54215-6
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jech | Set Theory | Buch | Sack Fachmedien

    Jech Set Theory

    The Third Millennium Edition, revised and expanded
    3rd rev. Auflage Corr. 4th printing. Softcover version of original hardcover Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-07899-6
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damrath / Pahl | Mathematische Grundlagen der Ingenieurinformatik | Buch | Sack Fachmedien

    Damrath / Pahl Mathematische Grundlagen der Ingenieurinformatik

    Softcover Nachdruck of the original 1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-642-62939-6
    Medium: Buch
    109,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranakis / Clote | Boolean Functions and Computation Models | Buch | Sack Fachmedien

    Kranakis / Clote Boolean Functions and Computation Models

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-08217-7
    Medium: Buch
    80,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulson | Isabelle | Buch | Sack Fachmedien

    Paulson Isabelle

    A Generic Theorem Prover
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular