Ergebnisse filtern
Fachgebiet
Medium
  • 3576
  • 5
Erscheinungsjahr
  • 85
  • 280
  • 221
  • 272
  • 152
  • 135
  • 110
  • 92
  • 112
  • 115
  • 74
  • 106
  • 85
  • 101
  • 118
  • 108
  • 82
  • 56
  • 75
  • 72
  • 149
  • 150
  • 74
  • 39
  • 73
  • 53
  • 67
  • 33
  • 47
  • 64
  • 54
  • 54
  • 45
  • 46
  • 41
  • 26
  • 31
  • 21
  • 26
  • 12
  • 9
  • 5
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
Autoren
  • 3
  • 5
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 19
  • 4
  • 5
  • 2
  • 4
  • 4
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 16
  • 2
  • 5
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 24
  • 2
  • 2
  • 7
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 5
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 5
  • 2
  • 2
  • 15
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 4
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 28
  • 2
  • 3
  • 2
  • 2
  • 10
  • 12
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 10
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 8
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 8
  • 7
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 5
  • 3
  • 23
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 42
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 18
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 23
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 22
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 40
  • 2
  • 3
  • 6
  • 2
  • 4
  • 4
  • 3
  • 5
  • 13
  • 3
  • 2
  • 3
  • 5
  • 5
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 10
  • 6
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 77
  • 4
  • 5
  • 12
  • 3
  • 4
  • 8
  • 3
  • 3
  • 5
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 5
  • 3
  • 16
  • 3
  • 5
  • 4
  • 12
  • 3
  • 14
  • 3
  • 18
  • 4
  • 3
  • 5
  • 4
  • 12
  • 3
  • 9
  • 3
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 7
  • 3
  • 3
  • 3
  • 4
  • 16
  • 5
  • 3
  • 3
  • 4
  • 3
  • 8
  • 8
  • 4
  • 3
  • 3
  • 43
  • 4
  • 5
  • 3
  • 3
  • 5
  • 16
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 7
  • 5
  • 3
  • 3
  • 5
  • 3
  • 7
  • 5
  • 9
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 4
  • 9
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 16
  • 7
  • 8
  • 4
  • 3
  • 6
  • 4
  • 6
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 77
  • 19
  • 3
  • 3
  • 12
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 3
  • 4
  • 12
  • 78
  • 3
  • 3
  • 3
  • 9
  • 13
  • 3
  • 29
  • 5
  • 3
  • 6
  • 3
  • 20
  • 3
  • 3
  • 5
  • 4
  • 5
  • 8
  • 4
  • 4
  • 4
  • 4
  • 31
  • 4
  • 3
  • 7
  • 4
  • 22
  • 18
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 3
  • 11
  • 4
  • 13
  • 3
  • 7
  • 5
  • 5
  • 3
  • 3
  • 7
  • 77
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 5
  • 3
  • 9
  • 3
  • 3
  • 4
  • 5
  • 8
  • 5
  • 3
  • 10
  • 9
  • 15
  • 4
  • 3
  • 4
  • 3
  • 30
  • 3
  • 3
  • 3
  • 3
  • 12
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 12
  • 4
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 5
  • 19
  • 6
  • 3
  • 4
  • 15
  • 6
  • 7
  • 16
  • 6
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 5
  • 8
  • 3
  • 5
  • 4
  • 4
  • 8
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 5
  • 4
  • 3
  • 8
  • 15
  • 5
  • 3
  • 4
  • 4
  • 3
  • 7
  • 4
  • 7
  • 23
  • 4
  • 5
  • 8
  • 8
  • 3
  • 4
  • 3
  • 4
  • 5
  • 8
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 3
  • 20
  • 5
  • 4
  • 76
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 10
  • 77
  • 6
  • 15
  • 5
  • 3
  • 4
  • 76
  • 3
  • 9
  • 8
  • 4
  • 76
  • 9
  • 6
  • 3
  • 3
  • 7
  • 6
  • 10
  • 4
  • 3
  • 16
  • 3
  • 4
  • 76
  • 8
  • 3
  • 4
  • 3
  • 6
  • 77
  • 13
  • 4
  • 4
  • 8
  • 3
  • 3
  • 4
  • 8
  • 4
  • 4
  • 3
  • 21
  • 4
  • 3
  • 6
  • 7
  • 5
  • 5
  • 3
  • 4
  • 8
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 28
  • 6
  • 3
  • 5
  • 4
  • 3
  • 4
  • 18
  • 3
  • 4
  • 4
  • 3
  • 7
  • 10
  • 4
  • 3
  • 10
  • 14
  • 9
  • 5
  • 3
  • 3
  • 18
  • 6
  • 5
  • 4
  • 77
  • 23
  • 3
  • 6
  • 6
  • 3
  • 7
  • 3
  • 76
  • 15
  • 9
  • 6
  • 4
  • 3
  • 4
  • 6
  • 34
  • 6
  • 7
  • 4
  • 4
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 5
  • 19
  • 11
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 19
  • 9
  • 19
  • 9
  • 19
  • 4
  • 18
  • 21
  • 6
  • 3
  • 4
  • 4
  • 18
  • 27
  • 9
  • 3
  • 3
  • 9
  • 22
  • 7
  • 4
  • 4
  • 9
  • 7
  • 4
