Ergebnisse filtern
Fachgebiet
Medium
  • 26032
  • 3557
  • 56
  • 20
Erscheinungsjahr
  • 8
  • 233
  • 1210
  • 1958
  • 2931
  • 1265
  • 1048
  • 996
  • 1119
  • 1041
  • 1112
  • 970
  • 1014
  • 780
  • 1040
  • 957
  • 1203
  • 727
  • 1462
  • 707
  • 739
  • 794
  • 763
  • 670
  • 596
  • 611
  • 549
  • 462
  • 334
  • 286
  • 262
  • 256
  • 230
  • 173
  • 155
  • 153
  • 106
  • 130
  • 90
  • 82
  • 65
  • 56
  • 40
  • 30
  • 21
  • 19
  • 24
  • 25
  • 17
  • 15
  • 6
  • 7
  • 6
  • 7
  • 8
  • 5
  • 6
  • 6
  • 4
  • 1
  • 1
  • 1
  • 1
Autoren
  • 7
  • 14
  • 14
  • 5
  • 8
  • 9
  • 7
  • 5
  • 11
  • 14
  • 12
  • 5
  • 14
  • 9
  • 7
  • 8
  • 7
  • 7
  • 8
  • 9
  • 5
  • 8
  • 11
  • 9
  • 9
  • 5
  • 6
  • 10
  • 29
  • 25
  • 6
  • 7
  • 10
  • 8
  • 6
  • 7
  • 6
  • 5
  • 7
  • 15
  • 17
  • 6
  • 9
  • 5
  • 40
  • 5
  • 6
  • 5
  • 9
  • 8
  • 6
  • 10
  • 5
  • 10
  • 9
  • 9
  • 5
  • 7
  • 9
  • 8
  • 7
  • 22
  • 17
  • 10
  • 6
  • 14
  • 17
  • 11
  • 5
  • 7
  • 7
  • 5
  • 5
  • 9
  • 5
  • 9
  • 6
  • 28
  • 8
  • 5
  • 9
  • 5
  • 8
  • 19
  • 14
  • 6
  • 7
  • 15
  • 13
  • 6
  • 10
  • 5
  • 10
  • 7
  • 9
  • 10
  • 10
  • 7
  • 9
  • 19
  • 13
  • 10
  • 10
  • 12
  • 7
  • 5
  • 21
  • 8
  • 6
  • 13
  • 9
  • 5
  • 5
  • 6
  • 8
  • 6
  • 37
  • 6
  • 6
  • 5
  • 6
  • 6
  • 6
  • 10
  • 6
  • 5
  • 17
  • 24
  • 5
  • 10
  • 6
  • 7
  • 5
  • 17
  • 5
  • 91
  • 7
  • 8
  • 9
  • 5
  • 5
  • 7
  • 7
  • 5
  • 11
  • 5
  • 5
  • 6
  • 9
  • 7
  • 17
  • 7
  • 5
  • 5
  • 16
  • 6
  • 7
  • 5
  • 6
  • 5
  • 16
  • 5
  • 5
  • 7
  • 6
  • 7
  • 5
  • 5
  • 5
  • 5
  • 5
  • 16
  • 5
  • 10
  • 7
  • 6
  • 5
  • 6
  • 7
  • 8
  • 20
  • 5
  • 9
  • 7
  • 9
  • 11
  • 13
  • 13
  • 7
  • 5
  • 9
  • 10
  • 11
  • 5
  • 5
  • 9
  • 6
  • 7
  • 6
  • 13
  • 6
  • 24
  • 8
  • 24
  • 5
  • 8
  • 7
  • 5
  • 9
  • 21
  • 18
  • 7
  • 6
  • 8
  • 6
  • 7
  • 15
  • 6
  • 6
  • 5
  • 5
  • 7
  • 12
  • 7
  • 6
  • 56
  • 29
  • 6
  • 5
  • 7
  • 5
  • 6
  • 15
  • 21
  • 9
  • 7
  • 5
  • 6
  • 12
  • 5
  • 27
  • 9
  • 5
  • 6
  • 10
  • 6
  • 22
  • 5
  • 19
  • 9
  • 5
  • 7
  • 31
  • 6
  • 5
  • 6
  • 5
  • 7
  • 5
  • 6
  • 5
  • 6
  • 7
  • 8
  • 6
  • 7
  • 10
  • 14
  • 6
  • 7
  • 10
  • 15
  • 5
  • 16
  • 7
  • 37
  • 9
  • 5
  • 9
  • 9
  • 7
  • 5
  • 6
  • 9
  • 5
  • 36
  • 10
  • 10
  • 5
  • 18
  • 12
  • 6
  • 12
  • 7
  • 8
  • 9
  • 9
  • 8
  • 11
  • 11
  • 6
  • 8
  • 6
  • 45
  • 7
  • 9
  • 6
  • 13
  • 6
  • 7
  • 7
  • 12
  • 8
  • 5
  • 5
  • 7
  • 8
  • 5
  • 9
  • 5
  • 9
  • 5
  • 5
  • 6
  • 5
  • 13
  • 5
  • 5
  • 8
  • 7
  • 5
  • 5
  • 8
  • 10
  • 6
  • 7
  • 9
  • 5
  • 5
  • 8
  • 5
  • 9
  • 5
  • 7
  • 22
  • 6
  • 10
  • 7
  • 9
  • 8
  • 12
  • 9
  • 18
  • 10
  • 7
  • 5
  • 6
  • 7
  • 5
  • 10
  • 8
  • 6
  • 6
  • 7
  • 9
  • 5
  • 6
  • 12
  • 6
  • 10
  • 8
  • 7
  • 9
  • 5
  • 6
  • 18
  • 10
  • 8
  • 16
  • 13
  • 16
  • 7
  • 6
  • 6
  • 5
  • 5
  • 5
  • 15
  • 8
  • 14
  • 14
  • 16
  • 6
  • 21
  • 7
  • 10
  • 6
  • 7
  • 11
  • 5
  • 10
  • 5
  • 5
  • 8
  • 6
  • 5
  • 12
  • 5
  • 5
  • 9
  • 9
  • 7
  • 10
  • 9
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 7
  • 5
  • 11
  • 13
  • 6
  • 9
  • 13
  • 9
  • 5
  • 7
  • 6
  • 8
  • 5
  • 19
  • 10
  • 5
  • 7
  • 13
  • 11
  • 6
  • 10
  • 11
  • 19
  • 8
  • 8
  • 7
  • 5
  • 8
  • 21
  • 5
  • 5
  • 6
  • 13
  • 10
  • 31
  • 14
  • 12
  • 6
  • 13
  • 5
  • 6
  • 5
  • 5
  • 5
  • 7
  • 8
  • 7
  • 8
  • 16
  • 7
  • 5
  • 7
  • 10
  • 13
  • 8
  • 8
  • 6
  • 14
  • 6
  • 6
  • 5
  • 12
  • 6
  • 7
  • 6
  • 8
  • 7
  • 7
  • 10
  • 23
  • 13
  • 14
  • 7
  • 10
  • 5
  • 8
  • 12
  • 13
  • 5
  • 5
  • 11
  • 10
  • 7
  • 66
  • 6
  • 10
  • 5
  • 7
  • 14
  • 5
  • 5
  • 5
  • 7
  • 12
  • 5
  • 5
  • 6
  • 11
  • 6
  • 5
  • 10
  • 5
  • 13
  • 5
  • 9
  • 16
  • 5
  • 7
  • 5
  • 7
  • 8
  • 6
  • 12
  • 6
  • 13
  • 8
  • 19
  • 6
  • 16
  • 5
  • 6
  • 7
  • 7
  • 6
  • 6
  • 7
  • 5
  • 11
  • 14
  • 5
  • 8
  • 6
  • 10
  • 42
  • 11
  • 24
  • 6
  • 11
  • 17
  • 7
  • 12
  • 7
  • 11
  • 11
  • 14
  • 10
  • 5
  • 5
  • 24
  • 8
  • 7
  • 13
  • 8
  • 41
  • 8
  • 13
  • 5
  • 6
  • 5
  • 6
  • 6
  • 11
  • 15
  • 5
  • 5
  • 5
  • 8
  • 11
  • 6
  • 8
  • 8
  • 9
  • 5
  • 5
  • 7
  • 7
  • 5
  • 12
  • 10
  • 23
  • 7
  • 5
  • 6
  • 7
  • 6
  • 5
  • 6
  • 10
  • 6
  • 23
  • 27
  • 6
  • 5
  • 8
  • 8
  • 5
  • 7
  • 7
  • 9
  • 25
  • 11
  • 6
  • 6
  • 7
  • 6
  • 5
  • 5
  • 5
  • 12
  • 5
  • 6
  • 5
  • 8
  • 7
  • 7
  • 10
  • 5
  • 5
  • 19
  • 5
  • 13
  • 8
  • 11
  • 9
  • 7
  • 12
  • 11
  • 35
  • 13
  • 9
  • 6
  • 8
  • 7
  • 14
  • 5
  • 14
  • 5
  • 6
  • 7
  • 10
  • 5
  • 9
  • 6
  • 5
  • 13
  • 5
  • 7
  • 5
  • 9
  • 5
  • 7
  • 5
  • 6
  • 5
  • 6
  • 6
  • 7
  • 6
  • 5
  • 5
  • 9
  • 6
  • 5
  • 6
  • 11
  • 9
  • 13
  • 10
  • 5
  • 12
  • 6
  • 10
  • 7
  • 7
  • 5
  • 7
  • 6
  • 8
  • 11
  • 5
  • 5
  • 7
  • 9
  • 7
  • 16
  • 5
  • 8
  • 34
  • 8
  • 5
  • 13
  • 21
  • 21
  • 10
  • 12
  • 5
  • 16
  • 14
  • 15
  • 8
  • 7
  • 6
  • 12
  • 11
  • 13
  • 6
  • 5
  • 6
  • 8
  • 9
  • 8
  • 6
  • 10
  • 11
  • 10
  • 5
  • 7
  • 7
  • 8
  • 6
  • 5
  • 16
  • 6
  • 6
  • 7
  • 6
  • 8
  • 9
  • 9
  • 8
  • 13
  • 6
  • 7
  • 11
  • 11
  • 6
  • 9
  • 5
  • 9
  • 24
  • 15
  • 11
  • 6
  • 6
  • 5
  • 9
  • 10
  • 5
  • 6
  • 8
  • 7
  • 5
  • 7
  • 14
  • 6
  • 5
  • 5
  • 7
  • 5
  • 8
  • 7
  • 8
  • 14
  • 8
  • 9
  • 22
  • 11
  • 6
  • 8
  • 5
  • 5
  • 8
  • 6
  • 7
  • 7
  • 23
  • 5
  • 9
  • 7
  • 10
  • 7
  • 6
  • 7
  • 5
  • 49
  • 6
  • 11
  • 6
  • 24
  • 6
  • 5
  • 9
  • 5
  • 15
  • 5
  • 12
  • 7
  • 16
  • 6
  • 10
  • 5
  • 5
  • 7
  • 15
  • 6
  • 16
  • 7
  • 5
  • 8
  • 12
  • 13
  • 5
  • 11
  • 15
  • 6
  • 8
  • 5
  • 6
  • 9
  • 5
  • 6
  • 10
  • 11
  • 7
  • 5
  • 5
  • 8
  • 6
  • 7
  • 7
  • 14
  • 7
  • 16
  • 6
  • 12
  • 7
  • 47
  • 58
  • 12
  • 8
  • 6
  • 5
  • 7
  • 5
  • 9
  • 5
  • 5
  • 20
  • 10
  • 26
  • 9
  • 15
  • 9
  • 9
  • 16
  • 6
  • 5
  • 6
  • 11
  • 12
  • 6
  • 7
  • 5
  • 6
  • 9
  • 7
  • 5
  • 49
  • 8
  • 7
  • 6
  • 9
  • 7
  • 5
  • 6
  • 5
  • 9
  • 18
  • 5
  • 9
  • 5
  • 5
  • 16
  • 41
  • 13
  • 5
  • 6
  • 6
  • 6
  • 21
  • 15
  • 16
  • 7
  • 16
  • 12
  • 8
  • 6
  • 19
  • 8
  • 7
  • 7
  • 10
  • 7
  • 5
  • 5
  • 9
  • 6
  • 14
  • 7
  • 7
  • 7
  • 8
  • 5
  • 7
  • 13
  • 8
  • 8
  • 7
  • 18
  • 16
  • 10
  • 24
  • 9
  • 7
  • 23
  • 8
  • 8
  • 5
  • 6
  • 7
  • 7
  • 8
  • 5
  • 5
  • 6
  • 24
  • 6
  • 13
  • 7
  • 6
  • 6
  • 9
  • 16
  • 15
  • 7
  • 6
  • 19
  • 12
  • 9
  • 5
  • 7
  • 19
  • 7
  • 16
  • 7
  • 15
  • 6
  • 11
  • 7
  • 16
  • 8
  • 14
  • 7
  • 7
  • 12
  • 7
  • 6
  • 7
  • 8
  • 27
  • 11
  • 9
  • 8
  • 6
  • 7
  • 5
  • 6
  • 34
  • 6
