Fachgebiet
Medium
  • 5660
  • 188
  • 64
  • 29
  • 1
Erscheinungsjahr
  • 7
  • 88
  • 249
  • 182
  • 179
  • 162
  • 165
  • 166
  • 184
  • 103
  • 256
  • 159
  • 226
  • 207
  • 173
  • 158
  • 607
  • 103
  • 235
  • 370
  • 314
  • 140
  • 76
  • 141
  • 95
  • 99
  • 83
  • 73
  • 146
  • 125
  • 116
  • 83
  • 75
  • 69
  • 62
  • 70
  • 54
  • 38
  • 21
  • 29
  • 8
  • 8
  • 3
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 25
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 7
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 11
  • 4
  • 6
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 3
  • 6
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 9
  • 5
  • 2
  • 2
  • 15
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 6
  • 8
  • 3
  • 7
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 11
  • 4
  • 4
  • 3
  • 3
  • 20
  • 15
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 5
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 7
  • 4
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 17
  • 4
  • 3
  • 26
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 5
  • 4
  • 4
  • 17
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 13
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 13
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 9
  • 3
  • 3
  • 4
  • 4
  • 8
  • 5
  • 4
  • 3
  • 8
  • 8
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 12
  • 3
  • 3
  • 9
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 6
  • 6
  • 3
  • 4
  • 9
  • 3
  • 3
  • 4
  • 10
  • 4
  • 4
  • 7
  • 3
  • 32
  • 4
  • 5
  • 7
  • 3
  • 3
  • 4
  • 11
  • 7
  • 9
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 3
  • 4
  • 5
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 17
  • 4
  • 3
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 8
  • 9
  • 4
  • 3
  • 8
  • 12
  • 4
  • 4
  • 5
  • 4
  • 6
  • 3
  • 6
  • 6
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 10
  • 4
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 6
  • 5
  • 3
  • 5
  • 34
  • 4
  • 4
  • 7
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 7
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 5
  • 5
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 6
  • 3
  • 8
  • 4
  • 3
  • 11
  • 4
  • 3
  • 6
  • 4
  • 3
  • 13
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 16
  • 3
  • 6
  • 5
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 21
  • 3
  • 7
  • 3
  • 3
  • 5
  • 7
  • 3
  • 4
  • 10
  • 25
  • 9
  • 4
  • 3
  • 4
  • 5
  • 4
  • 11
  • 9
  • 3
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 7
  • 8
  • 5
  • 5
  • 4
  • 5
  • 6
  • 3
  • 11
  • 5
  • 5
  • 11
  • 5
  • 4
  • 6
  • 3
  • 4
  • 3
  • 7
  • 3
  • 4
  • 3
  • 5
  • 5
  • 5
  • 5
  • 4
  • 4
  • 6
  • 5
  • 24
  • 4
  • 4
  • 7
  • 4
  • 9
  • 3
  • 5
  • 6
  • 3
  • 5
  • 4
  • 3
  • 4
  • 9
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 8
  • 4
  • 4
  • 8
  • 9
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 6
  • 10
  • 5
  • 7
  • 4
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 8
  • 6
  • 7
  • 6
  • 4
  • 3
  • 4
  • 6
  • 4
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 4
  • 14
  • 3
  • 3
  • 5
  • 3
  • 3
  • 9
  • 5
  • 3
  • 5
  • 4
Verlag
  • 5
  • 2
  • 1
  • 6
  • 1
  • 7
  • 1
  • 24
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 2
  • 4
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 19
  • 14
  • 1
  • 14
  • 1
  • 2
  • 180
  • 80
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 44
  • 47
  • 11
  • 5
  • 1
  • 1
  • 1
  • 12
  • 1
  • 2
  • 8
  • 5
  • 2
  • 2
  • 1
  • 1
  • 14
  • 7
  • 19
  • 3
  • 6
  • 3
  • 2
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 11
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 13
  • 1
  • 2
  • 1
  • 1
  • 8
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 13
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 30
  • 2
  • 1482
  • 1164
  • 3
  • 736
  • 27
  • 1
  • 173
  • 100
  • 526
  • 130
  • 385
  • 28
  • 22
  • 1
  • 1
  • 2
  • 35
  • 11
  • 69
  • 14
  • 1
  • 1
  • 1
  • 178
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 11
  • 2
  • 1
  • 4
  • 3
  • 3
  • 1
  • 57
  • 1
  • 1
  • 1
  • 2
  • 1
  • 21
  • 2