Verlag
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 3
  • 3474
  • 2
  • 2
  • 12
  • 26
  • 10
  • 6
  • 8
  • 1
  • 13
  • 4
  • 1
  • 2
Preis
  • 5
  • 95
  • 1730
  • 1751
Sprachen
  • 3581
Verfügbarkeit
  • 3477
  • 104
Katalog
  • 3581
  • 216
3.581  Treffer  für „Lecture Notes in Computer Science“
    Lakemeyer / Sklar / Sorrenti | RoboCup 2006: Robot Soccer World Cup X | Buch | Sack Fachmedien

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

    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74023-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Basili / Pazienza | AI*IA 2007: Artificial Intelligence and Human-Oriented Computing | Buch | Sack Fachmedien

    Basili / Pazienza AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

    10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74781-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duval / Klamma / Wolpers | Creating New Learning Experiences on a Global Scale | Buch | Sack Fachmedien

    Duval / Klamma / Wolpers Creating New Learning Experiences on a Global Scale

    Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75194-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ziviani / Baeza-Yates | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Ziviani / Baeza-Yates String Processing and Information Retrieval

    14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75529-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polovina / Priss / Hill | Conceptual Structures: Knowledge Architectures for Smart Applications | Buch | Sack Fachmedien

    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
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-73680-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O'Neill / Vanneschi / Gustafson | Genetic Programming | Buch | Sack Fachmedien

    O'Neill / Vanneschi / Gustafson Genetic Programming

    11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78670-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bäck / Preuss / Deutz | Parallel Problem Solving from Nature - PPSN XVI | Buch | Sack Fachmedien

    Bäck / Preuss / Deutz Parallel Problem Solving from Nature - PPSN XVI

    16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-58111-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gomes / Lorenz | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Gomes / Lorenz Application and Theory of Petri Nets and Concurrency

    44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-33619-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Behrisch / Krajzewicz / Weber | Simulation of Urban Mobility | Buch | Sack Fachmedien

    Behrisch / Krajzewicz / Weber Simulation of Urban Mobility

    First International Conference, SUMO 2013, Berlin, Germany, May 15-17, 2013. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-45078-9
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Su / Rakheja / Honghai | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Su / Rakheja / Honghai Intelligent Robotics and Applications

    5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part II
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33514-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vieira / Cunha | Dependable Computing | Buch | Sack Fachmedien

    Vieira / Cunha Dependable Computing

    14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-38788-3
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baras / Katz / Altman | Decision and Game Theory for Security | Buch | Sack Fachmedien

    Baras / Katz / Altman Decision and Game Theory for Security

    Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25279-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Papavassiliou / Ruehrup | Ad-hoc, Mobile, and Wireless Networks | Buch | Sack Fachmedien

    Li / Papavassiliou / Ruehrup Ad-hoc, Mobile, and Wireless Networks

    11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31637-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roefer / Mayer / Savage | RoboCup 2011: Robot Soccer World Cup XV | Buch | Sack Fachmedien

    Roefer / Mayer / Savage RoboCup 2011: Robot Soccer World Cup XV

    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32059-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Murray-Smith | Mobile Social Signal Processing | Buch | Sack Fachmedien

    Murray-Smith Mobile Social Signal Processing

    First International Workshop, MSSP 2010, Lisbon, Portugal, September 7, 2010, Invited Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54324-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jonsson / Vinel / Bellalta | Multiple Access Communications | Buch | Sack Fachmedien

    Jonsson / Vinel / Bellalta Multiple Access Communications

    8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-23439-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortuño / Rojas | Bioinformatics and Biomedical Engineering | Buch | Sack Fachmedien

    Ortuño / Rojas Bioinformatics and Biomedical Engineering

    Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part II
    2015
    Verlag: Springer
    ISBN: 978-3-319-16479-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faloutsos / Kuzmanovic | Passive and Active Measurement | Buch | Sack Fachmedien

    Faloutsos / Kuzmanovic Passive and Active Measurement

    15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04917-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mendizabal / Berbineau / Vinel | Communication Technologies for Vehicles | Buch | Sack Fachmedien

    Mendizabal / Berbineau / Vinel Communication Technologies for Vehicles

    10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-38920-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Au / Castiglione / Choo | Green, Pervasive, and Cloud Computing | Buch | Sack Fachmedien

    Au / Castiglione / Choo Green, Pervasive, and Cloud Computing

    12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57185-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martín-Vide / Mizuki / Vega-Rodríguez | Theory and Practice of Natural Computing | Buch | Sack Fachmedien

    Martín-Vide / Mizuki / Vega-Rodríguez Theory and Practice of Natural Computing

    5th International Conference, TPNC 2016, Sendai, Japan, December 12-13, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49000-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luck / Gomez-Sanz | Agent-Oriented Software Engineering IX | Buch | Sack Fachmedien

    Luck / Gomez-Sanz Agent-Oriented Software Engineering IX

    9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Hähnle / Schmitt | Verification of Object-Oriented Software. The KeY Approach | Buch | Sack Fachmedien

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

    Foreword by K. Rustan M. Leino
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-68977-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Montoyo / Munoz / Métais | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Montoyo / Munoz / Métais Natural Language Processing and Information Systems

    10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26031-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Kohlhase Mathematical Knowledge Management

    4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31430-1
    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