Ergebnisse filtern
Fachgebiet
Medium
  • 24993
  • 3359
  • 56
  • 30
Erscheinungsjahr
  • 9
  • 416
  • 1653
  • 2968
  • 1283
  • 1070
  • 994
  • 1159
  • 1093
  • 1128
  • 967
  • 1023
  • 769
  • 1027
  • 955
  • 1199
  • 722
  • 1462
  • 702
  • 731
  • 789
  • 757
  • 671
  • 585
  • 617
  • 546
  • 466
  • 333
  • 286
  • 265
  • 248
  • 229
  • 173
  • 153
  • 153
  • 106
  • 130
  • 90
  • 82
  • 65
  • 56
  • 40
  • 30
  • 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
  • 4
  • 4
  • 11
  • 14
  • 10
  • 5
  • 12
  • 9
  • 4
  • 6
  • 4
  • 7
  • 7
  • 9
  • 8
  • 4
  • 4
  • 9
  • 5
  • 8
  • 4
  • 4
  • 11
  • 4
  • 6
  • 4
  • 9
  • 5
  • 5
  • 4
  • 10
  • 29
  • 4
  • 15
  • 4
  • 6
  • 7
  • 4
  • 4
  • 10
  • 8
  • 6
  • 4
  • 6
  • 4
  • 4
  • 6
  • 5
  • 4
  • 6
  • 15
  • 14
  • 4
  • 5
  • 10
  • 5
  • 34
  • 6
  • 9
  • 8
  • 6
  • 5
  • 10
  • 8
  • 6
  • 5
  • 8
  • 8
  • 6
  • 21
  • 15
  • 10
  • 6
  • 13
  • 17
  • 9
  • 5
  • 7
  • 7
  • 5
  • 5
  • 9
  • 5
  • 9
  • 6
  • 21
  • 7
  • 10
  • 8
  • 17
  • 12
  • 9
  • 6
  • 5
  • 15
  • 11
  • 6
  • 10
  • 5
  • 10
  • 7
  • 11
  • 7
  • 10
  • 7
  • 7
  • 19
  • 13
  • 8
  • 9
  • 12
  • 7
  • 5
  • 19
  • 5
  • 6
  • 13
  • 9
  • 5
  • 5
  • 5
  • 6
  • 7
  • 6
  • 37
  • 7
  • 6
  • 5
  • 6
  • 6
  • 6
  • 11
  • 6
  • 5
  • 13
  • 24
  • 5
  • 10
  • 6
  • 7
  • 5
  • 13
  • 5
  • 14
  • 104
  • 10
  • 9
  • 5
  • 7
  • 7
  • 5
  • 11
  • 5
  • 5
  • 9
  • 7
  • 12
  • 7
  • 5
  • 5
  • 12
  • 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
  • 13
  • 7
  • 5
  • 9
  • 10
  • 10
  • 5
  • 9
  • 6
  • 7
  • 6
  • 13
  • 6
  • 15
  • 7
  • 23
  • 5
  • 6
  • 7
  • 9
  • 20
  • 16
  • 6
  • 8
  • 6
  • 7
  • 15
  • 6
  • 6
  • 5
  • 5
  • 9
  • 11
  • 7
  • 56
  • 26
  • 6
  • 7
  • 5
  • 15
  • 21
  • 9
  • 7
  • 12
  • 5
  • 22
  • 6
  • 5
  • 5
  • 6
  • 10
  • 6
  • 22
  • 5
  • 19
  • 9
  • 5
  • 5
  • 31
  • 6
  • 5
  • 6
  • 7
  • 5
  • 6
  • 6
  • 7
  • 8
  • 6
  • 7
  • 12
  • 14
  • 6
  • 6
  • 9
  • 15
  • 5
  • 15
  • 5
  • 35
  • 7
  • 5
  • 9
  • 7
  • 5
  • 6
  • 7
  • 5
  • 37
  • 12
  • 9
  • 5
  • 18
  • 12
  • 6
  • 9
  • 7
  • 5
  • 9
  • 6
  • 7
  • 8
  • 11
  • 6
  • 8
  • 6
  • 42
  • 9
  • 6
  • 13
  • 6
  • 7
  • 7
  • 13
  • 8
  • 5
  • 7
  • 8
  • 5
  • 9
  • 5
  • 9
  • 5
  • 5
  • 6
  • 5
  • 13
  • 5
  • 5
  • 7
  • 7
  • 5
  • 8
  • 10
  • 6
  • 7
  • 14
  • 5
  • 5
  • 8
  • 5
  • 9
  • 5
  • 7
  • 5
  • 20
  • 6
  • 9
  • 7
  • 8
  • 5
  • 8
  • 8
  • 8
  • 18
  • 10
  • 7
  • 5
  • 6
  • 6
  • 7
  • 5
  • 10
  • 8
  • 5
  • 8
  • 7
  • 5
  • 6
  • 12
  • 6
  • 10
  • 8
  • 5
  • 7
  • 9
  • 5
  • 6
  • 18
  • 10
  • 8
  • 16
  • 8
  • 14
  • 5
  • 6
  • 5
  • 5
  • 15
  • 8
  • 14
  • 11
  • 16
  • 21
  • 7
  • 9
  • 7
  • 11
  • 5
  • 10
  • 5
  • 5
  • 8
  • 6
  • 12
  • 5
  • 5
  • 9
  • 9
  • 7
  • 10
  • 9
  • 5
  • 5
  • 5
  • 5
  • 5
  • 9
  • 5
  • 7
  • 13
  • 5
  • 5
  • 13
  • 5
  • 5
  • 6
  • 6
  • 5
  • 5
  • 19
  • 5
  • 5
  • 11
  • 11
  • 6
  • 10
  • 11
  • 17
  • 8
  • 6
  • 6
  • 7
  • 6
  • 21
  • 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
  • 12
  • 6
  • 7
  • 6
  • 6
  • 7
  • 7
  • 10
  • 22
  • 11
  • 12
  • 5
  • 11
  • 5
  • 8
  • 11
  • 13
  • 5
  • 5
  • 7
  • 11
  • 8
  • 7
  • 62
  • 6
  • 10
  • 7
  • 7
  • 14
  • 5
  • 5
  • 5
  • 7
  • 12
  • 5
  • 5
  • 6
  • 9
  • 6
  • 10
  • 13
  • 9
  • 15
  • 5
  • 9
  • 5
  • 6
  • 8
  • 6
  • 12
  • 6
  • 12
  • 8
  • 19
  • 6
  • 5
  • 16
  • 5
  • 7
  • 5
  • 6
  • 6
  • 7
  • 11
  • 14
  • 8
  • 6
  • 10
  • 32
  • 8
  • 11
  • 24
  • 6
  • 9
  • 14
  • 7
  • 12
  • 7
  • 7
  • 7
  • 14
  • 20
  • 8
  • 7
  • 12
  • 8
  • 36
  • 8
  • 13
  • 5
  • 6
  • 6
  • 6
  • 11
  • 5
  • 5
  • 9
  • 11
  • 8
  • 8
  • 9
  • 5
  • 5
  • 7
  • 7
  • 5
  • 12
  • 10
  • 23
  • 7
  • 5
  • 6
  • 6
  • 6
  • 5
  • 6
  • 10
  • 6
  • 21
  • 27
  • 6
  • 5
  • 8
  • 8
  • 5
  • 7
  • 8
  • 5
  • 6
  • 25
  • 11
  • 6
  • 5
  • 6
  • 5
  • 5
  • 12
  • 5
  • 6
  • 5
  • 7
  • 7
  • 7
  • 9
  • 5
  • 17
  • 13
  • 8
  • 10
  • 9
  • 7
  • 12
  • 11
  • 32
  • 12
  • 9
  • 6
  • 6
  • 7
  • 14
  • 13
  • 5
  • 7
  • 9
  • 5
  • 9
  • 6
  • 5
  • 11
  • 5
  • 7
  • 5
  • 6
  • 6
  • 5
  • 6
  • 5
  • 6
  • 6
  • 7
  • 6
  • 17
  • 6
  • 5
  • 6
  • 11
  • 9
  • 10
  • 10
  • 5
  • 13
  • 6
  • 7
  • 7
  • 6
  • 5
  • 7
  • 6
  • 8
  • 9
  • 5
  • 6
  • 7
  • 16
  • 5
  • 6
  • 29
  • 10
  • 13
  • 21
  • 17
  • 10
  • 8
  • 5
  • 16
  • 13
  • 13
  • 7
  • 6
  • 6
  • 12
  • 10
  • 12
  • 6
  • 5
  • 6
  • 8
  • 9
  • 8
  • 6
  • 10
  • 11
  • 5
  • 10
  • 5
  • 7
  • 8
  • 8
  • 6
  • 5
  • 16
  • 6
  • 5
  • 6
  • 9
  • 9
  • 9
  • 9
  • 10
  • 5
  • 13
  • 7
  • 8
  • 11
  • 11
  • 6
  • 6
  • 9
  • 5
  • 9
  • 23
  • 13
  • 12
  • 6
  • 9
  • 5
  • 5
  • 5
  • 6
  • 8
  • 7
  • 6
  • 14
  • 5
  • 5
  • 7
  • 5
  • 8
  • 7
  • 5
  • 14
  • 8
  • 9
  • 12
  • 12
  • 6
  • 8
  • 8
  • 5
  • 8
  • 6
  • 7
  • 5
  • 23
  • 6
  • 9
  • 7
  • 10
  • 7
  • 6
  • 7
  • 5
  • 49
  • 5
  • 11
  • 6
  • 24
  • 5
  • 5
  • 9
  • 5
  • 15
  • 5
  • 12
  • 7
  • 16
  • 5
  • 7
  • 10
  • 5
  • 5
  • 5
  • 7
  • 14
  • 6
  • 16
  • 7
  • 6
  • 8
  • 5
  • 10
  • 12
  • 5
  • 13
  • 16
  • 5
  • 10
  • 5
  • 5
  • 5
  • 9
  • 6
  • 7
  • 8
  • 10
  • 10
  • 5
  • 7
  • 5
  • 5
  • 8
  • 10
  • 6
  • 6
  • 14
  • 7
  • 16
  • 8
  • 6
  • 6
  • 11
  • 7
  • 35
  • 46
  • 12
  • 7
  • 6
  • 6
  • 7
  • 14
  • 7
  • 5
  • 9
  • 5
  • 9
  • 20
  • 30
  • 7
  • 8
  • 15
  • 5
  • 9
  • 9
  • 16
  • 6
  • 5
  • 8
  • 5
  • 5
  • 13
  • 6
  • 6
  • 6
  • 7
  • 5
  • 5
  • 8
  • 12
  • 7
  • 43
  • 10
  • 7
  • 6
  • 11
  • 7
  • 5
  • 8
  • 6
  • 5
  • 9
  • 20
  • 7
  • 5
  • 7
  • 5
  • 5
  • 5
  • 14
  • 6
  • 39
  • 13
  • 5
  • 8
  • 8
  • 5
  • 20
  • 12
  • 20
  • 18
  • 14
  • 8
  • 6
  • 8
  • 17
  • 9
  • 5
  • 6
  • 12
  • 5
  • 6
  • 5
  • 12
  • 6
  • 5
  • 14
  • 11
  • 9
  • 5
  • 7
  • 7
  • 8
  • 5
  • 10
  • 5
  • 9
  • 7
  • 5
  • 14
  • 12
  • 12
  • 24
  • 11
  • 5
  • 8
  • 23
  • 6
  • 10
  • 5
  • 6
  • 5
  • 5
  • 7
  • 5
  • 5
  • 9
  • 8
  • 8
  • 24
  • 6
  • 5
  • 13
  • 7
  • 6
  • 5
  • 6
  • 9
  • 5
  • 5
  • 15
  • 15
  • 7
  • 6
  • 21
  • 5
  • 9
  • 6
  • 7
  • 19
  • 7
  • 16
  • 7
  • 14
  • 6
  • 11
  • 7
  • 16
  • 12
  • 8
  • 6
  • 12
  • 9
  • 7
  • 8
  • 6
  • 27
  • 11
  • 8
  • 6
  • 7
  • 5
  • 6
  • 9
  • 8
