Ergebnisse filtern
Fachgebiet
Medium
  • 10608
  • 2708
Erscheinungsjahr
  • 159
  • 1001
  • 1060
  • 796
  • 660
  • 394
  • 419
  • 446
  • 437
  • 431
  • 442
  • 410
  • 409
  • 426
  • 435
  • 418
  • 402
  • 252
  • 249
  • 270
  • 293
  • 217
  • 473
  • 576
  • 262
  • 257
  • 185
  • 178
  • 147
  • 142
  • 138
  • 119
  • 109
  • 97
  • 71
  • 85
  • 60
  • 59
  • 45
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 7
  • 7
  • 8
  • 9
  • 6
  • 13
  • 10
  • 13
  • 6
  • 15
  • 8
  • 17
  • 8
  • 24
  • 12
  • 7
  • 7
  • 9
  • 11
  • 9
  • 7
  • 13
  • 38
  • 52
  • 8
  • 59
  • 7
  • 11
  • 15
  • 19
  • 12
  • 6
  • 50
  • 8
  • 6
  • 6
  • 7
  • 6
  • 9
  • 6
  • 17
  • 8
  • 6
  • 9
  • 7
  • 7
  • 7
  • 10
  • 8
  • 9
  • 6
  • 23
  • 8
  • 19
  • 10
  • 12
  • 9
  • 6
  • 29
  • 8
  • 10
  • 6
  • 7
  • 58
  • 7
  • 28
  • 18
  • 10
  • 10
  • 8
  • 7
  • 7
  • 6
  • 8
  • 9
  • 12
  • 7
  • 10
  • 10
  • 6
  • 16
  • 7
  • 21
  • 10
  • 21
  • 7
  • 7
  • 10
  • 50
  • 24
  • 6
  • 11
  • 7
  • 7
  • 19
  • 8
  • 13
  • 17
  • 6
  • 6
  • 19
  • 13
  • 27
  • 16
  • 7
  • 9
  • 15
  • 9
  • 12
  • 8
  • 16
  • 9
  • 49
  • 14
  • 58
  • 9
  • 10
  • 21
  • 19
  • 7
  • 14
  • 9
  • 25
  • 12
  • 46
  • 12
  • 15
  • 10
  • 6
  • 6
  • 6
  • 7
  • 17
  • 8
  • 19
  • 6
  • 11
  • 50
  • 10
  • 12
  • 9
  • 18
  • 7
  • 7
  • 8
  • 7
  • 15
  • 14
  • 8
  • 7
  • 13
  • 18
  • 10
  • 12
  • 20
  • 8
  • 6
  • 7
  • 11
  • 9
  • 11
  • 22
  • 27
  • 10
  • 8
  • 7
  • 10
  • 7
  • 14
  • 17
  • 6
  • 27
  • 9
  • 9
  • 7
  • 8
  • 6
  • 6
  • 14
  • 6
  • 11
  • 8
  • 7
  • 7
  • 12
  • 6
  • 21
  • 14
  • 10
  • 12
  • 7
  • 49
  • 56
  • 8
  • 31
  • 7
  • 8
  • 14
  • 34
  • 13
  • 7
  • 10
  • 11
  • 20
  • 7
  • 8
  • 7
  • 8
  • 9
  • 6
  • 8
  • 6
  • 36
  • 18
  • 60
  • 15
  • 8
  • 6
  • 6
  • 21
  • 7
  • 12
  • 10
  • 10
  • 18
  • 6
  • 18
  • 7
  • 7
  • 6
  • 12
  • 9
  • 6
  • 11
  • 19
  • 23
  • 6
  • 11
  • 8
  • 13
  • 21
  • 9
  • 12
  • 6
  • 6
  • 9
  • 16
  • 6
  • 7
  • 19
  • 6
  • 74
  • 7
  • 7
  • 33
  • 6
  • 6
  • 9
  • 32
  • 9
  • 20
  • 32
  • 8
  • 125
  • 6
  • 8
  • 14
  • 10
  • 6
  • 10
  • 20
  • 11
  • 7
  • 6
  • 22
  • 18
  • 7
  • 7
  • 6
  • 14
  • 8
  • 7
  • 10
  • 18
  • 7
  • 11
  • 6
  • 7
  • 7
  • 15
  • 52
  • 6
  • 10
  • 8
  • 9
  • 7
  • 11
  • 26
  • 13
  • 10
  • 10
  • 26
  • 50
  • 11
  • 12
  • 6
  • 18
  • 8
  • 13
  • 6
  • 6
  • 7
  • 7
  • 7
  • 7
  • 18
  • 17
  • 12
  • 6
  • 8
  • 14
  • 6
  • 83
  • 8
  • 10
  • 6
  • 12
  • 6
  • 6
  • 7
  • 6
  • 11
  • 7
  • 6
  • 8
  • 7
  • 17
  • 6
  • 16
  • 7
  • 10
  • 12
  • 35
  • 7
  • 19
  • 10
  • 7
  • 7
  • 6
  • 17
  • 7
  • 17
  • 9
  • 6
  • 13
  • 10
  • 7
  • 15
  • 9
  • 7
  • 14
  • 6
  • 18
  • 7
  • 6
  • 12
  • 9
  • 10
  • 6
  • 7
  • 17
  • 6
  • 6
  • 11
  • 9
  • 6
  • 37
  • 6
  • 9
  • 8
  • 23
  • 7
  • 7
  • 7
  • 22
  • 44
  • 7
  • 9
  • 16
  • 17
  • 9
  • 7
  • 11
  • 39
  • 6
  • 13
  • 6
  • 6
  • 7
  • 6
  • 8
  • 10
  • 21
  • 6
  • 10
  • 21
  • 7
  • 22
  • 39
  • 18
  • 18
  • 7
  • 24
  • 8
  • 10
  • 7
  • 19
  • 10
  • 7
  • 39
  • 15
  • 41
  • 6
  • 53
  • 6
  • 7
  • 8
  • 7
  • 9
  • 7
  • 19
  • 6
  • 8
  • 17
  • 6
  • 12
  • 8
  • 7
  • 12
  • 9
  • 7
  • 8
  • 7
  • 17
  • 6
  • 88
  • 30
  • 31
  • 20
  • 6
  • 9
  • 21
  • 7
  • 7
  • 7
  • 9
  • 20
  • 9
  • 10
  • 8
  • 15
  • 20
  • 6
  • 18
  • 8
  • 8
  • 14
  • 18
  • 16
  • 9
  • 24
  • 21
  • 7
  • 6
  • 24
  • 11
  • 83
  • 13
  • 8
  • 21
  • 7
  • 6
  • 8
  • 18
  • 26
  • 7
  • 7
  • 8
  • 6
  • 16
  • 7
  • 7
  • 7
  • 9
  • 6
  • 14
  • 10
  • 6
  • 9
  • 31
  • 10
  • 6
  • 7
  • 7
  • 12
  • 15
  • 6
  • 15
  • 21
  • 16
  • 6
  • 18
  • 16
  • 24
  • 6
  • 6
  • 8
  • 11
  • 8
  • 17
  • 11
  • 10
  • 38
  • 11
  • 11
  • 6
  • 6
  • 6
  • 42
  • 35
  • 8
  • 6
  • 7
  • 11
  • 11
  • 12
  • 7
  • 26
  • 10
  • 9
  • 8
  • 6
  • 9
  • 6
  • 10
  • 6
  • 6
  • 10
  • 16
  • 10
  • 8
  • 6
  • 10
  • 11
  • 9
  • 13
  • 7
  • 8
  • 14
  • 6
  • 10
  • 9
  • 50
  • 6
  • 12
  • 10
  • 8
  • 8
  • 7
  • 10
  • 6
  • 10
  • 25
  • 11
  • 13
  • 7
  • 6
  • 10
  • 9
  • 10
  • 115
  • 7
  • 12
  • 6
  • 7
  • 6
  • 15
  • 8
  • 16
  • 12
  • 6
  • 6
  • 6
  • 10
  • 61
  • 20
  • 20
  • 9
  • 8
  • 11
  • 6
  • 10
  • 12
  • 8
  • 7
  • 10
  • 11
  • 6
  • 7
  • 6
  • 9
  • 13
  • 8
  • 7
  • 7
  • 7
  • 8
  • 7
  • 9
  • 6
  • 14
  • 60
  • 11
  • 10
  • 8
  • 19
  • 9
  • 6
  • 6
  • 23
  • 6
  • 12
  • 6
  • 8
  • 13
  • 7
  • 17
  • 23
  • 17
  • 8
  • 21
  • 9
  • 6
  • 12
  • 7
  • 36
  • 8
  • 14
  • 7
  • 8
  • 12
  • 11
  • 6
  • 6
  • 26
  • 18
  • 12
  • 15
  • 9
  • 10
  • 15
  • 8
  • 20
  • 8
  • 13
  • 8
  • 9
  • 6
  • 17
  • 9
  • 27
  • 10
  • 13
  • 13
  • 9
  • 7
  • 9
  • 18
  • 11
  • 11
  • 7
  • 11
  • 6
  • 22
  • 10
  • 10
  • 10
  • 8
  • 8
  • 13
  • 32
  • 16
  • 9
  • 6
  • 7
  • 10
  • 23
  • 9
  • 12
  • 11
  • 7
  • 7
  • 120
  • 8
  • 8
  • 10
  • 7
  • 32
  • 13
  • 13
  • 8
  • 18
  • 10
  • 9
  • 7
  • 11
  • 12
  • 24
  • 123
  • 6
  • 53
  • 13
  • 11
  • 13
  • 117
  • 26
  • 7
  • 19
  • 14
  • 15
  • 7
  • 11
  • 14
  • 20
  • 10
  • 9
  • 7
  • 10
  • 6
  • 10
  • 117
  • 7
  • 6
  • 8
  • 12
  • 23
  • 7
  • 14
  • 17
  • 6
  • 12
  • 19
  • 18
  • 6
  • 14
  • 9
  • 8
  • 7
  • 14
  • 12
  • 14
  • 32
  • 20
  • 9
  • 7
  • 17
  • 11
  • 6
  • 19
  • 11
  • 7
  • 29
  • 7
  • 6
  • 7
  • 6
  • 7
  • 7
  • 7
  • 15
  • 11
  • 11
  • 10
  • 6
  • 6
  • 15
  • 9
  • 13
  • 51
  • 14
  • 9
  • 10
  • 8
  • 21
  • 12
  • 7
  • 14
  • 10
  • 7
  • 14
  • 12
  • 7
  • 9
  • 10
  • 6
  • 12
  • 13
  • 53
  • 11
  • 51
  • 6
  • 15
  • 9
  • 10
  • 8
  • 15
  • 15
  • 6
  • 8
  • 6
  • 23
  • 6
  • 7
  • 7
  • 7
  • 10
  • 19
  • 10
  • 18
  • 20
  • 30
  • 7
  • 8
  • 6
  • 6
  • 7
  • 19
  • 27
  • 16
  • 14
  • 28
  • 78
  • 14
  • 17
  • 28
  • 11
  • 11
  • 8
  • 8
  • 11
  • 19
  • 23
  • 21
  • 12
  • 72
  • 27
  • 17
  • 6
  • 8
  • 14
  • 16
  • 21
  • 10
  • 10
  • 17
  • 13
  • 19
  • 7
  • 7
  • 15
  • 8
  • 6
  • 16
  • 14
  • 10
  • 10
  • 13
  • 117
  • 12
  • 6
  • 9
  • 23
  • 7
  • 17
  • 7
  • 6
  • 6
  • 7
  • 6
  • 11
  • 18
  • 14
  • 12
  • 8
  • 43
  • 8
  • 11
  • 16
  • 14
  • 7
  • 6
  • 15
  • 25
  • 9
  • 12
  • 26
  • 12
  • 6
  • 9
  • 20
  • 7
  • 20
  • 6
  • 14
  • 10
  • 10
  • 10
  • 8
  • 9
  • 6
  • 8
  • 27
  • 10
  • 16
  • 8
  • 6
  • 14
  • 7
  • 10
  • 9
  • 7
  • 11
  • 7
  • 12
  • 13
  • 10
  • 24
  • 7
  • 7
  • 12
  • 20
  • 9
  • 8
  • 11
  • 8
  • 34
  • 13
  • 7
  • 19
  • 6
  • 6
  • 27
  • 14
  • 8
  • 9
  • 16
  • 9
  • 6
  • 9
  • 24
  • 9
  • 6
  • 9
  • 6
  • 62
  • 13
  • 7
  • 8
  • 38
  • 6
  • 7
  • 11
  • 9
  • 52
  • 6
  • 19
  • 86
  • 26
  • 10
  • 12
  • 7
  • 7
  • 7
  • 41
  • 7
  • 10
  • 28
  • 23
  • 22
  • 15
  • 12
  • 12
  • 15
  • 7
  • 18
  • 7
  • 9
  • 27
