Ergebnisse filtern
Fachgebiet
Medium
  • 10695
  • 1761
  • 251
  • 23
  • 1
Erscheinungsjahr
  • 1
  • 34
  • 552
  • 568
  • 524
  • 664
  • 625
  • 774
  • 716
  • 566
  • 603
  • 494
  • 503
  • 531
  • 636
  • 344
  • 563
  • 223
  • 224
  • 139
  • 167
  • 149
  • 122
  • 168
  • 160
  • 168
  • 144
  • 118
  • 135
  • 124
  • 113
  • 103
  • 100
  • 88
  • 81
  • 61
  • 66
  • 44
  • 44
  • 38
  • 33
  • 33
  • 29
  • 33
  • 19
  • 51
  • 36
  • 31
  • 24
  • 27
  • 28
  • 25
  • 33
  • 32
  • 18
  • 36
  • 19
  • 15
  • 15
  • 21
  • 9
  • 19
  • 10
  • 7
  • 3
  • 6
  • 9
  • 3
  • 7
  • 11
  • 8
  • 6
  • 1
  • 6
  • 8
  • 8
  • 9
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 9
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 5
  • 6
  • 4
  • 15
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 4
  • 3
  • 4
  • 7
  • 6
  • 4
  • 4
  • 13
  • 4
  • 4
  • 4
  • 3
  • 7
  • 3
  • 4
  • 4
  • 5
  • 7
  • 20
  • 7
  • 3
  • 5
  • 3
  • 7
  • 4
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 41
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 14
  • 5
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 5
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 13
  • 33
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 8
  • 17
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 25
  • 3
  • 3
  • 6
  • 3
  • 4
  • 6
  • 3
  • 9
  • 3
  • 8
  • 3
  • 8
  • 4
  • 5
  • 3
  • 4
  • 8
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 10
  • 3
  • 37
  • 5
  • 8
  • 3
  • 4
  • 3
  • 15
  • 3
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 3
  • 9
  • 4
  • 4
  • 4
  • 3
  • 3
  • 16
  • 20
  • 6
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 8
  • 5
  • 5
  • 6
  • 5
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 5
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 6
  • 8
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 4
  • 9
  • 3
  • 4
  • 9
  • 4
  • 6
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 5
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 9
  • 22
  • 3
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 7
  • 5
  • 13
  • 5
  • 3
  • 6
  • 5
  • 9
  • 7
  • 3
  • 4
  • 8
  • 3
  • 3
  • 13
  • 9
  • 4
  • 3
  • 5
  • 5
  • 3
  • 7
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 10
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 3
  • 10
  • 3
  • 3
  • 5
  • 3
  • 14
  • 3
  • 10
  • 9
  • 5
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 4
  • 12
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 7
  • 8
  • 3
  • 4
  • 9
  • 3
  • 11
  • 3
  • 6
  • 3
  • 4
  • 3
  • 28
  • 6
  • 3
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 71
  • 5
  • 3
  • 15
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 6
  • 10
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 13
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 3
  • 6
  • 5
  • 5
  • 6
  • 5
  • 3
  • 5
  • 6
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 5
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 36
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 8
  • 4
  • 4
  • 15
  • 9
  • 5
  • 7
  • 12
  • 4
  • 5
  • 10
  • 9
  • 3
  • 7
  • 4
  • 11
  • 3
  • 5
  • 4
  • 14
  • 9
  • 4
  • 5
  • 4
  • 7
  • 4
  • 4
  • 5
  • 14
  • 3
  • 4
  • 4
  • 6
  • 3
  • 12
  • 10
  • 33
  • 3
  • 3
  • 5
  • 5
  • 55
  • 18
  • 3
  • 7
  • 4
  • 14
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 27
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 5
  • 13
  • 5
  • 4
  • 34
  • 6
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 6
  • 4
  • 5
  • 3
  • 8
  • 4
  • 8
  • 7
  • 21
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 4
  • 9
  • 3
  • 5
  • 14
  • 3
  • 3
  • 13
  • 6
  • 4
  • 5
  • 5
  • 7
  • 5
  • 13
  • 4
  • 10
  • 3
  • 4
  • 4
  • 57
  • 4
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 9
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 12
  • 4
  • 7
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 26
  • 5
  • 8
  • 10
  • 4
  • 8
  • 3
  • 15
  • 4
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 4
  • 5
  • 17
  • 3
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 6
  • 4
  • 7
  • 3
  • 3
  • 7
  • 6
  • 32
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 19
  • 55
  • 4
  • 4
  • 3
  • 8
  • 13
  • 4
  • 12
  • 13
  • 4
  • 3
  • 18
  • 3
  • 11
  • 3
  • 19
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 53
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 3
  • 5
  • 4
  • 6
  • 3
  • 3
  • 28
  • 3
  • 7
  • 7
  • 5
  • 4
  • 9
  • 9
  • 7
  • 3
  • 3
  • 4
  • 4
  • 7
  • 10
  • 11
  • 6
  • 4
  • 4
  • 3
  • 4
  • 7
  • 6
  • 4
  • 5
  • 5
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 10
  • 3
  • 5
  • 9
  • 5
  • 5
  • 46
  • 6
  • 3
  • 26
  • 6
  • 19
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 6
  • 18
  • 5
  • 9
  • 13
  • 3
  • 3
  • 29
  • 9
  • 3
  • 21
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 11
  • 19
  • 12
  • 8
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 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
  • 6
  • 5
  • 3
  • 4
  • 3
  • 6
  • 4
  • 10
  • 3
  • 10
  • 3
  • 6
  • 16
  • 3
  • 8
  • 9
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 6
  • 11
  • 6
  • 4
  • 18
  • 17
  • 3
  • 3
  • 10
  • 9
  • 9
  • 4
  • 5
  • 4
  • 5
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 4
  • 8
  • 5
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 18
  • 5
  • 4
  • 4
  • 6
  • 3
  • 5
  • 4
  • 14
  • 5
  • 11
  • 8
  • 6
  • 19
  • 4
  • 7
  • 4
  • 53
  • 4
  • 14
  • 5
  • 7
  • 3
  • 13
  • 4
  • 5
  • 7
  • 3
  • 4
  • 6
  • 3
  • 4
  • 24
  • 19
  • 12
  • 4
  • 9
  • 32
  • 22
  • 8
  • 19
  • 5
  • 5
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 8
  • 6
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 16
Verlag
  • 11
  • 1
  • 5
  • 2
  • 2
  • 8
  • 4
  • 4
  • 1
  • 2
  • 1
  • 3
  • 11
  • 1
  • 5
  • 9
  • 1
  • 14
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 55
  • 78
  • 151
  • 1
  • 2
  • 1
  • 1
  • 44
  • 4
  • 2
  • 3
  • 6
  • 4
  • 59
  • 1
  • 5
  • 1
  • 2
  • 7
  • 576
  • 1
  • 31
  • 2
  • 3
  • 1
  • 1
  • 28
  • 3
  • 3
  • 2
  • 5
  • 1
  • 3
  • 10
  • 506
  • 1719
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 3
  • 2
  • 1
  • 6
  • 1
  • 4
  • 2
  • 1
  • 44
  • 2
  • 2
  • 2
  • 5
  • 1
  • 36
  • 49
  • 1
  • 1
  • 14
  • 7
  • 1
  • 2
  • 29
  • 10
  • 2
  • 1
  • 9
  • 1
  • 1
  • 21
  • 1
  • 38
  • 5
  • 4
  • 1
  • 4
  • 1
  • 1
  • 1
  • 27
  • 1
  • 23
  • 1
  • 2
  • 2
  • 2
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 9
  • 5
  • 1
  • 1
  • 19
  • 1
  • 14
  • 4
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 2
  • 15
  • 2
  • 63
  • 1
  • 4
  • 8
  • 1
  • 4
  • 7
  • 1
  • 4
  • 1
  • 1
  • 18
  • 3
  • 1
  • 1
  • 1
  • 5
  • 5
  • 42
  • 33
  • 13
  • 7
  • 2
  • 1
  • 8
  • 1
  • 1
  • 3
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 6
  • 1
  • 1
  • 58
  • 10
  • 2
  • 1
  • 125
  • 1
  • 2
  • 2
  • 1
  • 4
  • 15
  • 260
  • 1
  • 4
  • 7
  • 20
  • 2
  • 10
  • 3
  • 1
  • 5
  • 2
  • 2
  • 1
  • 2
  • 6
  • 1
  • 2
  • 37
  • 20
  • 7
  • 1
  • 1
  • 50
  • 1
  • 1
  • 3
  • 2
  • 27
  • 1
  • 1
  • 1
  • 2
  • 7
  • 4
  • 3
  • 3
  • 1
  • 1
  • 4
  • 1
  • 12
  • 1
  • 2
  • 1
  • 2
  • 1
  • 21
  • 10
  • 2007
  • 590
  • 12
  • 1417
  • 6
  • 51
  • 7
  • 388
  • 132
  • 667
  • 36
  • 310
  • 35
  • 37
  • 1
  • 5
  • 1
  • 4
  • 11
  • 1
  • 1
  • 490
  • 126
  • 624
  • 412
  • 8
  • 2
  • 2
  • 2
  • 5
  • 1
  • 8
  • 1
  • 2
  • 2
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 13
  • 2
  • 1
  • 1
  • 2
  • 1
  • 21
  • 1
  • 152
  • 1
  • 8
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 68
  • 1
  • 4
  • 1
  • 3
  • 1
  • 23
  • 1
  • 2
  • 20
  • 1
  • 1
  • 1
  • 1
  • 10
  • 2