Verlag
  • 1
  • 5
  • 139
  • 5
  • 9
  • 11
  • 1
  • 5
  • 6
  • 1
  • 1
  • 3
  • 1
  • 55
  • 12
  • 3355
  • 32
  • 7
  • 113
  • 23
  • 5
  • 10
  • 8
  • 311
  • 2
  • 60
  • 7
  • 6
  • 9
  • 1
  • 5
  • 4
  • 3
  • 4
  • 7
  • 389
  • 1
  • 1
  • 237
  • 3
  • 935
  • 2
  • 12
  • 1739
  • 2975
  • 1
  • 24
  • 1
  • 3
  • 1
  • 12
  • 1
  • 1
  • 91
  • 168
  • 2
  • 1
  • 1
  • 2
  • 1
  • 7
  • 2
  • 1
  • 96
  • 5
  • 4
  • 123
  • 75
  • 1
  • 1
  • 6
  • 45
  • 1
  • 1
  • 3
  • 1
  • 15
  • 1
  • 9
  • 3
  • 2
  • 6
  • 12
  • 12
  • 66
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 39
  • 1
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 38
  • 2
  • 1
  • 1
  • 1
  • 2
  • 229
  • 130
  • 26
  • 4
  • 5
  • 4
  • 2
  • 29
  • 3
  • 2
  • 7
  • 18
  • 1
  • 10
  • 1
  • 111
  • 11
  • 2
  • 1
  • 1
  • 1
  • 85
  • 1
  • 1
  • 5
  • 1
  • 2
  • 5
  • 2
  • 1
  • 2
  • 1
  • 1
  • 24
  • 2
  • 2
  • 4
  • 5
  • 3
  • 11
  • 1
  • 1
  • 3
  • 12
  • 62
  • 2
  • 2
  • 4
  • 1
  • 33
  • 7
  • 1
  • 1
  • 5
  • 8
  • 3
  • 4
  • 1
  • 1
  • 3
  • 2
  • 21
  • 2
  • 2
  • 1
  • 1
  • 5
  • 19
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 3
  • 2
  • 7
  • 28
  • 170
  • 29
  • 3
  • 122
  • 2
  • 2
  • 2
  • 3
  • 1
  • 9
  • 1
  • 1
  • 1
  • 5
  • 2
  • 5
  • 1
  • 1
  • 4
  • 20
  • 3
  • 13372
  • 76
  • 34
  • 2
  • 6
  • 1
  • 1
  • 2
  • 12
  • 35
  • 25
  • 1
  • 50
  • 114
  • 1
  • 374
  • 210
  • 15
  • 12
  • 7
  • 64
  • 3
  • 1
  • 6
  • 5
  • 3
  • 4
  • 1
  • 1
  • 703
  • 1
  • 112
  • 481
  • 152
  • 1
  • 1
  • 27
  • 1
  • 19
  • 2
  • 1
  • 9
  • 2
  • 1
  • 1
  • 1
  • 14
  • 5
  • 1
  • 3
  • 304
  • 5
  • 17
  • 4
  • 1
  • 1
  • 296
  • 27
  • 25
  • 3
  • 2
  • 4
  • 68
  • 46
  • 4
  • 1
  • 15
  • 1
  • 8