Verlag
  • 1
  • 5
  • 142
  • 5
  • 13
  • 11
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 54
  • 11
  • 3288
  • 24
  • 7
  • 14
  • 23
  • 5
  • 10
  • 7
  • 315
  • 3
  • 1
  • 42
  • 7
  • 16
  • 9
  • 1
  • 5
  • 3
  • 3
  • 4
  • 8
  • 284
  • 1
  • 2
  • 1
  • 1
  • 225
  • 1
  • 933
  • 2
  • 1
  • 17
  • 1623
  • 2744
  • 1
  • 24
  • 1
  • 6
  • 1
  • 11
  • 1
  • 84
  • 158
  • 3
  • 1
  • 2
  • 1
  • 7
  • 1
  • 6
  • 12
  • 127
  • 100
  • 1
  • 1
  • 9
  • 45
  • 1
  • 1
  • 1
  • 15
  • 1
  • 7
  • 3
  • 2
  • 14
  • 15
  • 12
  • 83
  • 4
  • 1
  • 1
  • 1
  • 1
  • 7
  • 4
  • 1
  • 39
  • 1
  • 8
  • 2
  • 1
  • 1
  • 1
  • 37
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 48
  • 48
  • 27
  • 5
  • 4
  • 4
  • 1
  • 1
  • 57
  • 3
  • 2
  • 7
  • 22
  • 1
  • 10
  • 1
  • 122
  • 11
  • 2
  • 1
  • 1
  • 1
  • 89
  • 23
  • 2
  • 5
  • 1
  • 9
  • 7
  • 1
  • 1
  • 2
  • 1
  • 1
  • 21
  • 2
  • 3
  • 1
  • 4
  • 5
  • 3
  • 11
  • 1
  • 1
  • 3
  • 12
  • 62
  • 2
  • 1
  • 4
  • 2
  • 34
  • 4
  • 7
  • 1
  • 5
  • 8
  • 3
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 18
  • 5
  • 2
  • 1
  • 19
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 2
  • 6
  • 35
  • 166
  • 30
  • 3
  • 125
  • 2
  • 2
  • 2
  • 3
  • 1
  • 9
  • 1
  • 1
  • 1
  • 5
  • 2
  • 5
  • 1
  • 1
  • 4
  • 20
  • 3
  • 11924
  • 315
  • 1
  • 391
  • 7
  • 5
  • 1
  • 12
  • 107
  • 17
  • 1
  • 160
  • 1
  • 378
  • 442
  • 47
  • 6
  • 63
  • 3
  • 1
  • 3
  • 3
  • 3
  • 1
  • 3
  • 3
  • 1
  • 760
  • 1
  • 122
  • 505
  • 25
  • 1
  • 1
  • 1
  • 1
  • 27
  • 1
  • 18
  • 1
  • 9
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 18
  • 4
  • 1
  • 4
  • 304
  • 5
  • 15
  • 4
  • 1
  • 1
  • 1
  • 499
  • 20
  • 29
  • 3
  • 2
  • 3
  • 68
  • 73
  • 4
  • 1
  • 12
  • 8
