Ergebnisse filtern
Fachgebiet
Medium
  • 10467
  • 1117
  • 249
  • 25
  • 1
Erscheinungsjahr
  • 13
  • 357
  • 535
  • 500
  • 642
  • 583
  • 759
  • 673
  • 488
  • 535
  • 420
  • 453
  • 491
  • 623
  • 326
  • 555
  • 194
  • 212
  • 130
  • 152
  • 135
  • 116
  • 140
  • 134
  • 160
  • 141
  • 118
  • 133
  • 126
  • 119
  • 103
  • 103
  • 88
  • 78
  • 61
  • 69
  • 44
  • 43
  • 44
  • 34
  • 32
  • 30
  • 33
  • 17
  • 51
  • 37
  • 31
  • 25
  • 27
  • 28
  • 28
  • 33
  • 32
  • 18
  • 36
  • 19
  • 16
  • 15
  • 21
  • 9
  • 18
  • 10
  • 7
  • 3
  • 6
  • 9
  • 3
  • 7
  • 11
  • 8
  • 7
  • 2
  • 6
  • 8
  • 8
  • 9
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 6
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 10
  • 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
  • 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
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 7
  • 20
  • 7
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 7
  • 3
  • 5
  • 41
  • 3
  • 3
  • 3
  • 4
  • 3
  • 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
  • 3
  • 3
  • 3
  • 14
  • 33
  • 4
  • 4
  • 4
  • 5
  • 3
  • 9
  • 17
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 26
  • 3
  • 3
  • 6
  • 3
  • 4
  • 6
  • 5
  • 3
  • 8
  • 3
  • 8
  • 3
  • 4
  • 9
  • 4
  • 3
  • 5
  • 3
  • 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
  • 8
  • 5
  • 5
  • 6
  • 5
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 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
  • 3
  • 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
  • 4
  • 4
  • 8
  • 7
  • 3
  • 4
  • 8
  • 13
  • 6
  • 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
  • 4
  • 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
  • 81
  • 5
  • 16
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 6
  • 8
  • 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
  • 32
  • 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
  • 4
  • 3
  • 3
  • 5
  • 4
  • 10
  • 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
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 5
  • 8
  • 4
  • 8
  • 8
  • 23
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 5
  • 4
  • 12
  • 3
  • 13
  • 6
  • 4
  • 5
  • 5
  • 7
  • 4
  • 13
  • 4
  • 10
  • 3
  • 4
  • 57
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 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
  • 4
  • 4
  • 4
  • 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
  • 10
  • 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
  • 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
  • 5
  • 3
  • 6
  • 4
  • 10
  • 3
  • 10
  • 3
  • 6
  • 16
  • 3
  • 10
  • 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
  • 12
  • 8
  • 32
  • 22
  • 8
  • 19
  • 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
  • 9
  • 9
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 49
  • 77
  • 1
  • 150
  • 1
  • 1
  • 1
  • 1
  • 45
  • 4
  • 2
  • 3
  • 55
  • 4
  • 58
  • 1
  • 6
  • 1
  • 2
  • 7
  • 491
  • 31
  • 2
  • 1
  • 2
  • 28
  • 1
  • 1
  • 3
  • 1
  • 2
  • 5
  • 3
  • 10
  • 259
  • 1665
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 1
  • 44
  • 2
  • 2
  • 2
  • 16
  • 1
  • 29
  • 31
  • 1
  • 1
  • 12
  • 7
  • 1
  • 2
  • 5
  • 28
  • 10
  • 2
  • 1
  • 9
  • 1
  • 2
  • 13
  • 1
  • 4
  • 38
  • 5
  • 4
  • 1
  • 4
  • 1
  • 1
  • 2
  • 29
  • 1
  • 22
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 8
  • 1
  • 7
  • 1
  • 5
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 9
  • 5
  • 2
  • 19
  • 1
  • 14
  • 4
  • 1
  • 1
  • 1
  • 1
  • 22
  • 1
  • 2
  • 16
  • 2
  • 31
  • 1
  • 1
  • 8
  • 1
  • 5
  • 9
  • 1
  • 1
  • 4
  • 1
  • 1
  • 18
  • 18
  • 1
  • 1
  • 1
  • 1
  • 17
  • 5
  • 44
  • 37
  • 15
  • 7
  • 1
  • 1
  • 9
  • 2
  • 3
  • 3
  • 10
  • 9
  • 2
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 6
  • 1
  • 1
  • 58
  • 10
  • 1
  • 2
  • 1
  • 125
  • 1
  • 6
  • 5
  • 4
  • 15
  • 96
  • 1
  • 10
  • 7
  • 134
  • 1
  • 10
  • 24
  • 5
  • 3
  • 2
  • 1
  • 6
  • 1
  • 2
  • 37
  • 20
  • 7
  • 1
  • 1
  • 50
  • 1
  • 1
  • 2
  • 46
  • 1
  • 1
  • 1
  • 2
  • 4
  • 4
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 5
  • 3
  • 5
  • 21
  • 10
  • 1981
  • 589
  • 12
  • 1406
  • 7
  • 51
  • 7
  • 376
  • 108
  • 667
  • 9
  • 310
  • 35
  • 62
  • 1
  • 12
  • 1
  • 1
  • 2
  • 13
  • 1
  • 1
  • 2
  • 1
  • 98
  • 124
  • 519
  • 297
  • 139
  • 2
  • 1
  • 1
  • 2
  • 2
  • 3
  • 3
  • 8
  • 2
  • 1
  • 2
  • 4
  • 1
  • 5
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 8
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 25
  • 1
  • 152
  • 8
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 63
  • 2
  • 1
  • 5
  • 1
  • 2
  • 24
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 10
  • 2
