Fachgebiet
Medium
  • 24514
  • 2930
  • 56
  • 26
Erscheinungsjahr
  • 5
  • 211
  • 1248
  • 1705
  • 1447
  • 1260
  • 1161
  • 1290
  • 1261
  • 1475
  • 993
  • 1056
  • 792
  • 1031
  • 944
  • 1181
  • 702
  • 1435
  • 672
  • 704
  • 779
  • 739
  • 674
  • 584
  • 585
  • 484
  • 447
  • 332
  • 283
  • 262
  • 249
  • 231
  • 172
  • 151
  • 151
  • 102
  • 130
  • 89
  • 82
  • 65
  • 55
  • 40
  • 31
  • 21
  • 19
  • 24
  • 25
  • 17
  • 14
  • 5
  • 7
  • 6
  • 7
  • 6
  • 4
  • 5
  • 5
  • 3
  • 1
  • 1
  • 1
  • 1
Autoren
  • 6
  • 6
  • 4
  • 4
  • 7
  • 14
  • 14
  • 4
  • 5
  • 8
  • 9
  • 5
  • 7
  • 4
  • 4
  • 11
  • 14
  • 5
  • 10
  • 5
  • 5
  • 12
  • 7
  • 4
  • 4
  • 7
  • 7
  • 8
  • 8
  • 4
  • 4
  • 11
  • 5
  • 8
  • 4
  • 4
  • 11
  • 4
  • 4
  • 9
  • 4
  • 5
  • 5
  • 4
  • 10
  • 29
  • 4
  • 12
  • 4
  • 6
  • 7
  • 4
  • 4
  • 10
  • 8
  • 5
  • 4
  • 6
  • 4
  • 4
  • 6
  • 5
  • 4
  • 6
  • 15
  • 14
  • 4
  • 4
  • 5
  • 11
  • 5
  • 4
  • 33
  • 4
  • 5
  • 9
  • 8
  • 6
  • 5
  • 10
  • 8
  • 5
  • 8
  • 8
  • 6
  • 21
  • 13
  • 9
  • 6
  • 13
  • 17
  • 9
  • 5
  • 7
  • 7
  • 5
  • 5
  • 9
  • 5
  • 10
  • 6
  • 20
  • 5
  • 10
  • 8
  • 17
  • 11
  • 10
  • 6
  • 5
  • 17
  • 8
  • 5
  • 10
  • 5
  • 7
  • 20
  • 7
  • 10
  • 7
  • 6
  • 19
  • 13
  • 8
  • 7
  • 12
  • 7
  • 5
  • 19
  • 6
  • 13
  • 9
  • 5
  • 5
  • 6
  • 7
  • 6
  • 36
  • 7
  • 6
  • 5
  • 6
  • 6
  • 12
  • 6
  • 5
  • 13
  • 22
  • 5
  • 10
  • 6
  • 7
  • 5
  • 15
  • 5
  • 14
  • 104
  • 10
  • 9
  • 5
  • 7
  • 7
  • 5
  • 11
  • 5
  • 5
  • 9
  • 7
  • 15
  • 7
  • 5
  • 5
  • 6
  • 6
  • 7
  • 5
  • 6
  • 5
  • 16
  • 5
  • 5
  • 5
  • 6
  • 5
  • 7
  • 5
  • 5
  • 5
  • 5
  • 16
  • 5
  • 10
  • 7
  • 6
  • 5
  • 6
  • 5
  • 20
  • 5
  • 9
  • 7
  • 9
  • 5
  • 13
  • 12
  • 7
  • 5
  • 9
  • 10
  • 5
  • 10
  • 5
  • 11
  • 6
  • 7
  • 6
  • 13
  • 6
  • 12
  • 5
  • 23
  • 5
  • 7
  • 9
  • 21
  • 16
  • 8
  • 6
  • 7
  • 15
  • 6
  • 6
  • 5
  • 5
  • 9
  • 11
  • 7
  • 56
  • 26
  • 6
  • 7
  • 6
  • 5
  • 15
  • 20
  • 9
  • 7
  • 12
  • 5
  • 22
  • 6
  • 5
  • 5
  • 6
  • 10
  • 23
  • 5
  • 22
  • 9
  • 5
  • 7
  • 31
  • 6
  • 5
  • 6
  • 7
  • 5
  • 6
  • 8
  • 7
  • 8
  • 5
  • 7
  • 12
  • 14
  • 6
  • 6
  • 9
  • 15
  • 5
  • 15
  • 5
  • 35
  • 5
  • 5
  • 9
  • 6
  • 5
  • 6
  • 7
  • 5
  • 35
  • 12
  • 9
  • 5
  • 17
  • 12
  • 6
  • 13
  • 7
  • 5
  • 9
  • 6
  • 7
  • 8
  • 12
  • 6
  • 8
  • 6
  • 43
  • 9
  • 13
  • 6
  • 7
  • 7
  • 13
  • 8
  • 5
  • 6
  • 8
  • 5
  • 9
  • 5
  • 6
  • 10
  • 5
  • 5
  • 9
  • 5
  • 13
  • 5
  • 5
  • 7
  • 6
  • 5
  • 8
  • 10
  • 6
  • 7
  • 14
  • 5
  • 5
  • 8
  • 5
  • 9
  • 5
  • 8
  • 5
  • 20
  • 6
  • 9
  • 7
  • 8
  • 5
  • 9
  • 6
  • 8
  • 18
  • 5
  • 10
  • 7
  • 5
  • 6
  • 6
  • 7
  • 5
  • 10
  • 8
  • 8
  • 5
  • 6
  • 12
  • 6
  • 10
  • 7
  • 5
  • 7
  • 10
  • 5
  • 6
  • 18
  • 10
  • 8
  • 17
  • 8
  • 14
  • 5
  • 6
  • 6
  • 5
  • 15
  • 8
  • 14
  • 12
  • 16
  • 21
  • 7
  • 9
  • 7
  • 11
  • 5
  • 10
  • 5
  • 5
  • 8
  • 6
  • 11
  • 5
  • 5
  • 9
  • 9
  • 7
  • 10
  • 9
  • 5
  • 5
  • 5
  • 5
  • 9
  • 5
  • 13
  • 5
  • 5
  • 13
  • 5
  • 5
  • 5
  • 6
  • 6
  • 5
  • 5
  • 19
  • 5
  • 5
  • 11
  • 11
  • 6
  • 10
  • 11
  • 17
  • 7
  • 5
  • 5
  • 7
  • 18
  • 5
  • 13
  • 9
  • 5
  • 8
  • 35
  • 12
  • 7
  • 7
  • 11
  • 5
  • 5
  • 7
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 7
  • 10
  • 13
  • 8
  • 6
  • 6
  • 12
  • 5
  • 13
  • 8
  • 6
  • 6
  • 7
  • 7
  • 10
  • 22
  • 11
  • 12
  • 5
  • 11
  • 5
  • 11
  • 13
  • 5
  • 5
  • 9
  • 11
  • 8
  • 7
  • 61
  • 7
  • 9
  • 9
  • 7
  • 14
  • 5
  • 5
  • 5
  • 7
  • 12
  • 5
  • 5
  • 5
  • 9
  • 6
  • 10
  • 13
  • 9
  • 13
  • 5
  • 19
  • 5
  • 6
  • 8
  • 6
  • 12
  • 6
  • 12
  • 8
  • 18
  • 6
  • 5
  • 16
  • 6
  • 7
  • 5
  • 6
  • 8
  • 6
  • 7
  • 11
  • 14
  • 8
  • 10
  • 32
  • 11
  • 24
  • 6
  • 9
  • 14
  • 7
  • 11
  • 7
  • 7
  • 7
  • 14
  • 20
  • 9
  • 7
  • 12
  • 6
  • 36
  • 8
  • 13
  • 5
  • 6
  • 6
  • 6
  • 11
  • 5
  • 5
  • 9
  • 11
  • 5
  • 8
  • 9
  • 9
  • 5
  • 5
  • 7
  • 7
  • 5
  • 12
  • 10
  • 24
  • 7
  • 6
  • 6
  • 6
  • 5
  • 6
  • 10
  • 5
  • 6
  • 21
  • 27
  • 6
  • 5
  • 8
  • 8
  • 5
  • 5
  • 7
  • 8
  • 5
  • 6
  • 24
  • 11
  • 6
  • 6
  • 5
  • 6
  • 12
  • 5
  • 6
  • 5
  • 7
  • 7
  • 7
  • 7
  • 5
  • 16
  • 14
  • 8
  • 11
  • 9
  • 7
  • 12
  • 11
  • 32
  • 12
  • 9
  • 6
  • 8
  • 7
  • 14
  • 13
  • 5
  • 7
  • 9
  • 7
  • 8
  • 6
  • 5
  • 11
  • 5
  • 7
  • 5
  • 7
  • 6
  • 6
  • 5
  • 6
  • 5
  • 6
  • 6
  • 7
  • 6
  • 17
  • 6
  • 5
  • 7
  • 11
  • 9
  • 10
  • 10
  • 5
  • 13
  • 6
  • 7
  • 7
  • 6
  • 5
  • 7
  • 6
  • 8
  • 9
  • 5
  • 6
  • 7
  • 15
  • 5
  • 6
  • 30
  • 10
  • 13
  • 21
  • 17
  • 10
  • 8
  • 5
  • 17
  • 13
  • 13
  • 7
  • 6
  • 6
  • 12
  • 10
  • 12
  • 6
  • 6
  • 8
  • 9
  • 6
  • 7
  • 10
  • 11
  • 5
  • 10
  • 5
  • 5
  • 8
  • 8
  • 6
  • 5
  • 16
  • 6
  • 5
  • 9
  • 9
  • 9
  • 11
  • 5
  • 13
  • 6
  • 7
  • 11
  • 11
  • 6
  • 6
  • 9
  • 5
  • 9
  • 23
  • 13
  • 9
  • 6
  • 9
  • 5
  • 5
  • 5
  • 6
  • 8
  • 7
  • 6
  • 14
  • 5
  • 5
  • 7
  • 5
  • 8
  • 7
  • 5
  • 14
  • 8
  • 9
  • 12
  • 12
  • 6
  • 8
  • 6
  • 5
  • 8
  • 7
  • 7
  • 5
  • 23
  • 17
  • 9
  • 7
  • 10
  • 7
  • 6
  • 7
  • 5
  • 51
  • 5
  • 11
  • 6
  • 22
  • 5
  • 5
  • 9
  • 5
  • 15
  • 5
  • 12
  • 7
  • 16
  • 5
  • 7
  • 10
  • 5
  • 5
  • 5
  • 7
  • 12
  • 6
  • 16
  • 7
  • 6
  • 8
  • 5
  • 10
  • 12
  • 5
  • 11
  • 14
  • 5
  • 5
  • 10
  • 5
  • 5
  • 5
  • 9
  • 6
  • 7
  • 8
  • 10
  • 10
  • 5
  • 7
  • 5
  • 5
  • 8
  • 10
  • 6
  • 14
  • 7
  • 16
  • 8
  • 6
  • 6
  • 10
  • 7
  • 35
  • 46
  • 12
  • 7
  • 6
  • 6
  • 5
  • 14
  • 7
  • 5
  • 9
  • 5
  • 9
  • 20
  • 30
  • 7
  • 8
  • 15
  • 5
  • 9
  • 9
  • 20
  • 6
  • 6
  • 8
  • 5
  • 5
  • 13
  • 6
  • 6
  • 6
  • 7
  • 5
  • 8
  • 12
  • 7
  • 43
  • 10
  • 7
  • 5
  • 6
  • 6
  • 12
  • 7
  • 5
  • 7
  • 5
  • 9
  • 20
  • 7
  • 5
  • 6
  • 5
  • 7
  • 5
  • 5
  • 14
  • 6
  • 40
  • 14
  • 5
  • 8
  • 9
  • 5
  • 20
  • 12
  • 20
  • 6
  • 17
  • 14
  • 10
  • 6
  • 8
  • 17
  • 9
  • 5
  • 5
  • 6
  • 6
  • 8
  • 5
  • 8
  • 13
  • 8
  • 5
  • 14
  • 11
  • 9
  • 5
  • 7
  • 7
  • 8
  • 5
  • 10
  • 5
  • 10
  • 7
  • 5
  • 14
  • 12
  • 12
  • 24
  • 11
  • 5
  • 5
  • 10
  • 23
  • 6
  • 5
  • 10
  • 6
  • 6
  • 6
  • 5
  • 5
  • 11
  • 7
  • 5
  • 9
  • 10
  • 6
  • 10
  • 26
  • 6
  • 5
  • 15
  • 6
  • 9
  • 7
  • 6
  • 9
  • 5
  • 5
  • 15
  • 15
  • 7
  • 6
  • 21
  • 5
  • 9
  • 6
  • 7
  • 19
  • 7
  • 16
  • 7
  • 18
  • 6
  • 11
  • 7
  • 16
  • 12
  • 8
  • 6
  • 12
  • 9
  • 7
  • 8
  • 6
  • 27
  • 11
  • 6
  • 8
  • 6
  • 7
  • 5
  • 6
  • 9
  • 8
