Ergebnisse filtern
Fachgebiet
Medium
  • 2063
  • 158
  • 18
Erscheinungsjahr
  • 1
  • 4
  • 69
  • 99
  • 85
  • 96
  • 107
  • 96
  • 73
  • 112
  • 59
  • 69
  • 48
  • 71
  • 84
  • 158
  • 69
  • 146
  • 33
  • 34
  • 17
  • 30
  • 33
  • 32
  • 24
  • 52
  • 60
  • 48
  • 40
  • 34
  • 34
  • 29
  • 30
  • 26
  • 25
  • 21
  • 11
  • 9
  • 15
  • 9
  • 7
  • 5
  • 11
  • 6
  • 7
  • 2
  • 6
  • 9
  • 2
  • 3
  • 5
  • 3
  • 5
  • 3
  • 8
  • 3
  • 4
  • 8
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 7
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 11
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 35
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 7
  • 8
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 14
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 7
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 9
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 6
  • 3
  • 8
  • 5
  • 2
  • 5
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 8
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 11
  • 4
  • 3
  • 7
  • 5
  • 3
  • 4
  • 6
  • 4
  • 8
  • 3
  • 4
  • 4
  • 4
  • 9
  • 8
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 5
  • 14
Verlag
  • 25
  • 2
  • 7
  • 1
  • 2
  • 2
  • 36
  • 2
  • 1
  • 11
  • 1
  • 1
  • 1
  • 3
  • 141
  • 26
  • 2
  • 35
  • 163
  • 2
  • 1
  • 1
  • 2
  • 6
  • 19
  • 2
  • 5
  • 5
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 56
  • 1
  • 1
  • 1
  • 4
  • 38
  • 2
  • 5
  • 2
  • 1
  • 5
  • 25
  • 2
  • 1
  • 4
  • 1
  • 26
  • 1
  • 1
  • 1
  • 1
  • 952
  • 31
  • 4
  • 177
  • 3
  • 2
  • 1
  • 17
  • 12
  • 144
  • 9
  • 66
  • 6
  • 2
  • 30
  • 9
  • 5
  • 2
  • 1
  • 2
  • 1
  • 4
  • 1
  • 15
  • 2
  • 1
  • 20
  • 1
  • 1
  • 2
  • 4
Preis
  • 63
  • 188
  • 720
  • 1268
Sprachen
  • 2047
  • 185
  • 17
  • 8
  • 2
  • 1
Verfügbarkeit
  • 2226
  • 13
Eigenschaften
  • 2
Katalog
  • 2239
  • 131