Preis
  • 750
  • 1797
  • 3395
  • 5917
Sprachen
  • 9032
  • 2539
  • 478
Verfügbarkeit
  • 11535
  • 324
Eigenschaften
  • 14
  • 1
Katalog
  • 11859
  • 485
11.859  Titel
    Capelas de Oliveira / Teixeira | Mastering Calculus through Practice | Buch | Sack Fachmedien

    Capelas de Oliveira / Teixeira Mastering Calculus through Practice

    A Study Guide with over 300 Solved Exercises
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-83339-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bock / Küfer / Schulz | German Success Stories in Industrial Mathematics | Buch | Sack Fachmedien

    Bock / Küfer / Schulz German Success Stories in Industrial Mathematics

    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-81454-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rodriguez-Artalejo / Flum | Computer Science Logic | Buch | Sack Fachmedien

    Rodriguez-Artalejo / Flum Computer Science Logic

    13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66536-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kleijn / Donatelli | Application and Theory of Petri Nets 1999 | Buch | Sack Fachmedien

    Kleijn / Donatelli Application and Theory of Petri Nets 1999

    20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66132-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55727-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Jäger | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Richter / Jäger Computer Science Logic

    5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55789-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Meta-Programming in Logic | Buch | Sack Fachmedien

    Pettorossi Meta-Programming in Logic

    Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56282-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pitt / Curien / Rydeheard | Category Theory and Computer Science | Buch | Sack Fachmedien

    Pitt / Curien / Rydeheard Category Theory and Computer Science

    Paris, France, September 3-6, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54495-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Harrison / Aagaard | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Harrison / Aagaard Theorem Proving in Higher Order Logics

    13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67863-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Nishida / Furukawa | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

    Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miglioli / Ornaghi / Moscato | Theorem Proving with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reisig / Billington | Application and Theory of Petri Nets 1996 | Buch | Sack Fachmedien

    Reisig / Billington Application and Theory of Petri Nets 1996

    17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61363-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chabert | A History of Algorithms | Buch | Sack Fachmedien

    Chabert A History of Algorithms

    From the Pebble to the Microchip
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63369-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Girard | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Girard Typed Lambda Calculi and Applications

    4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65763-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Dershowitz Rewriting Techniques and Applications

    3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51081-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mycielski / Salomaa / Rozenberg | Structures in Logic and Computer Science | Buch | Sack Fachmedien

    Mycielski / Salomaa / Rozenberg Structures in Logic and Computer Science

    A Selection of Essays in Honor of A. Ehrenfeucht
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63246-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Mundici / Leitsch | Computational Logic and Proof Theory | Buch | Sack Fachmedien

    Gottlob / Mundici / Leitsch Computational Logic and Proof Theory

    5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63385-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skyum / Schmidt | Algorithm Theory - SWAT '94 | Buch | Sack Fachmedien

    Skyum / Schmidt Algorithm Theory - SWAT '94

    4th Scandianvian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58218-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ralescu | Fuzzy Logic in Artificial Intelligence | Buch | Sack Fachmedien

    Ralescu Fuzzy Logic in Artificial Intelligence

    IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58409-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plotkin / Dezani-Ciancaglini | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Plotkin / Dezani-Ciancaglini Typed Lambda Calculi and Applications

    Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-59048-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Sato / Hagiya | Logic, Language and Computation | Buch | Sack Fachmedien

    Jones / Sato / Hagiya Logic, Language and Computation

    Festschrift in Honor of Satoru Takasu
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lukose / Zhang | Distributed Artificial Intelligence: Architecture and Modelling | Buch | Sack Fachmedien

    Lukose / Zhang Distributed Artificial Intelligence: Architecture and Modelling

    First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61314-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andersson | Analysis of Dynamical and Cognitive Systems | Buch | Sack Fachmedien

    Andersson Analysis of Dynamical and Cognitive Systems

    Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58843-6
    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