Ergebnisse filtern
Fachgebiet
Medium
  • 1850
  • 97
  • 17
Erscheinungsjahr
  • 1
  • 74
  • 87
  • 88
  • 105
  • 72
  • 68
  • 107
  • 59
  • 65
  • 38
  • 67
  • 84
  • 155
  • 56
  • 135
  • 24
  • 35
  • 14
  • 23
  • 23
  • 26
  • 22
  • 48
  • 53
  • 43
  • 37
  • 27
  • 33
  • 24
  • 25
  • 21
  • 19
  • 20
  • 10
  • 11
  • 14
  • 5
  • 8
  • 5
  • 11
  • 6
  • 7
  • 2
  • 6
  • 8
  • 2
  • 3
  • 5
  • 3
  • 5
  • 3
  • 9
  • 3
  • 4
  • 8
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 4
  • 2
  • 1
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 2
  • 2
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 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
  • 4
  • 3
  • 2
  • 3
  • 4
  • 8
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 4
  • 21
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 12
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 11
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 6
  • 6
  • 3
  • 7
  • 5
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 7
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 14
  • 2
  • 2
Verlag
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 2
  • 18
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 108
  • 4
  • 1
  • 1
  • 25
  • 143
  • 2
  • 1
  • 2
  • 3
  • 3
  • 9
  • 2
  • 5
  • 5
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 13
  • 5
  • 7
  • 5
  • 2
  • 12
  • 1
  • 1
  • 2
  • 28
  • 1
  • 1
  • 5
  • 5
  • 1
  • 1
  • 1
  • 1
  • 245
  • 208
  • 4
  • 394
  • 7
  • 2
  • 103
  • 25
  • 243
  • 1
  • 104
  • 8
  • 11
  • 13
  • 10
  • 20
  • 21
  • 8
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 15
  • 2
  • 15
  • 2
Preis
  • 57
  • 185
  • 636
  • 1086
Sprachen
  • 1788
  • 168
  • 27
Verfügbarkeit
  • 1937
  • 27
Eigenschaften
  • 3
Katalog
  • 1964
  • 129
1.964  Titel
    Calude / Sburlan / Dinneen | Combinatorics, Computability and Logic | Buch | Sack Fachmedien

    Calude / Sburlan / Dinneen Combinatorics, Computability and Logic

    Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS¿01)
    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-85233-526-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rathjen / Kahle | The Legacy of Kurt Schütte | Buch | Sack Fachmedien

    Rathjen / Kahle The Legacy of Kurt Schütte

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-49426-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wehrheim / Ahrendt | Tests and Proofs | Buch | Sack Fachmedien

    Wehrheim / Ahrendt Tests and Proofs

    14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22¿23, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-50994-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Centrone / Schuster / Negri | Mathesis Universalis, Computability and Proof | Buch | Sack Fachmedien

    Centrone / Schuster / Negri Mathesis Universalis, Computability and Proof

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-20446-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng | The Joy of Abstraction | Buch | Sack Fachmedien

    Cheng The Joy of Abstraction

    An Exploration of Math, Category Theory, and Life
    Erscheinungsjahr 2024
    Verlag: Cambridge University Pr.
    ISBN: 978-1-108-70844-9
    Medium: Buch
    19,50 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Honerkamp | Denken in Strukturen und seine Geschichte | Buch | Sack Fachmedien

    Honerkamp Denken in Strukturen und seine Geschichte

    Von der Kraft des mathematischen Beweises
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-56376-2
    Medium: Buch
    37,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Iacona | LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science | Buch | Sack Fachmedien

    Iacona LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64810-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    von Plato | Can Mathematics Be Proved Consistent? | Buch | Sack Fachmedien

    von Plato Can Mathematics Be Proved Consistent?

    Gödel's Shorthand Notes & Lectures on Incompleteness
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-50878-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Policriti / Omodeo | Martin Davis on Computability, Computational Logic, and Mathematical Foundations | Buch | Sack Fachmedien

    Policriti / Omodeo Martin Davis on Computability, Computational Logic, and Mathematical Foundations

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-82443-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wybraniec-Skardowska / Garrido | The Lvov-Warsaw School. Past and Present | Buch | Sack Fachmedien

    Wybraniec-Skardowska / Garrido The Lvov-Warsaw School. Past and Present

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-09740-0
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    von Plato | Saved from the Cellar | Buch | Sack Fachmedien

    von Plato Saved from the Cellar

    Gerhard Gentzen¿s Shorthand Notes on Logic and Foundations of Mathematics
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42119-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferguson / Baskent / Baskent | Graham Priest on Dialetheism and Paraconsistency | Buch | Sack Fachmedien

    Ferguson / Baskent / Baskent Graham Priest on Dialetheism and Paraconsistency

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25364-6
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Countable Boolean Algebras and Decidability | Buch | Sack Fachmedien

    Countable Boolean Algebras and Decidability

    1997
    Verlag: Springer US
    ISBN: 978-0-306-11061-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brieskorn / Purkert / Chatterji | Felix Hausdorff - Gesammelte Werke Band II | Buch | Sack Fachmedien

    Brieskorn / Purkert / Chatterji Felix Hausdorff - Gesammelte Werke Band II

    Grundzüge der Mengenlehre
    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-63959-3
    Medium: Buch
    179,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wimmel / Priese | Petri-Netze | Buch | Sack Fachmedien

    Wimmel / Priese Petri-Netze

    2. Auflage 2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76970-5
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borowik / Bolc | Many-Valued Logics 1 | Buch | Sack Fachmedien

    Borowik / Bolc Many-Valued Logics 1

    Theoretical Foundations
    Softcover Nachdruck of hardcover 1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-642-08145-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miller / Hawblitzel | Certified Programs and Proofs | Buch | Sack Fachmedien

    Miller / Hawblitzel Certified Programs and Proofs

    Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-35307-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters / Skowron / Wang | Transactions on Rough Sets XVI | Buch | Sack Fachmedien

    Peters / Skowron / Wang Transactions on Rough Sets XVI

    2013
    Verlag: Springer
    ISBN: 978-3-642-36504-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezhanishvili / Richter / Löbner | Logic, Language, and Computation | Buch | Sack Fachmedien

    Bezhanishvili / Richter / Löbner Logic, Language, and Computation

    9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36975-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganesalingam | The Language of Mathematics | Buch | Sack Fachmedien

    Ganesalingam The Language of Mathematics

    A Linguistic and Philosophical Investigation
    2013
    Verlag: Springer
    ISBN: 978-3-642-37011-3
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paolini / Ronchi Della Rocca | The Parametric Lambda Calculus | Buch | Sack Fachmedien

    Paolini / Ronchi Della Rocca The Parametric Lambda Calculus

    A Metamodel for Computation
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05746-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marques-Silva / Sakallah | Theory and Applications of Satisfiability Testing - SAT 2007 | Buch | Sack Fachmedien

    Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007

    10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
    2007
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-72787-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doberkat | Stochastic Coalgebraic Logic | Buch | Sack Fachmedien

    Doberkat Stochastic Coalgebraic Logic

    2009
    Verlag: Springer
    ISBN: 978-3-642-02994-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curien | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Curien Typed Lambda Calculi and Applications

    9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02272-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grossi / Huang / Roy | Logic, Rationality, and Interaction | Buch | Sack Fachmedien

    Grossi / Huang / Roy Logic, Rationality, and Interaction

    4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-40947-9
    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