Preis
  • 48
  • 216
  • 1507
  • 4171
Sprachen
  • 5733
  • 221
  • 2
  • 1
Verfügbarkeit
  • 5861
  • 81
Eigenschaften
  • 14
  • 1
  • 1
Katalog
  • 5942
  • 535
5.942  Titel


    Song Sharing a Vision

    Systems and Algorithms for Collaboratively-Teleoperated Robotic Cameras
    1. Auflage. Softcover version of original hardcover Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-09979-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schmidt / Kuznetsov Formal Concept Analysis

    5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70828-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dohi / Liao / Sakuma Medical Imaging and Augmented Reality

    4th International Workshop Tokyo, Japan, August 1-2, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79981-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gao / Müller / Luo Medical Imaging and Informatics

    Second International Conference, MIMI 2007, Beijing, China, August 14-16, 2007, Revised Selected papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79489-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Joseph / Bergamaschi / Despotovic Agents and Peer-to-Peer Computing

    5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79704-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Padgham / Luck Agent-Oriented Software Engineering VIII

    8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-79487-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Weyns / Demazeau / Brueckner Engineering Environment-Mediated Multi-Agent Systems

    International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007, Selected Revised and Invited Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85028-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Li / Zhao / McLeod Advances in Web Based Learning - ICWL 2008

    7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85032-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bentley / Jung / Lee Artificial Immune Systems

    7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85071-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Todorovski / Dzeroski Computational Discovery of Scientific Knowledge

    Introduction, Techniques, and Applications in Environmental and Life Sciences
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73919-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lakemeyer / Takahashi / Sklar RoboCup 2006: Robot Soccer World Cup X

    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74023-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Polovina / Priss / Hill Conceptual Structures: Knowledge Architectures for Smart Applications

    15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73680-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Werner / Castelfranchi Artificial Social Systems

    4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, S. Martino al Cimino, Italy, July 29 - 31, 1992. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58266-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dale / Stock / Hovy Aspects of Automated Natural Language Generation

    6th International Workshop on Natural Language Generation Trento, Italy, April 5-7, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55399-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schmalhofer / Wetter / Strube Contemporary Knowledge Engineering and Cognition

    First Joint Workshop, Kaiserslautern, Germany, February 21-22,1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55711-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Weske / Godart / Hacid Web Information Systems Engineering - WISE 2007 Workshops

    WISE 2007 International Workshops Nancy, France, December 3, 2007 Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77009-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Boyle / Möller / Parvin Advances in Visual Computing

    Third International Symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007, Proceedings, Part II
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76855-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    de Kort / IJsselsteijn / Fogg Persuasive Technology

    Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007. Revised Selected Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77005-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Satoh / Kawamura / Inokuchi New Frontiers in Artificial Intelligence

    JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78196-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    King Logic-Based Program Synthesis and Transformation

    17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78768-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Siekmann / Zhang Knowledge Science, Engineering and Management

    Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76718-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Spaccapietra / Atzeni / Fages Journal on Data Semantics IX

    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-74982-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Hoffmann / Tsumoto / Kang Advances in Knowledge Acquisition and Management

    Pacific Rim Knowledge Acquisition Workshop, PKAW 2006, Guilin, China, August 7-8, 2006, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68955-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Borzemski / Ali / Grzech New Frontiers in Applied Artificial Intelligence

    21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wroclaw, Poland, June 18-20, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69045-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Beckert / Schmitt / Hähnle Verification of Object-Oriented Software. The KeY Approach

    Foreword by K. Rustan M. Leino
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68977-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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