Verlag
  • 2
  • 11536
  • 40
  • 1554
  • 1
  • 16
  • 4
  • 2
  • 116
  • 1
  • 1
  • 43
Preis
  • 47
  • 476
  • 10542
  • 2251
Sprachen
  • 13308
  • 19
  • 15
Verfügbarkeit
  • 13284
  • 32
Eigenschaften
  • 8
Katalog
  • 13316
  • 580
13.316  Treffer  für „Lecture Notes in Computer Science“
    Bravo / Hervás / Villarreal | Ambient Assisted Living | Buch | Sack Fachmedien

    Bravo / Hervás / Villarreal Ambient Assisted Living

    Third International Workshop, IWAAL 2011, Held at IWANN 2011, Torremolinos-Málaga, Spain, June 8-10, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21302-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vatakis / Esposito / Giagkou | Multidisciplinary Aspects of Time and Time Perception | Buch | Sack Fachmedien

    Vatakis / Esposito / Giagkou Multidisciplinary Aspects of Time and Time Perception

    COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21477-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeusfeld / Delcambre / Ling | Conceptual Modeling – ER 2011 | Buch | Sack Fachmedien

    Jeusfeld / Delcambre / Ling Conceptual Modeling – ER 2011

    30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24605-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frey / Li / Ruehrup | AD-HOC, Mobile and Wireless Networks | Buch | Sack Fachmedien

    Frey / Li / Ruehrup AD-HOC, Mobile and Wireless Networks

    10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22449-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diamantaras / Duch / Iliadis | Artificial Neural Networks - ICANN 2010 | Buch | Sack Fachmedien

    Diamantaras / Duch / Iliadis Artificial Neural Networks - ICANN 2010

    20th International Conference, Thessaloniki, Greece, Septmeber 15-18, 2020, Proceedings, Part II
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15821-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carlet / Pott | Sequences and Their Applications - SETA 2010 | Buch | Sack Fachmedien

    Carlet / Pott Sequences and Their Applications - SETA 2010

    6th International Conference, Paris, France, September 13-17, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15873-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Allbeck / Badler / Bickmore | Intelligent Virtual Agents | Buch | Sack Fachmedien

    Allbeck / Badler / Bickmore Intelligent Virtual Agents

    10th International Conference, IVA 2010, Philadelphia, PA, USA. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15891-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Detyniecki / Knees / Nürnberger | Adaptive Multimedia Retrieval. Context, Exploration and Fusion | Buch | Sack Fachmedien

    Detyniecki / Knees / Nürnberger Adaptive Multimedia Retrieval. Context, Exploration and Fusion

    8th International Workshop, AMR 2010, Linz, Austria, August 17-18, 2010. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27168-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asano / Nakano / Okamoto | Algorithms and Computation | Buch | Sack Fachmedien

    Asano / Nakano / Okamoto Algorithms and Computation

    22nd International Symposium, ISAAC 2011, Yokohama, Japan, December 5-8, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25590-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Si / Thue / André | Interactive Storytelling | Buch | Sack Fachmedien

    Si / Thue / André Interactive Storytelling

    4th International Conference on Interactive Digital Storytelling, ICIDS 2011, Vancouver, Canada, November 28-1 December, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25288-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wenyin / Luo / Wang | Web Information Systems and Mining | Buch | Sack Fachmedien

    Wenyin / Luo / Wang Web Information Systems and Mining

    International Conference, WISM 2009, Shanghai, China, November 7-8, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-05249-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev | Algorithmic Aspects of Wireless Sensor Networks | Buch | Sack Fachmedien

    Dolev Algorithmic Aspects of Wireless Sensor Networks

    5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-05433-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meadows / Fernandez-Gago | Security and Trust Management | Buch | Sack Fachmedien

    Meadows / Fernandez-Gago Security and Trust Management

    7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29962-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexander / D'Ambra / Belloum | Euro-Par 2011: Parallel Processing Workshops | Buch | Sack Fachmedien

    Alexander / D'Ambra / Belloum Euro-Par 2011: Parallel Processing Workshops

    CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29739-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kranakis / KRIZANC / Luccio | Fun with Algorithms | Buch | Sack Fachmedien

    Kranakis / KRIZANC / Luccio Fun with Algorithms

    6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30346-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brucker / Julliand | Tests and Proofs | Buch | Sack Fachmedien

    Brucker / Julliand Tests and Proofs

    6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30472-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koucheryavy / Mamatas / Matta | Wired / Wireless Internet Communication | Buch | Sack Fachmedien

    Koucheryavy / Mamatas / Matta Wired / Wireless Internet Communication

    10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30629-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sirjani | Coordination Models and Languages | Buch | Sack Fachmedien

    Sirjani Coordination Models and Languages

    14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30828-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katzenbeisser / Weippl / Camp | Trust and Trustworthy Computing | Buch | Sack Fachmedien

    Katzenbeisser / Weippl / Camp Trust and Trustworthy Computing

    5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30920-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Lim / Wang | Web-Age Information Management | Buch | Sack Fachmedien

    Gao / Lim / Wang Web-Age Information Management

    13th International Conference, WAIM 2012, Harbin, China, August 18-20, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32280-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Richards / Kang | Knowledge Management and Acquisition for Intelligent Systems | Buch | Sack Fachmedien

    Richards / Kang Knowledge Management and Acquisition for Intelligent Systems

    12th Pacific Rim Knowledge Acquisition Workshop, PKAW 2012, Kuching, Malaysia, September 5-6, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32540-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Düsterhöft / Klettke / Schewe | Conceptual Modelling and Its Theoretical Foundations | Buch | Sack Fachmedien

    Düsterhöft / Klettke / Schewe Conceptual Modelling and Its Theoretical Foundations

    Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28278-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joshi / Müller / Podelski | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Joshi / Müller / Podelski Verified Software: Theories, Tools, Experiments

    4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27704-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuncak / Rybalchenko | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Kuncak / Rybalchenko Verification, Model Checking, and Abstract Interpretation

    13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27939-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Donaldson / Parker | Model Checking Software | Buch | Sack Fachmedien

    Donaldson / Parker Model Checking Software

    19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31758-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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