2.239  Titel
    Montano | Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics | Buch | Sack Fachmedien

    Montano Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer
    ISBN: 978-3-319-35381-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murawski | Recursive Functions and Metamathematics | Buch | Sack Fachmedien

    Murawski Recursive Functions and Metamathematics

    Problems of Completeness and Decidability, Gödel's Theorems
    1. Auflage. Softcover version of original hardcover Auflage 1999
    Verlag: Springer
    ISBN: 978-90-481-5298-8
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bossé / Barès | Relational Calculus for Actionable Knowledge | Buch | Sack Fachmedien

    Bossé / Barès Relational Calculus for Actionable Knowledge

    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-92432-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Keller | Mathematik interaktiv und verständlich | Buch | Sack Fachmedien

    Keller Mathematik interaktiv und verständlich

    für Naturwissenschaftler, Ingenieure und Mediziner
    1. Auflage 2025
    Verlag: Springer
    ISBN: 978-3-662-65547-4
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scarpellini | Proof Theory and Intuitionistic Systems | Buch | Sack Fachmedien

    Scarpellini Proof Theory and Intuitionistic Systems

    1. Auflage 1971
    Verlag: Springer
    ISBN: 978-3-540-05541-9
    Medium: Buch
    42,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Libkin | Elements of Finite Model Theory | Buch | Sack Fachmedien

    Libkin Elements of Finite Model Theory

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21202-7
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gabbay / Smets | Belief Change | Buch | Sack Fachmedien

    Gabbay / Smets Belief Change

    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-94-010-6123-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Routley / Hyde | Noneist Explorations II | Buch | Sack Fachmedien

    Routley / Hyde Noneist Explorations II

    The Sylvan Jungle - Volume 3
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58863-2
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cauman | First Order-Logic | Buch | Sack Fachmedien

    Cauman First Order-Logic

    An Introduction
    1. Auflage 1998
    Verlag: De Gruyter
    ISBN: 978-3-11-015766-6
    Medium: Buch
    79,95 € (inkl. MwSt.)
    RRP
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bolzano / Berg / Kambartel | Bernard Bolzano Gesamtausgabe / Reihe III: Briefwechsel. Band 2,5: Briefe an Michael Josef Fesl 1846–1848 | Buch | Sack Fachmedien

    Bolzano / Berg / Kambartel Bernard Bolzano Gesamtausgabe / Reihe III: Briefwechsel. Band 2,5: Briefe an Michael Josef Fesl 1846–1848

    1846-1848
    Verlag: frommann-holzboog
    ISBN: 978-3-7728-2946-8
    Medium: Buch
    278,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ju / Löwe / Müller | Cultures of Mathematics and Logic | Buch | Sack Fachmedien

    Ju / Löwe / Müller Cultures of Mathematics and Logic

    Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Birkhäuser
    ISBN: 978-3-319-81053-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poggiolesi | Gentzen Calculi for Modal Propositional Logic | Buch | Sack Fachmedien

    Poggiolesi Gentzen Calculi for Modal Propositional Logic

    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-90-481-9669-2
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Benthem / Gupta / Parikh | Proof, Computation and Agency | Buch | Sack Fachmedien

    van Benthem / Gupta / Parikh Proof, Computation and Agency

    Logic at the Crossroads
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-94-007-3581-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schulz | Word Equations and Related Topics | Buch | Sack Fachmedien

    Schulz Word Equations and Related Topics

    1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55124-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    George / Velleman | Zur Philosophie der Mathematik | Buch | Sack Fachmedien

    George / Velleman Zur Philosophie der Mathematik

    Logizismus, Intuitionismus, Finitismus, Gödel'sche Unvollständigkeitssätze
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-56236-9
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Risi | Leibniz and the Structure of Sciences | Buch | Sack Fachmedien

    De Risi Leibniz and the Structure of Sciences

    Modern Perspectives on the History of Logic, Mathematics, Epistemology
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-25574-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lavrov / Corsi / Maksimova | Problems in Set Theory, Mathematical Logic and the Theory of Algorithms | Buch | Sack Fachmedien

    Lavrov / Corsi / Maksimova Problems in Set Theory, Mathematical Logic and the Theory of Algorithms

    2003
    Verlag: Springer US
    ISBN: 978-0-306-47712-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sauer / Woodrow / Sands | Finite and Infinite Combinatorics in Sets and Logic | Buch | Sack Fachmedien

    Sauer / Woodrow / Sands Finite and Infinite Combinatorics in Sets and Logic

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Springer
    ISBN: 978-94-010-4923-8
    Medium: Buch
    320,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kumar Nashine / Ibragimov / Kalita | Nonlinear Analysis and Computational Techniques | Buch | Sack Fachmedien

    Kumar Nashine / Ibragimov / Kalita Nonlinear Analysis and Computational Techniques

    Proceedings of the ICNACT-2024 Conference Held During 8-10 August, 2024
    1. Auflage 2025
    Verlag: De Gruyter
    ISBN: 978-3-11-172455-3
    Medium: Buch
    148,95 € (inkl. MwSt.)
    List Price
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aguirre / Foster / Merali | Trick or Truth? | Buch | Sack Fachmedien

    Aguirre / Foster / Merali Trick or Truth?

    The Mysterious Connection Between Physics and Mathematics
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-80153-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stoltenberg-Hansen / Väänänen | Logic Colloquium '03 | Buch | Sack Fachmedien

    Stoltenberg-Hansen / Väänänen Logic Colloquium '03

    Lecture Notes in Logic 24
    1. Auflage 2006
    Verlag: Taylor & Francis Inc
    ISBN: 978-1-56881-294-6
    Medium: Buch
    42,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu | Mathematical Foundations of Fuzzy Sets | Buch | Sack Fachmedien

    Wu Mathematical Foundations of Fuzzy Sets

    1. Auflage 2023
    Verlag: Wiley
    ISBN: 978-1-119-98152-7
    Medium: Buch
    123,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schreiner | Concrete Abstractions | Buch | Sack Fachmedien

    Schreiner Concrete Abstractions

    Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
    2023
    Verlag: Springer
    ISBN: 978-3-031-24933-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schreiner | Thinking Programs | Buch | Sack Fachmedien

    Schreiner Thinking Programs

    Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-80509-8
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goranko | Logic as a Tool | Buch | Sack Fachmedien

    Goranko Logic as a Tool

    A Concise Guide to Logical Reasoning
    1. Auflage 2016
    Verlag: Wiley
    ISBN: 978-1-118-88000-5
    Medium: Buch
    57,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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