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
    Pearlman | Mathematical Transformations and Wavelet Filters for Source Coding and Signal Processing Systems | Buch | Sack Fachmedien

    Pearlman Mathematical Transformations and Wavelet Filters for Source Coding and Signal Processing Systems

    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-34683-5
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pavlovic | Programs as Diagrams | Buch | Sack Fachmedien

    Pavlovic Programs as Diagrams

    From Categorical Computability to Computable Categories
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-34826-6
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu | Mechanical Theorem Proving in Geometries | Buch | Sack Fachmedien

    Wu Mechanical Theorem Proving in Geometries

    Basic Principles
    Softcover Nachdruck of the original 1. Auflage 1994
    Verlag: Springer Vienna
    ISBN: 978-3-211-82506-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuenberger / Rieger | Themes from Weir: A Celebration of the Philosophy of Alan Weir | Buch | Sack Fachmedien

    Leuenberger / Rieger Themes from Weir: A Celebration of the Philosophy of Alan Weir

    2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-54556-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Downey | Computability and Complexity | Buch | Sack Fachmedien

    Downey Computability and Complexity

    Foundations and Tools for Pursuing Scientific Applications
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-53743-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tonietti | And Yet It Is Heard | Buch | Sack Fachmedien

    Tonietti And Yet It Is Heard

    Musical, Multilingual and Multicultural History of the Mathematical Sciences - Volume 2
    2014
    Verlag: Springer
    ISBN: 978-3-0348-0674-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zachariasen / Brazil | Optimal Interconnection Trees in the Plane | Buch | Sack Fachmedien

    Zachariasen / Brazil Optimal Interconnection Trees in the Plane

    Theory, Algorithms and Applications
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13914-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budaghyan | Construction and Analysis of Cryptographic Functions | Buch | Sack Fachmedien

    Budaghyan Construction and Analysis of Cryptographic Functions

    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-12990-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paule | Mathematics, Computer Science and Logic - A Never Ending Story | Buch | Sack Fachmedien

    Paule Mathematics, Computer Science and Logic - A Never Ending Story

    The Bruno Buchberger Festschrift
    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-319-34682-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roman | An Introduction to Catalan Numbers | Buch | Sack Fachmedien

    Roman An Introduction to Catalan Numbers

    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-37401-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arumugam / Panda / Bagga | Theoretical Computer Science and Discrete Mathematics | Buch | Sack Fachmedien

    Arumugam / Panda / Bagga Theoretical Computer Science and Discrete Mathematics

    First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-64418-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hansson | Descriptor Revision | Buch | Sack Fachmedien

    Hansson Descriptor Revision

    Belief Change through Direct Choice
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-53060-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wansing / Pearce | Nonclassical Logics and Information Processing | Buch | Sack Fachmedien

    Wansing / Pearce Nonclassical Logics and Information Processing

    International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55745-6
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taitslin / Nerode | Logical Foundations of Computer Science - Tver '92 | Buch | Sack Fachmedien

    Taitslin / Nerode Logical Foundations of Computer Science - Tver '92

    Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55707-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Pearce | Logics in AI | Buch | Sack Fachmedien

    Wagner / Pearce Logics in AI

    European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55887-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Habel | Hyperedge Replacement: Grammars and Languages | Buch | Sack Fachmedien

    Habel Hyperedge Replacement: Grammars and Languages

    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56005-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Schmitt / Jantke | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Schmitt / Jantke Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56433-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Maluszynski | Programming Language Implementation and Logic Programming | Buch | Sack Fachmedien

    Wirsing / Maluszynski Programming Language Implementation and Logic Programming

    3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54444-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Skou / Larsen | Computer Aided Verification | Buch | Sack Fachmedien

    Skou / Larsen Computer Aided Verification

    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55179-9
    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

    7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55511-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Urabe / Kano | Discrete and Computational Geometry | Buch | Sack Fachmedien

    Akiyama / Urabe / Kano Discrete and Computational Geometry

    Japanese Conference, JCDCG'98 Tokyo, Japan, December 9-12, 1998 Revised Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67181-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouquet / Serafini / Castellani | Modeling and Using Context | Buch | Sack Fachmedien

    Bouquet / Serafini / Castellani Modeling and Using Context

    Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66432-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McAllester | Automated Deduction - CADE-17 | Buch | Sack Fachmedien

    McAllester Automated Deduction - CADE-17

    17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67664-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bert / Robinson / Bowen | ZB 2002: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bert / Robinson / Bowen ZB 2002: Formal Specification and Development in Z and B

    2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43166-4
    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

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