Ergebnisse filtern
Fachgebiet
Medium
  • 10528
  • 1117
  • 249
  • 24
  • 1
Erscheinungsjahr
  • 18
  • 369
  • 549
  • 508
  • 643
  • 585
  • 760
  • 675
  • 491
  • 535
  • 420
  • 455
  • 492
  • 624
  • 327
  • 556
  • 194
  • 211
  • 132
  • 153
  • 136
  • 116
  • 141
  • 136
  • 161
  • 141
  • 117
  • 133
  • 126
  • 119
  • 103
  • 103
  • 89
  • 81
  • 61
  • 69
  • 44
  • 44
  • 44
  • 32
  • 33
  • 30
  • 34
  • 18
  • 51
  • 38
  • 32
  • 24
  • 27
  • 28
  • 28
  • 33
  • 33
  • 18
  • 36
  • 19
  • 16
  • 15
  • 21
  • 9
  • 18
  • 10
  • 7
  • 3
  • 6
  • 9
  • 3
  • 7
  • 11
  • 8
  • 6
  • 1
  • 6
  • 8
  • 8
  • 9
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 6
  • 8
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 9
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 15
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 4
  • 5
  • 7
  • 20
  • 7
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 7
  • 3
  • 5
  • 41
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 14
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 3
  • 14
  • 33
  • 4
  • 4
  • 4
  • 5
  • 3
  • 9
  • 17
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 26
  • 3
  • 3
  • 6
  • 3
  • 4
  • 6
  • 6
  • 3
  • 8
  • 3
  • 8
  • 3
  • 4
  • 8
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 36
  • 5
  • 3
  • 4
  • 3
  • 15
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 3
  • 7
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 16
  • 20
  • 6
  • 3
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 8
  • 5
  • 5
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 7
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 4
  • 5
  • 4
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 6
  • 8
  • 3
  • 3
  • 4
  • 9
  • 4
  • 9
  • 3
  • 4
  • 9
  • 4
  • 3
  • 6
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 3
  • 4
  • 9
  • 22
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 5
  • 10
  • 3
  • 3
  • 5
  • 4
  • 8
  • 7
  • 3
  • 4
  • 8
  • 13
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 7
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 10
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 14
  • 10
  • 3
  • 9
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 12
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 7
  • 8
  • 3
  • 4
  • 9
  • 11
  • 4
  • 3
  • 4
  • 28
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 71
  • 5
  • 16
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 6
  • 9
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 9
  • 4
  • 3
  • 3
  • 6
  • 12
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 6
  • 5
  • 5
  • 6
  • 5
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 6
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 35
  • 6
  • 4
  • 3
  • 4
  • 4
  • 4
  • 13
  • 4
  • 4
  • 3
  • 10
  • 7
  • 7
  • 16
  • 5
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 12
  • 5
  • 4
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 10
  • 4
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 11
  • 3
  • 3
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 6
  • 14
  • 3
  • 4
  • 4
  • 6
  • 3
  • 12
  • 8
  • 33
  • 3
  • 3
  • 5
  • 5
  • 55
  • 16
  • 3
  • 7
  • 4
  • 14
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 27
  • 4
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 6
  • 5
  • 12
  • 5
  • 4
  • 34
  • 6
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 8
  • 4
  • 8
  • 8
  • 23
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 4
  • 9
  • 3
  • 5
  • 4
  • 12
  • 3
  • 13
  • 6
  • 4
  • 5
  • 5
  • 7
  • 4
  • 13
  • 4
  • 10
  • 3
  • 4
  • 57
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 9
  • 4
  • 4
  • 3
  • 5
  • 4
  • 12
  • 4
  • 7
  • 4
  • 4
  • 8
  • 5
  • 3
  • 3
  • 4
  • 26
  • 5
  • 8
  • 10
  • 4
  • 6
  • 3
  • 15
  • 4
  • 3
  • 3
  • 6
  • 7
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 5
  • 17
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 6
  • 4
  • 6
  • 3
  • 5
  • 4
  • 32
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 19
  • 55
  • 4
  • 4
  • 8
  • 13
  • 4
  • 11
  • 12
  • 4
  • 16
  • 11
  • 17
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 53
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 3
  • 4
  • 6
  • 3
  • 26
  • 3
  • 7
  • 7
  • 5
  • 4
  • 9
  • 9
  • 8
  • 3
  • 3
  • 4
  • 7
  • 10
  • 9
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 5
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 10
  • 3
  • 5
  • 7
  • 5
  • 5
  • 37
  • 6
  • 3
  • 26
  • 6
  • 19
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 6
  • 18
  • 5
  • 7
  • 8
  • 3
  • 29
  • 9
  • 3
  • 20
  • 3
  • 6
  • 4
  • 3
  • 3
  • 11
  • 19
  • 12
  • 5
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 17
  • 4
  • 3
  • 3
  • 4
  • 7
  • 7
  • 5
  • 4
  • 5
  • 4
  • 3
  • 29
  • 14
  • 7
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 3
  • 13
  • 7
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 10
  • 3
  • 10
  • 3
  • 6
  • 16
  • 3
  • 8
  • 3
  • 9
  • 4
  • 3
  • 3
  • 4
  • 5
  • 6
  • 11
  • 6
  • 16
  • 13
  • 3
  • 3
  • 7
  • 9
  • 9
  • 5
  • 4
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 4
  • 8
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 18
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 14
  • 5
  • 11
  • 8
  • 6
  • 19
  • 3
  • 7
  • 4
  • 53
  • 4
  • 14
  • 5
  • 5
  • 4
  • 13
  • 5
  • 5
  • 9
  • 3
  • 4
  • 6
  • 3
  • 4
  • 24
  • 19
  • 14
  • 8
  • 32
  • 22
  • 8
  • 19
  • 4
  • 5
  • 8
  • 3
  • 4
  • 4
  • 8
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 16
Verlag
  • 11
  • 1
  • 2
  • 4
  • 2
  • 8
  • 4
  • 4
  • 4
  • 1
  • 1
  • 3
  • 11
  • 1
  • 10
  • 9
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 49
  • 77
  • 1
  • 150
  • 1
  • 2
  • 1
  • 1
  • 44
  • 4
  • 2
  • 3
  • 38
  • 4
  • 57
  • 1
  • 6
  • 1
  • 2
  • 7
  • 491
  • 31
  • 2
  • 1
  • 2
  • 28
  • 1
  • 3
  • 1
  • 2
  • 5
  • 3
  • 10
  • 299
  • 1664
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 1
  • 44
  • 2
  • 2
  • 2
  • 19
  • 1
  • 23
  • 47
  • 1
  • 1
  • 14
  • 7
  • 1
  • 2
  • 5
  • 28
  • 10
  • 2
  • 2
  • 9
  • 1
  • 2
  • 13
  • 2
  • 38
  • 5
  • 4
  • 1
  • 4
  • 1
  • 1
  • 2
  • 29
  • 1
  • 23
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 7
  • 1
  • 6
  • 1
  • 5
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 9
  • 5
  • 2
  • 19
  • 1
  • 14
  • 4
  • 1
  • 1
  • 1
  • 1
  • 14
  • 1
  • 3
  • 17
  • 2
  • 31
  • 1
  • 1
  • 8
  • 1
  • 5
  • 9
  • 1
  • 1
  • 4
  • 1
  • 1
  • 18
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
  • 17
  • 5
  • 44
  • 40
  • 16
  • 7
  • 1
  • 1
  • 9
  • 2
  • 3
  • 3
  • 11
  • 11
  • 2
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 6
  • 1
  • 1
  • 58
  • 10
  • 1
  • 2
  • 1
  • 125
  • 1
  • 6
  • 5
  • 4
  • 15
  • 100
  • 1
  • 10
  • 7
  • 134
  • 1
  • 10
  • 22
  • 5
  • 3
  • 2
  • 1
  • 5
  • 1
  • 2
  • 37
  • 20
  • 7
  • 1
  • 1
  • 50
  • 1
  • 1
  • 3
  • 2
  • 35
  • 1
  • 1
  • 1
  • 2
  • 4
  • 4
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 6
  • 5
  • 3
  • 5
  • 21
  • 10
  • 1972
  • 589
  • 12
  • 1407
  • 7
  • 51
  • 7
  • 376
  • 111
  • 667
  • 9
  • 310
  • 35
  • 62
  • 1
  • 12
  • 1
  • 2
  • 13
  • 1
  • 1
  • 1
  • 90
  • 126
  • 539
  • 367
  • 81
  • 2
  • 1
  • 1
  • 2
  • 2
  • 3
  • 3
  • 8
  • 2
  • 1
  • 2
  • 4
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 8
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 25
  • 1
  • 151
  • 8
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 61
  • 2
  • 5
  • 1
  • 2
  • 24
  • 1
  • 2
  • 19
  • 2
  • 1
  • 1
  • 1
  • 10
  • 2