Preis
  • 794
  • 1880
  • 3891
  • 6166
Sprachen
  • 9903
  • 2551
  • 468
Verfügbarkeit
  • 12211
  • 520
Eigenschaften
  • 12
Katalog
  • 12731
  • 535
12.731  Titel
    Dang / Ibarra | Developments in Language Theory | Buch | Sack Fachmedien

    Dang / Ibarra Developments in Language Theory

    10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-35428-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlbach / Gabbay | Temporal Logic | Buch | Sack Fachmedien

    Ohlbach / Gabbay Temporal Logic

    First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58241-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valette | Application and Theory of Petri Nets 1994 | Buch | Sack Fachmedien

    Valette Application and Theory of Petri Nets 1994

    15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58152-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud | Constraints in Computational Logics | Buch | Sack Fachmedien

    Jouannaud Constraints in Computational Logics

    First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58403-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan / Garzon | DNA Computing | Buch | Sack Fachmedien

    Yan / Garzon DNA Computing

    13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77961-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mosca / Pandolfi | H -Control Theory | Buch | Sack Fachmedien

    Mosca / Pandolfi H -Control Theory

    Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Como, Italy, June 18-26, 1990
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54949-9
    Medium: Buch
    42,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55092-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Toueg / Kirousis / Spirakis | Distributed Algorithms | Buch | Sack Fachmedien

    Toueg / Kirousis / Spirakis Distributed Algorithms

    5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55236-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Schönfeld / Kleine Büning | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Schönfeld / Kleine Büning Computer Science Logic

    4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurshan / Clarke | Computer-Aided Verification | Buch | Sack Fachmedien

    Kurshan / Clarke Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54477-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melichar / Alblas | Attribute Grammars, Applications and Systems | Buch | Sack Fachmedien

    Melichar / Alblas Attribute Grammars, Applications and Systems

    International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54572-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henzinger / Duparc | Computer Science Logic | Buch | Sack Fachmedien

    Henzinger / Duparc Computer Science Logic

    21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74914-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yokomori / Mao | DNA Computing | Buch | Sack Fachmedien

    Yokomori / Mao DNA Computing

    12th International Meeting on DNA Computing, DNA12, Seoul, Korea, June 5-9, 2006, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-49024-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orejas / Diaz | TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 | Buch | Sack Fachmedien

    Orejas / Diaz TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989

    Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50939-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt-Schauß | Computational Aspects of an Order-Sorted Logic with Term Declarations | Buch | Sack Fachmedien

    Schmidt-Schauß Computational Aspects of an Order-Sorted Logic with Term Declarations

    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51705-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pin | Formal Properties of Finite Automata and Applications | Buch | Sack Fachmedien

    Pin Formal Properties of Finite Automata and Applications

    LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51631-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Homer / Nerode / Odifreddi | Logic and Computer Science | Buch | Sack Fachmedien

    Homer / Nerode / Odifreddi Logic and Computer Science

    Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52734-3
    Medium: Buch
    26,70 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mints / Martin-Löf | COLOG-88 | Buch | Sack Fachmedien

    Mints / Martin-Löf COLOG-88

    International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52335-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bläsius / Rollinger / Hedtstück | Sorts and Types in Artificial Intelligence | Buch | Sack Fachmedien

    Bläsius / Rollinger / Hedtstück Sorts and Types in Artificial Intelligence

    Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52337-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kauers / Windsteiger / Kerber | Towards Mechanized Mathematical Assistants | Buch | Sack Fachmedien

    Kauers / Windsteiger / Kerber Towards Mechanized Mathematical Assistants

    14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73083-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schröder / Bouyer | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Schröder / Bouyer Foundations of Software Science and Computation Structures

    25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2¿7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-99252-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapadia / Kallmann | Geometric and Discrete Path Planning for Interactive Virtual Worlds | Buch | Sack Fachmedien

    Kapadia / Kallmann Geometric and Discrete Path Planning for Interactive Virtual Worlds

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-031-01460-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patanè | An Introduction to Laplacian Spectral Distances and Kernels | Buch | Sack Fachmedien

    Patanè An Introduction to Laplacian Spectral Distances and Kernels

    Theory, Computation, and Applications
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-031-01465-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kiciak | Geometric Continuity of Curves and Surfaces | Buch | Sack Fachmedien

    Kiciak Geometric Continuity of Curves and Surfaces

    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-031-01462-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Preusser / Pätz / Kirby | Stochastic Partial Differential Equations for Computer Vision with Uncertain Data | Buch | Sack Fachmedien

    Preusser / Pätz / Kirby Stochastic Partial Differential Equations for Computer Vision with Uncertain Data

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-031-01466-6
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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