Preis
  • 1068
  • 5743
  • 13019
  • 9835
Sprachen
  • 27265
  • 2403
  • 18
  • 9
  • 1
  • 1
  • 1
Verfügbarkeit
  • 28773
  • 892
Eigenschaften
  • 9
  • 7
Katalog
  • 29665
  • 3038
29.665  Titel
    Boscarol / Carlucci Aiello / Levi | Foundations of Logic and Functional Programming | Buch | Sack Fachmedien

    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
    Etessami / Rajamani | Computer Aided Verification | Buch | Sack Fachmedien

    Etessami / Rajamani Computer Aided Verification

    17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27231-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahin / Spears / Winfield | Swarm Robotics | Buch | Sack Fachmedien

    Sahin / Spears / Winfield Swarm Robotics

    Second SAB 2006 International Workshop, Rome, Italy, September 30-October 1, 2006 Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71540-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer | Constraint Processing | Buch | Sack Fachmedien

    Meyer Constraint Processing

    Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59479-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cotronis / Dongarra | Recent Advances in Parallel Virtual Machine and Message Passing Interface | Buch | Sack Fachmedien

    Cotronis / Dongarra Recent Advances in Parallel Virtual Machine and Message Passing Interface

    8th European PVM/MPI Users' Group Meeting, Santorini/Thera, Greece, September 23-26, 2001. Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42609-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eusgeld / Freiling / Reussner | Dependability Metrics | Buch | Sack Fachmedien

    Eusgeld / Freiling / Reussner Dependability Metrics

    GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68946-1
    Medium: Buch
    46,01 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marinai / Dengel | Document Analysis Systems VI | Buch | Sack Fachmedien

    Marinai / Dengel Document Analysis Systems VI

    6th International Workshop, DAS 2004, Florence, Italy, September 8-10, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23060-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flener | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Flener Logic-Based Program Synthesis and Transformation

    8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65765-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Konstantopoulos / Perantonis / Karkaletsis | Advances in Artificial Intelligence: Theories, Models, and Applications | Buch | Sack Fachmedien

    Konstantopoulos / Perantonis / Karkaletsis Advances in Artificial Intelligence: Theories, Models, and Applications

    6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12841-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kapoor / Prasad | FST TCS 2000: Foundations of Software Technology and Theoretical Science | Buch | Sack Fachmedien

    Kapoor / Prasad FST TCS 2000: Foundations of Software Technology and Theoretical Science

    20th Conference, New Delhi, India, December13-15, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41413-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weicker | Algorithmen und Datenstrukturen | Buch | Sack Fachmedien

    Weicker Algorithmen und Datenstrukturen

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-8348-1238-4
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lew / Sebe / Huang | Human-Computer Interaction | Buch | Sack Fachmedien

    Lew / Sebe / Huang Human-Computer Interaction

    International Workshop, HCI 2007 Rio de Janeiro, Brazil, October 20, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75772-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avgeriou / Harrison / Zdun | Transactions on Pattern Languages of Programming II | Buch | Sack Fachmedien

    Avgeriou / Harrison / Zdun Transactions on Pattern Languages of Programming II

    Special lssue on Applying Patterns
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19431-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eklund / Haemmerlé | Conceptual Structures: Knowledge Visualization and Reasoning | Buch | Sack Fachmedien

    Eklund / Haemmerlé Conceptual Structures: Knowledge Visualization and Reasoning

    16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-70595-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blum / Gaspero / Roli | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Blum / Gaspero / Roli Hybrid Metaheuristics

    6th International Workshop, HM 2009 Udine, Italy, October 16-17, 2009 Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04917-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Dunne / Galloway | ZB 2000: Formal Specification and Development in Z and B | Buch | Sack Fachmedien

    Bowen / Dunne / Galloway ZB 2000: Formal Specification and Development in Z and B

    First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67944-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hlavac / Jeffery / Wiedermann | SOFSEM 2000: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Hlavac / Jeffery / Wiedermann SOFSEM 2000: Theory and Practice of Informatics

    27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41348-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Furbach / Nerode | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Furbach / Nerode Logic Programming and Nonmonotonic Reasoning

    Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63255-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancarini / Mazzara / Messina | Proceedings of 6th International Conference in Software Engineering for Defence Applications | Buch | Sack Fachmedien

    Ciancarini / Mazzara / Messina Proceedings of 6th International Conference in Software Engineering for Defence Applications

    SEDA 2018
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-14686-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurevich / Kutter / Odersky | Abstract State Machines - Theory and Applications | Buch | Sack Fachmedien

    Gurevich / Kutter / Odersky Abstract State Machines - Theory and Applications

    International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67959-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dastani / El Fallah Seghrouchni / Ricci | Programming Multi-Agent Systems | Buch | Sack Fachmedien

    Dastani / El Fallah Seghrouchni / Ricci Programming Multi-Agent Systems

    Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79042-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl | Programming Languages and Systems | Buch | Sack Fachmedien

    Seidl Programming Languages and Systems

    21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28868-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oliveira / Woodcock | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Oliveira / Woodcock Formal Methods: Foundations and Applications

    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10451-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bravetti / Núñez / Zavattaro | Web Services and Formal Methods | Buch | Sack Fachmedien

    Bravetti / Núñez / Zavattaro Web Services and Formal Methods

    Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-38862-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mueller | High-Level Parallel Programming Models and Supportive Environments | Buch | Sack Fachmedien

    Mueller High-Level Parallel Programming Models and Supportive Environments

    6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41944-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