Preis
  • 750
  • 1798
  • 3425
  • 5946
Sprachen
  • 9109
  • 2533
  • 466
Verfügbarkeit
  • 11604
  • 315
Eigenschaften
  • 11
Katalog
  • 11919
  • 489
11.919  Titel
    Ciungu | Non-commutative Multiple-Valued Logic Algebras | Buch | Sack Fachmedien

    Ciungu Non-commutative Multiple-Valued Logic Algebras

    Softcover Nachdruck of the original 1. Auflage 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-03299-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glodeanu / Sacarea / Kaytoue | Formal Concept Analysis | Buch | Sack Fachmedien

    Glodeanu / Sacarea / Kaytoue Formal Concept Analysis

    12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07247-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciungu | Non-commutative Multiple-Valued Logic Algebras | Buch | Sack Fachmedien

    Ciungu Non-commutative Multiple-Valued Logic Algebras

    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-01588-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
    Budach / Lupanov / Bukharajev | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Budach / Lupanov / Bukharajev Fundamentals of Computation Theory

    International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18740-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melton | Mathematical Foundation of Programming Semantics | Buch | Sack Fachmedien

    Melton Mathematical Foundation of Programming Semantics

    International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16816-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miklós / Ciccarelli | Comparative Genomics | Buch | Sack Fachmedien

    Miklós / Ciccarelli Comparative Genomics

    International Workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04743-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Transactions on Petri Nets and Other Models of Concurrency III | Buch | Sack Fachmedien

    Transactions on Petri Nets and Other Models of Concurrency III

    2009
    Verlag: Springer
    ISBN: 978-3-642-04854-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klazar / Kratochvil / Valtr | Topics in Discrete Mathematics | Buch | Sack Fachmedien

    Klazar / Kratochvil / Valtr Topics in Discrete Mathematics

    Dedicated to Jarik Ne¿etril on the Occasion of his 60th birthday
    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-3-642-07026-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kullmann | Theory and Applications of Satisfiability Testing - SAT 2009 | Buch | Sack Fachmedien

    Kullmann Theory and Applications of Satisfiability Testing - SAT 2009

    12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02776-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katona / Szönyi / Schrijver | Fete of Combinatorics and Computer Science | Buch | Sack Fachmedien

    Katona / Szönyi / Schrijver Fete of Combinatorics and Computer Science

    2010
    Verlag: Springer
    ISBN: 978-3-642-13579-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pier / Eymard | Harmonic Analysis | Buch | Sack Fachmedien

    Pier / Eymard Harmonic Analysis

    Proceedings of the International Symposium, held at the Centre Universitaire of Luxembourg, September 7-11, 1987
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50524-2
    Medium: Buch
    37,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bundy | Automated Deduction ¿ CADE-12 | Buch | Sack Fachmedien

    Bundy Automated Deduction ¿ CADE-12

    12th International Conference on Automated Deduction Nancy, France, June 26¿July 1, 1994 Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58156-7
    Medium: Buch
    53,49 € (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
    Camilleri / Melham | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Camilleri / Melham Higher Order Logic Theorem Proving and Its Applications

    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58450-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brookes / Main / Schmidt | Mathematical Foundations of Programming Semantics | Buch | Sack Fachmedien

    Brookes / Main / Schmidt Mathematical Foundations of Programming Semantics

    9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58027-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Probst / Bochmann | Computer Aided Verification | Buch | Sack Fachmedien

    Probst / Bochmann Computer Aided Verification

    Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56496-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weber / Lafontaine / Simons | The Generic Development Language Deva | Buch | Sack Fachmedien

    Weber / Lafontaine / Simons The Generic Development Language Deva

    Presentation and Case Studies
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57335-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Groote / Bezem | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Groote / Bezem Typed Lambda Calculi and Applications

    International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56517-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuich / Salomaa / Rozenberg | Developments in Language Theory | Buch | Sack Fachmedien

    Kuich / Salomaa / Rozenberg Developments in Language Theory

    5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43453-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciobanu / Alexandru | Finitely Supported Mathematics | Buch | Sack Fachmedien

    Ciobanu / Alexandru Finitely Supported Mathematics

    An Introduction
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-82545-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Le Berre / Creignou | Theory and Applications of Satisfiability Testing ¿ SAT 2016 | Buch | Sack Fachmedien

    Le Berre / Creignou Theory and Applications of Satisfiability Testing ¿ SAT 2016

    19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40969-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta / Gabbay | A New Perspective on Nonmonotonic Logics | Buch | Sack Fachmedien

    Schlechta / Gabbay A New Perspective on Nonmonotonic Logics

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-83593-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    T. Atanassov | Intuitionistic Fuzzy Logics | Buch | Sack Fachmedien

    T. Atanassov Intuitionistic Fuzzy Logics

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-84055-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omodeo / Tomescu / Policriti | On Sets and Graphs | Buch | Sack Fachmedien

    Omodeo / Tomescu / Policriti On Sets and Graphs

    Perspectives on Logic and Combinatorics
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-85536-3
    Medium: Buch
    60,98 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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