Verlag
  • 1
  • 5
  • 139
  • 5
  • 13
  • 9
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 54
  • 11
  • 3096
  • 18
  • 7
  • 35
  • 23
  • 4
  • 1
  • 11
  • 8
  • 312
  • 3
  • 1
  • 32
  • 1
  • 6
  • 19
  • 7
  • 1
  • 5
  • 3
  • 3
  • 4
  • 8
  • 223
  • 1
  • 2
  • 1
  • 231
  • 1
  • 914
  • 2
  • 1
  • 17
  • 1590
  • 2346
  • 1
  • 24
  • 1
  • 6
  • 4
  • 1
  • 8
  • 1
  • 87
  • 152
  • 4
  • 2
  • 7
  • 1
  • 7
  • 12
  • 114
  • 100
  • 1
  • 1
  • 9
  • 45
  • 1
  • 1
  • 1
  • 1
  • 16
  • 1
  • 6
  • 3
  • 2
  • 13
  • 40
  • 12
  • 83
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 3
  • 1
  • 39
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 38
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 40
  • 40
  • 6
  • 3
  • 4
  • 4
  • 2
  • 55
  • 3
  • 2
  • 6
  • 22
  • 1
  • 7
  • 95
  • 11
  • 2
  • 1
  • 1
  • 85
  • 23
  • 1
  • 4
  • 1
  • 9
  • 7
  • 8
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 4
  • 4
  • 3
  • 11
  • 1
  • 1
  • 3
  • 9
  • 52
  • 2
  • 1
  • 4
  • 2
  • 20
  • 4
  • 7
  • 1
  • 5
  • 8
  • 3
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 11
  • 11
  • 2
  • 1
  • 19
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 6
  • 34
  • 164
  • 32
  • 120
  • 2
  • 2
  • 2
  • 3
  • 1
  • 9
  • 1
  • 1
  • 5
  • 2
  • 5
  • 1
  • 1
  • 4
  • 19
  • 3
  • 11678
  • 380
  • 3
  • 512
  • 8
  • 5
  • 11
  • 144
  • 53
  • 1
  • 188
  • 1
  • 263
  • 497
  • 50
  • 6
  • 64
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 3
  • 1
  • 719
  • 1
  • 122
  • 490
  • 9
  • 1
  • 1
  • 1
  • 1
  • 27
  • 1
  • 18
  • 1
  • 9
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 22
  • 1
  • 4
  • 1
  • 4
  • 304
  • 5
  • 14
  • 4
  • 1
  • 1
  • 1
  • 497
  • 15
  • 30
  • 3
  • 2
  • 10
  • 68
  • 72
  • 4
  • 1
  • 8
  • 7