Preis
  • 1024
  • 5601
  • 12483
  • 9330
Sprachen
  • 26081
  • 2363
  • 17
  • 9
  • 1
  • 1
  • 1
Verfügbarkeit
  • 27915
  • 523
Eigenschaften
  • 17
  • 5
Katalog
  • 28438
  • 2920
28.438  Titel
    McMillan / Middeldorp / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    McMillan / Middeldorp / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45220-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kunii / Jajodia / Soelvberg | Conceptual Modeling - ER 2001 | Buch | Sack Fachmedien

    Kunii / Jajodia / Soelvberg Conceptual Modeling - ER 2001

    20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42866-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Duff / Brukardt | Consolidated Ada Reference Manual | Buch | Sack Fachmedien

    Taft / Duff / Brukardt Consolidated Ada Reference Manual

    Language and Standard Libraries
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-43038-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagi | Transactional Agents | Buch | Sack Fachmedien

    Nagi Transactional Agents

    Towards a Robust Multi-Agent System
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-43046-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson / Felici / Littlewood | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    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
    Jeuring / Peyton Jones | Advanced Functional Programming | Buch | Sack Fachmedien

    Jeuring / Peyton Jones Advanced Functional Programming

    4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40132-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nürnberg | Metainformatics | Buch | Sack Fachmedien

    Nürnberg Metainformatics

    International Symposium, MIS 2002, Esbjerg, Denmark, August 7-10, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40218-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeza-Yates / Chávez / Crochemore | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Baeza-Yates / Chávez / Crochemore Combinatorial Pattern Matching

    14th Annual Symposium, CPM 2003, Morelia, Michoacán, Mexico, June 25-27, 2003, Proceedings
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40311-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hofmann | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Hofmann Typed Lambda Calculi and Applications

    6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40332-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed | SDL 2003: System Design | Buch | Sack Fachmedien

    Reed SDL 2003: System Design

    11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40539-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Margraf / Mastrolilli | Experimental and Efficient Algorithms | Buch | Sack Fachmedien

    Jansen / Margraf / Mastrolilli Experimental and Efficient Algorithms

    Second International Workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40205-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freksa / Brauer / Habel | Spatial Cognition III | Buch | Sack Fachmedien

    Freksa / Brauer / Habel Spatial Cognition III

    Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40430-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leuschel | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Leuschel Logic Based Program Synthesis and Transformation

    12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40438-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hancock / Vento | Graph Based Representations in Pattern Recognition | Buch | Sack Fachmedien

    Hancock / Vento Graph Based Representations in Pattern Recognition

    4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40452-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maurer / Wells | Extreme Programming and Agile Methods - XP/Agile Universe 2003 | Buch | Sack Fachmedien

    Maurer / Wells Extreme Programming and Agile Methods - XP/Agile Universe 2003

    Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40662-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardi / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    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
    Wilson / Martin | Mathematics of Surfaces | Buch | Sack Fachmedien

    Wilson / Martin Mathematics of Surfaces

    10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20053-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Kano | Discrete and Computational Geometry | Buch | Sack Fachmedien

    Akiyama / Kano Discrete and Computational Geometry

    Japanese Conference, JCDCG 2002, Tokyo, Japan, December 6-9, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20776-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Winkler | Automated Deduction in Geometry | Buch | Sack Fachmedien

    Winkler Automated Deduction in Geometry

    4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20927-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramos / Unger / Larios | Advanced Distributed Systems | Buch | Sack Fachmedien

    Ramos / Unger / Larios Advanced Distributed Systems

    Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22172-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosch / Krueger | Software Reuse: Methods, Techniques, and Tools | Buch | Sack Fachmedien

    Bosch / Krueger Software Reuse: Methods, Techniques, and Tools

    8th International Conference, ICSR 2004, Madrid, Spain, July 5-9, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22335-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sahinalp / Muthukrishnan / Dogrusoz | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Sahinalp / Muthukrishnan / Dogrusoz Combinatorial Pattern Matching

    15th Annual Symposium, CPM 2004, Istanbul, Turkey, July 5-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22341-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Peled | Computer Aided Verification | Buch | Sack Fachmedien

    Alur / Peled Computer Aided Verification

    16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22342-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basin / Rusinowitch | Automated Reasoning | Buch | Sack Fachmedien

    Basin / Rusinowitch Automated Reasoning

    Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22345-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bellahsène / Milo / Rys | Database and XML Technologies | Buch | Sack Fachmedien

    Bellahsène / Milo / Rys Database and XML Technologies

    Second International XML Database Symposium, XSym 2004, Toronto, Canada, August 29-30, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22969-8
    Medium: Buch
    53,49 € (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
    Heisel / Liggesmeyer / Wittmann | Computer Safety, Reliability, and Security | Buch | Sack Fachmedien

    Heisel / Liggesmeyer / Wittmann Computer Safety, Reliability, and Security

    23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24,2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23176-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karlsson / Lingas | SWAT '88 | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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
    Bloomfield / Marshall / Jones | VDM '88. VDM - The Way Ahead | Buch | Sack Fachmedien

    Bloomfield / Marshall / Jones VDM '88. VDM - The Way Ahead

    2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50214-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Roever / Rozenberg | Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency | Buch | Sack Fachmedien

    Bakker / Roever / Rozenberg Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

    School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
    1. Auflage 1989
    Verlag: Springer
    ISBN: 978-3-540-51080-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zima | Parallel Computation | Buch | Sack Fachmedien

    Zima Parallel Computation

    First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55437-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eriksson / Hallnäs / Schroeder-Heister | Extensions of Logic Programming | Buch | Sack Fachmedien

    Eriksson / Hallnäs / Schroeder-Heister Extensions of Logic Programming

    Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55498-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krieg-Brückner | ESOP '92 | Buch | Sack Fachmedien

    Krieg-Brückner ESOP '92

    4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55253-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bochmann / Probst | Computer Aided Verification | Buch | Sack Fachmedien

    Bochmann / Probst Computer Aided Verification

    Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56496-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gauthier | Ada-Europe '93 | Buch | Sack Fachmedien

    Gauthier Ada-Europe '93

    12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56802-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rombach / Basili / Selby | Experimental Software Engineering Issues: | Buch | Sack Fachmedien

    Rombach / Basili / Selby Experimental Software Engineering Issues:

    Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57092-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Esik | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Esik Fundamentals of Computation Theory

    9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57163-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sommerville / Paul | Software Engineering - ESEC '93 | Buch | Sack Fachmedien

    Sommerville / Paul Software Engineering - ESEC '93

    4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57209-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Hoare / Langmaack | VDM '90. VDM and Z - Formal Methods in Software Development | Buch | Sack Fachmedien

    Bjørner / Hoare / Langmaack VDM '90. VDM and Z - Formal Methods in Software Development

    Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52513-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faugeras | Computer Vision - ECCV 90 | Buch | Sack Fachmedien

    Faugeras Computer Vision - ECCV 90

    First European Conference on Computer Vision. Antibes, France, April 23-27, 1990. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52522-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones | ESOP '90 | Buch | Sack Fachmedien

    Jones ESOP '90

    3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52592-9
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diekert | Combinatorics on Traces | Buch | Sack Fachmedien

    Diekert Combinatorics on Traces

    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-53031-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Jourdan | Attribute Grammars and their Applications | Buch | Sack Fachmedien

    Deransart / Jourdan Attribute Grammars and their Applications

    International Conference, Paris, France, September 19-21, 1990
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-53101-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fuhrmann / Morreau | The Logic of Theory Change | Buch | Sack Fachmedien

    Fuhrmann / Morreau The Logic of Theory Change

    Workshop, Konstanz, FRG, October 13-15, 1989, Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53567-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banatre / Le Metayer | Research Directions in High-Level Parallel Programming Languages | Buch | Sack Fachmedien

    Banatre / Le Metayer Research Directions in High-Level Parallel Programming Languages

    Mont Saint-Michel, France, June 17-19, 1991 Proceedings
    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55160-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Skou | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Skou Computer Aided Verification

    3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55179-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katwijk | Ada: Moving Towards 2000 | Buch | Sack Fachmedien

    Katwijk Ada: Moving Towards 2000

    11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55585-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brewka / Jantke / Schmitt | Nonmonotonic and Inductive Logic | Buch | Sack Fachmedien

    Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic

    Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56433-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamma / Mello | Extensions of Logic Programming | Buch | Sack Fachmedien

    Lamma / Mello Extensions of Logic Programming

    Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56454-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezem / Groote | Typed Lambda Calculi and Applications | Buch | Sack Fachmedien

    Bezem / Groote Typed Lambda Calculi and Applications

    International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56517-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mira / Cabestany / Prieto | New Trends in Neural Computation | Buch | Sack Fachmedien

    Mira / Cabestany / Prieto New Trends in Neural Computation

    International Workshop on Artificial Neural Networks, IWANN'93, Sitges, Spain, June 9-11, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-56798-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kropf | Formal Hardware Verification | Buch | Sack Fachmedien

    Kropf Formal Hardware Verification

    Methods and Systems in Comparison
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63475-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mayr / Prömel / Steger | Lectures on Proof Verification and Approximation Algorithms | Buch | Sack Fachmedien

    Mayr / Prömel / Steger Lectures on Proof Verification and Approximation Algorithms

    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-540-64201-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ausnit-Hood / Johnson / Pettit IV | Ada 95, Quality and Style | Buch | Sack Fachmedien

    Ausnit-Hood / Johnson / Pettit IV Ada 95, Quality and Style

    Guidelines for Professional Programmers
    1995
    Verlag: Springer
    ISBN: 978-3-540-63823-0
    Medium: Buch
    47,08 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Knapp / Balsamo | Radical Innovations of Software and Systems Engineering in the Future | Buch | Sack Fachmedien

    Wirsing / Knapp / Balsamo Radical Innovations of Software and Systems Engineering in the Future

    9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21179-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauchwerger | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Rauchwerger Languages and Compilers for Parallel Computing

    16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21199-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen / Podelski | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Jensen / Podelski Tools and Algorithms for the Construction and Analysis of Systems

    10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21299-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McDonald / Tait | Advances in Information Retrieval | Buch | Sack Fachmedien

    McDonald / Tait Advances in Information Retrieval

    26th European Conference on IR Research, ECIR 2004, Sunderland, UK, April 5-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21382-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Niebert | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Larsen / Niebert Formal Modeling and Analysis of Timed Systems

    First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21671-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pajdla / Matas | Computer Vision - ECCV 2004 | Buch | Sack Fachmedien

    Pajdla / Matas Computer Vision - ECCV 2004

    8th European Conference on Computer Vision, Prague, Czech Republic, May 11-14, 2004. Proceedings, Part IV
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21981-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crnkovic / Stafford / Schmidt | Component-Based Software Engineering | Buch | Sack Fachmedien

    Crnkovic / Stafford / Schmidt Component-Based Software Engineering

    7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21998-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nemhauser / Bienstock | Integer Programming and Combinatorial Optimization | Buch | Sack Fachmedien

    Nemhauser / Bienstock Integer Programming and Combinatorial Optimization

    10th International IPCO Conference, New York, NY, USA, June 7-11, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22113-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berardi / Coppo / Damiani | Types for Proofs and Programs | Buch | Sack Fachmedien

    Berardi / Coppo / Damiani Types for Proofs and Programs

    International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22164-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Metaxas / Cotin | Medical Simulation | Buch | Sack Fachmedien

    Metaxas / Cotin Medical Simulation

    International Symposium, ISMS 2004, Cambridge, MA, USA, June 17-18, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22186-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi | Rapid Integration of Software Engineering Techniques | Buch | Sack Fachmedien

    Guelfi Rapid Integration of Software Engineering Techniques

    First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25812-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baird / Lopresti | Human Interactive Proofs | Buch | Sack Fachmedien

    Baird / Lopresti Human Interactive Proofs

    Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26001-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heineman / Crnkovic / Schmidt | Component-Based Software Engineering | Buch | Sack Fachmedien

    Heineman / Crnkovic / Schmidt Component-Based Software Engineering

    8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25877-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Zavattaro | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Steffen / Zavattaro Formal Methods for Open Object-Based Distributed Systems

    7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26181-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vardanega / Wellings | Reliable Software Technology - Ada-Europe 2005 | Buch | Sack Fachmedien

    Vardanega / Wellings Reliable Software Technology - Ada-Europe 2005

    10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26286-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
    Li / Wang / Dong | Advanced Data Mining and Applications | Buch | Sack Fachmedien

    Li / Wang / Dong Advanced Data Mining and Applications

    First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27894-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Black | ECOOP 2005 - Object-Oriented Programming | Buch | Sack Fachmedien

    Black ECOOP 2005 - Object-Oriented Programming

    19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-27992-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nieuwenhuis | Automated Deduction - CADE-20 | Buch | Sack Fachmedien

    Nieuwenhuis Automated Deduction - CADE-20

    20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28005-7
    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
    Margenstern / Rogozhin | Machines, Computations, and Universality | Buch | Sack Fachmedien

    Margenstern / Rogozhin Machines, Computations, and Universality

    Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42121-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boulton / Jackson | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Boulton / Jackson Theorem Proving in Higher Order Logics

    14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42525-0
    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
    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
    He / Sato | Advances in Computing Science - ASIAN 2000 | Buch | Sack Fachmedien

    He / Sato Advances in Computing Science - ASIAN 2000

    6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41428-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bachmair | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Bachmair Rewriting Techniques and Applications

    11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67778-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Du / Eades / Estivill-Castro | Computing and Combinatorics | Buch | Sack Fachmedien

    Du / Eades / Estivill-Castro Computing and Combinatorics

    6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67787-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masand / Spiliopoulou | Web Usage Analysis and User Profiling | Buch | Sack Fachmedien

    Masand / Spiliopoulou Web Usage Analysis and User Profiling

    International WEBKDD'99 Workshop San Diego, CA, USA, August 15, 1999 Revised Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67818-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Jain | Biometric Authentication | Buch | Sack Fachmedien

    Zhang / Jain Biometric Authentication

    First International Conference, ICBA 2004, Hong Kong, China, July 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22146-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koch / Fraternali / Wirsing | Web Engineering | Buch | Sack Fachmedien

    Koch / Fraternali / Wirsing Web Engineering

    4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22511-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeckle / Kowalczyk / Braun | Grid Services Engineering and Management | Buch | Sack Fachmedien

    Jeckle / Kowalczyk / Braun Grid Services Engineering and Management

    First International Conference, GSEM 2004, Erfurt, Germany, September 27-30, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23301-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chwa / Munro | Computing and Combinatorics | Buch | Sack Fachmedien

    Chwa / Munro Computing and Combinatorics

    10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22856-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahn | Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space | Buch | Sack Fachmedien

    Ahn Least Squares Orthogonal Distance Fitting of Curves and Surfaces in Space

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23966-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Cousot Verification, Model Checking, and Abstract Interpretation

    6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24297-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polani / Browning / Bonarini | RoboCup 2003: Robot Soccer World Cup VII | Buch | Sack Fachmedien

    Polani / Browning / Bonarini RoboCup 2003: Robot Soccer World Cup VII

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22443-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heery / Lyon | Research and Advanced Technology for Digital Libraries | Buch | Sack Fachmedien

    Heery / Lyon Research and Advanced Technology for Digital Libraries

    8th European Conference, ECDL 2004, Bath, UK, September 12-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23013-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vreede / Guerrero / Marín Raventós | Groupware: Design, Implementation, and Use | Buch | Sack Fachmedien

    Vreede / Guerrero / Marín Raventós Groupware: Design, Implementation, and Use

    10th International Workshop, CRIWG 2004, San Carlos, Costa Rica, September 5-9, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23016-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Futatsugi / Mizoguchi / Yonezaki | Software Security - Theories and Systems | Buch | Sack Fachmedien

    Futatsugi / Mizoguchi / Yonezaki Software Security - Theories and Systems

    Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23635-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dingsøyr | Software Process Improvement | Buch | Sack Fachmedien

    Dingsøyr Software Process Improvement

    11th European Conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23725-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roca / Rousseau | Interactive Multimedia and Next Generation Networks | Buch | Sack Fachmedien

    Roca / Rousseau Interactive Multimedia and Next Generation Networks

    Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23928-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klette / Zunic | Combinatorial Image Analysis | Buch | Sack Fachmedien

    Klette / Zunic Combinatorial Image Analysis

    10th International Workshop, IWCIA 2004, Auckland, New Zealand, December 1-3, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23942-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ijspeert / Murata / Wakamiya | Biologically Inspired Approaches to Advanced Information Technology | Buch | Sack Fachmedien

    Ijspeert / Murata / Wakamiya Biologically Inspired Approaches to Advanced Information Technology

    First International Workshop, BioADIT 2004, Lausanne, Switzerland, January 29-30, 2004. Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23339-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouzeghoub / Goble / Kashyap | Semantics of a Networked World. Semantics for Grid Databases | Buch | Sack Fachmedien

    Bouzeghoub / Goble / Kashyap Semantics of a Networked World. Semantics for Grid Databases

    First International IFIP Conference on Semantics of a Networked World: ICSNW 2004, Paris, France, June 17-19, 2004. Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23609-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Floyd / Nivat | Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 | Buch | Sack Fachmedien

    Ehrig / Floyd / Nivat Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

    Volume 2: Colloquium on Software Engineering (CSE)
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15199-9
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Denvir / Harwood / Jackson | The Analysis of Concurrent Systems | Buch | Sack Fachmedien

    Denvir / Harwood / Jackson The Analysis of Concurrent Systems

    Cambridge, September 12-16, 1983. Proceedings
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-16047-2
    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