Ergebnisse filtern
Fachgebiet
Medium
  • 10529
  • 1117
  • 249
  • 24
  • 1
Erscheinungsjahr
  • 18
  • 371
  • 549
  • 508
  • 643
  • 585
  • 760
  • 675
  • 490
  • 535
  • 420
  • 455
  • 492
  • 624
  • 329
  • 556
  • 194
  • 209
  • 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
  • 7
  • 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
  • 11
  • 9
  • 1
  • 9
  • 1
  • 1
  • 2
  • 1
  • 6
  • 2
  • 49
  • 78
  • 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
  • 286
  • 1664
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 6
  • 1
  • 3
  • 1
  • 1
  • 1
  • 44
  • 2
  • 2
  • 2
  • 20
  • 1
  • 22
  • 47
  • 1
  • 1
  • 14
  • 7
  • 1
  • 2
  • 5
  • 28
  • 10
  • 2
  • 2
  • 9
  • 1
  • 2
  • 13
  • 1
  • 38
  • 5
  • 4
  • 1
  • 4
  • 1
  • 1
  • 2
  • 29
  • 1
  • 23
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 7
  • 1
  • 6
  • 4
  • 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
  • 12
  • 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
  • 133
  • 1
  • 10
  • 20
  • 5
  • 3
  • 2
  • 1
  • 4
  • 1
  • 2
  • 37
  • 20
  • 7
  • 1
  • 1
  • 50
  • 1
  • 1
  • 5
  • 2
  • 28
  • 1
  • 1
  • 1
  • 2
  • 4
  • 4
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 6
  • 5
  • 3
  • 5
  • 21
  • 10
  • 1982
  • 589
  • 12
  • 1409
  • 7
  • 51
  • 7
  • 367
  • 111
  • 667
  • 10
  • 310
  • 35
  • 61
  • 1
  • 12
  • 1
  • 2
  • 13
  • 1
  • 1
  • 1
  • 89
  • 126
  • 537
  • 388
  • 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
  • 152
  • 8
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 61
  • 2
  • 5
  • 1
  • 2
  • 24
  • 1
  • 2
  • 19
  • 2
  • 1
  • 1
  • 1
  • 10
  • 2
Preis
  • 750
  • 1797
  • 3427
  • 5946
Sprachen
  • 9109
  • 2533
  • 465
Verfügbarkeit
  • 11603
  • 317
Eigenschaften
  • 11
Katalog
  • 11920
  • 489
11.920  Titel
    Kapur | Automated Deduction - CADE-11 | Buch | Sack Fachmedien

    Kapur Automated Deduction - CADE-11

    11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55602-2
    Medium: Buch
    106,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
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55926-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Donnell / Myers | Constructivity in Computer Science | Buch | Sack Fachmedien

    O'Donnell / Myers Constructivity in Computer Science

    Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55631-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Remy / Rusinowitch | Conditional Term Rewriting Systems | Buch | Sack Fachmedien

    Remy / Rusinowitch Conditional Term Rewriting Systems

    Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56393-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kelemen / Jorrand | Fundamentals of Artificial Intelligence Research | Buch | Sack Fachmedien

    Kelemen / Jorrand Fundamentals of Artificial Intelligence Research

    International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54507-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming | Buch | Sack Fachmedien

    Voronkov Logic Programming

    First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55460-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Courcoubetis | Computer Aided Verification | Buch | Sack Fachmedien

    Courcoubetis Computer Aided Verification

    5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56922-0
    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

    Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57184-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heering / Nipkow / Meinke | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Heering / Nipkow / Meinke Higher-Order Algebra, Logic, and Term Rewriting

    First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58233-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matiyasevich / Nerode | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Matiyasevich / Nerode Logical Foundations of Computer Science

    Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58140-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Djidjev | Optimal Algorithms | Buch | Sack Fachmedien

    Djidjev Optimal Algorithms

    International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51859-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guessarian | Semantics of Systems of Concurrent Processes | Buch | Sack Fachmedien

    Guessarian Semantics of Systems of Concurrent Processes

    LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23¿27, 1990 Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Biere | Theory and Applications of Satisfiability Testing - SAT 2006 | Buch | Sack Fachmedien

    Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006

    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-37206-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Callaghan / Pollack / Luo | Types for Proofs and Programs | Buch | Sack Fachmedien

    Callaghan / Pollack / Luo Types for Proofs and Programs

    International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43287-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jürgensen / Boldt | Automata Implementation | Buch | Sack Fachmedien

    Jürgensen / Boldt Automata Implementation

    4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42812-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Kleine Büning | CSL'88 | Buch | Sack Fachmedien

    Börger / Richter / Kleine Büning CSL'88

    2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51659-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolfmann / Cohen | Coding Theory and Applications | Buch | Sack Fachmedien

    Wolfmann / Cohen Coding Theory and Applications

    3rd International Colloquium, Toulon, France, November 2-4, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51643-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    El Yacoubi / Bandini / Chopard | Cellular Automata | Buch | Sack Fachmedien

    El Yacoubi / Bandini / Chopard Cellular Automata

    7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40929-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg / Condon | DNA Computing | Buch | Sack Fachmedien

    Rozenberg / Condon DNA Computing

    6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42076-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coquand / Smith / Dybjer | Types for Proofs and Programs | Buch | Sack Fachmedien

    Coquand / Smith / Dybjer Types for Proofs and Programs

    International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41517-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Graf | Term Indexing | Buch | Sack Fachmedien

    Graf Term Indexing

    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61040-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlechta | Nonmonotonic Logics | Buch | Sack Fachmedien

    Schlechta Nonmonotonic Logics

    Basic Concepts, Results, and Techniques
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62482-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hindley / Groote | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hindley / Groote Typed Lambda Calculi and Applications

    Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62688-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galmiche | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Galmiche Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62920-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer | Logical Analysis of Hybrid Systems | Buch | Sack Fachmedien

    Platzer Logical Analysis of Hybrid Systems

    Proving Theorems for Complex Dynamics
    2010
    Verlag: Springer
    ISBN: 978-3-642-44474-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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