Preis
  • 812
  • 5216
  • 12347
  • 9151
Sprachen
  • 25147
  • 2383
  • 17
  • 9
  • 2
  • 1
  • 1
Verfügbarkeit
  • 27127
  • 399
Eigenschaften
  • 6
  • 5
Katalog
  • 27526
  • 2878
27.526  Titel


    Lanet / Toma Innovative Security Solutions for Information Technology and Communications

    11th International Conference, SecITC 2018, Bucharest, Romania, November 8-9, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-12941-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bae / Ölveczky Formal Aspects of Component Software

    15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-02145-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Boscarol / Carlucci Aiello / Levi Foundations of Logic and Functional Programming

    Workshop, Trento, Italy, December 15-19, 1986. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19129-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Furukawa / Tanaka / Fujisaki Logic Programming '87

    Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19426-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Karlsson / Lingas SWAT '88

    1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19487-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lepistö / Salomaa Automata, Languages and Programming

    15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19488-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Vardi / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20101-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Anderson / Felici / Littlewood Computer Safety, Reliability, and Security

    22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20126-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Rossi Principles and Practice of Constraint Programming - CP 2003

    9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20202-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gorny / Tauber Visualization in Programming

    5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20-23, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18507-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Brookes / Roscoe / Winskel Seminar on Concurrency

    Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15670-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Jouannaud Rewriting Techniques and Applications

    Dijon, France, May 20-22, 1985
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15976-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Royer A Connotational Theory of Program Structure

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18253-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Makedon / Mehlhorn / Papatheodorou VLSI Algorithms and Architectures

    Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16766-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Poli Applied Algebra, Algorithmics and Error-Correcting Codes

    2nd International Conference, AAECC-2, Toulouse, France, October 1-5, 1984. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16767-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Melton Mathematical Foundation of Programming Semantics

    International Conference, Manhattan, Kansas, April 11-12, 1985. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-16816-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cousineau / Curien / Robinet Combinators and Functional Programming Languages

    Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-17184-3
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ausiello / Atzeni ICDT'86

    International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings
    1. Auflage 1986
    Verlag: Springer
    ISBN: 978-3-540-17187-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bjørner / Jones / Mac An Airchinnigh VDM '87. VDM - A Formal Method at Work

    VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17654-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ehrig / Kowalski / Levi TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

    Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-17660-2
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Burns / Lister / Wellings A Review of Ada Tasking

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18008-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Börger Computation Theory and Logic

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18170-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Snyers / Thayse From Logic Design to Logic Programming

    Theorem Proving Techniques and P-Functions
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18217-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Nielsen / Engberg Foundations of Software Science and Computation Structures

    5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43366-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dunin-Keplicz / Nawarecki From Theory to Practice in Multi-Agent Systems

    Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43370-5
    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