Ergebnisse filtern
Fachgebiet
Medium
  • 7751
Erscheinungsjahr
  • 136
  • 689
  • 714
  • 434
  • 296
  • 156
  • 176
  • 198
  • 186
  • 206
  • 208
  • 221
  • 188
  • 209
  • 206
  • 171
  • 176
  • 204
  • 166
  • 229
  • 221
  • 186
  • 279
  • 240
  • 209
  • 193
  • 132
  • 127
  • 99
  • 108
  • 103
  • 96
  • 88
  • 76
  • 60
  • 69
  • 45
  • 48
  • 30
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 6
  • 5
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 3
  • 9
  • 8
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 5
  • 3
  • 8
  • 3
  • 3
  • 16
  • 4
  • 21
  • 4
  • 7
  • 5
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 8
  • 4
  • 14
  • 25
  • 36
  • 6
  • 3
  • 27
  • 7
  • 4
  • 4
  • 3
  • 6
  • 3
  • 7
  • 11
  • 3
  • 16
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 39
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 3
  • 3
  • 3
  • 14
  • 4
  • 4
  • 5
  • 6
  • 5
  • 6
  • 6
  • 4
  • 6
  • 6
  • 7
  • 7
  • 5
  • 5
  • 4
  • 4
  • 17
  • 4
  • 6
  • 7
  • 9
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 10
  • 5
  • 5
  • 6
  • 40
  • 4
  • 6
  • 14
  • 8
  • 5
  • 7
  • 9
  • 10
  • 4
  • 4
  • 8
  • 7
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 14
  • 4
  • 9
  • 4
  • 4
  • 15
  • 14
  • 5
  • 4
  • 4
  • 4
  • 5
  • 7
  • 4
  • 39
  • 10
  • 7
  • 4
  • 7
  • 5
  • 7
  • 6
  • 5
  • 4
  • 16
  • 6
  • 9
  • 10
  • 4
  • 8
  • 7
  • 6
  • 11
  • 4
  • 4
  • 7
  • 4
  • 24
  • 11
  • 5
  • 10
  • 5
  • 11
  • 4
  • 4
  • 4
  • 8
  • 6
  • 6
  • 4
  • 10
  • 4
  • 4
  • 6
  • 4
  • 34
  • 11
  • 41
  • 4
  • 11
  • 9
  • 7
  • 16
  • 4
  • 4
  • 4
  • 5
  • 19
  • 38
  • 5
  • 4
  • 5
  • 10
  • 15
  • 8
  • 4
  • 4
  • 7
  • 6
  • 12
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 4
  • 8
  • 4
  • 4
  • 4
  • 39
  • 5
  • 7
  • 5
  • 4
  • 10
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 6
  • 7
  • 4
  • 6
  • 6
  • 6
  • 11
  • 5
  • 5
  • 6
  • 8
  • 4
  • 6
  • 4
  • 10
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 15
  • 22
  • 7
  • 9
  • 6
  • 4
  • 8
  • 10
  • 6
  • 24
  • 4
  • 6
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 5
  • 6
  • 7
  • 4
  • 9
  • 16
  • 11
  • 5
  • 8
  • 8
  • 4
  • 34
  • 38
  • 4
  • 8
  • 23
  • 7
  • 8
  • 4
  • 14
  • 8
  • 5
  • 24
  • 12
  • 4
  • 5
  • 6
  • 15
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 7
  • 6
  • 4
  • 6
  • 5
  • 27
  • 4
  • 13
  • 46
  • 8
  • 4
  • 16
  • 7
  • 6
  • 6
  • 4
  • 7
  • 15
  • 7
  • 8
  • 6
  • 4
  • 4
  • 4
  • 14
  • 7
  • 5
  • 4
  • 5
  • 4
  • 4
  • 9
  • 5
  • 5
  • 9
  • 15
  • 35
  • 5
  • 4
  • 20
  • 9
  • 17
  • 21
  • 67
  • 4
  • 11
  • 4
  • 14
  • 4
  • 4
  • 4
  • 19
  • 4
  • 5
  • 5
  • 9
  • 13
  • 5
  • 5
  • 4
  • 4
  • 5
  • 22
  • 4
  • 6
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 9
  • 17
  • 10
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 15
  • 6
  • 6
  • 4
  • 6
  • 67
  • 4
  • 5
  • 10
  • 5
  • 4
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 4
  • 19
  • 5
  • 8
  • 6
  • 4
  • 4
  • 16
  • 7
  • 6
  • 4
  • 13
  • 4
  • 4
  • 13
  • 6
  • 4
  • 5
  • 5
  • 4
  • 13
  • 6
  • 5
  • 6
  • 9
  • 4
  • 6
  • 6
  • 22
  • 4
  • 4
  • 6
  • 6
  • 5
  • 8
  • 4
  • 8
  • 14
  • 21
  • 4
  • 4
  • 6
  • 7
  • 15
  • 4
  • 6
  • 29
  • 4
  • 6
  • 9
  • 10
  • 4
  • 4
  • 10
  • 6
  • 5
  • 5
  • 14
  • 4
  • 20
  • 17
  • 4
  • 5
  • 9
  • 9
  • 7
  • 19
  • 9
  • 5
  • 4
  • 5
  • 25
  • 5
  • 14
  • 22
  • 36
  • 7
  • 9
  • 6
  • 6
  • 4
  • 12
  • 5
  • 4
  • 4
  • 6
  • 6
  • 4
  • 7
  • 8
  • 13
  • 4
  • 90
  • 12
  • 17
  • 4
  • 4
  • 10
  • 6
  • 11
  • 12
  • 4
  • 5
  • 4
  • 6
  • 18
  • 20
  • 22
  • 6
  • 4
  • 62
  • 5
  • 19
  • 9
  • 4
  • 12
  • 21
  • 5
  • 6
  • 5
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 5
  • 5
  • 23
  • 6
  • 4
  • 13
  • 12
  • 13
  • 15
  • 14
  • 12
  • 6
  • 18
  • 4
  • 11
  • 4
  • 7
  • 7
  • 4
  • 6
  • 18
  • 32
  • 21
  • 6
  • 4
  • 6
  • 4
  • 7
  • 10
  • 5
  • 4
  • 6
  • 6
  • 8
  • 6
  • 4
  • 11
  • 6
  • 6
  • 4
  • 5
  • 7
  • 8
  • 8
  • 13
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 22
  • 4
  • 8
  • 4
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 9
  • 59
  • 4
  • 4
  • 7
  • 6
  • 5
  • 6
  • 11
  • 36
  • 13
  • 5
  • 10
  • 6
  • 5
  • 5
  • 10
  • 4
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 43
  • 5
  • 5
  • 18
  • 5
  • 6
  • 18
  • 8
  • 4
  • 13
  • 7
  • 13
  • 15
  • 8
  • 14
  • 5
  • 4
  • 5
  • 23
  • 9
  • 4
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 4
  • 15
  • 10
  • 11
  • 4
  • 9
  • 7
  • 11
  • 5
  • 4
  • 4
  • 8
  • 24
  • 7
  • 7
  • 6
  • 9
  • 6
  • 5
  • 10
  • 7
  • 9
  • 7
  • 4
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 9
  • 24
  • 12
  • 4
  • 5
  • 19
  • 4
  • 4
  • 5
  • 91
  • 5
  • 6
  • 5
  • 6
  • 9
  • 10
  • 9
  • 8
  • 4
  • 7
  • 4
  • 7
  • 19
  • 8
  • 4
  • 90
  • 4
  • 39
  • 11
  • 11
  • 89
  • 21
  • 14
  • 7
  • 4
  • 5
  • 9
  • 11
  • 6
  • 6
  • 4
  • 4
  • 4
  • 8
  • 89
  • 4
  • 5
  • 15
  • 20
  • 4
  • 8
  • 12
  • 4
  • 11
  • 4
  • 17
  • 11
  • 12
  • 4
  • 5
  • 4
  • 11
  • 4
  • 10
  • 15
  • 7
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 9
  • 11
  • 4
  • 22
  • 5
  • 4
  • 5
  • 4
  • 5
  • 14
  • 4
  • 5
  • 8
  • 5
  • 9
  • 11
  • 40
  • 4
  • 6
  • 6
  • 6
  • 18
  • 9
  • 4
  • 11
  • 6
  • 10
  • 11
  • 6
  • 5
  • 7
  • 5
  • 29
  • 34
  • 4
  • 8
  • 7
  • 8
  • 22
  • 4
  • 6
  • 8
  • 4
  • 14
  • 23
  • 22
  • 7
  • 12
  • 22
  • 46
  • 10
  • 5
  • 16
  • 9
  • 9
  • 19
  • 12
  • 11
  • 4
  • 4
  • 6
  • 8
  • 32
  • 24
  • 12
  • 6
  • 4
  • 12
  • 4
  • 12
  • 9
  • 12
  • 5
  • 7
  • 6
  • 4
  • 15
  • 4
  • 5
  • 6
  • 4
  • 7
  • 89
  • 10
  • 7
  • 15
  • 4
  • 5
  • 5
  • 4
  • 4
  • 14
  • 6
  • 4
  • 24
  • 5
  • 11
  • 4
  • 5
  • 13
  • 5
  • 21
  • 6
  • 4
  • 5
  • 17
  • 8
  • 7
  • 6
  • 6
  • 8
  • 6
  • 4
  • 4
  • 4
  • 4
  • 26
  • 6
  • 10
  • 10
  • 5
  • 4
  • 6
  • 6
  • 6
  • 5
  • 6
  • 4
  • 6
  • 9
  • 4
  • 18
  • 5
  • 10
  • 4
  • 11
  • 6
  • 24
  • 4
  • 14
  • 4
  • 4
  • 5
  • 4
  • 18
  • 4
  • 10
  • 5
  • 5
  • 4
  • 18
  • 6
  • 6
  • 5
  • 17
  • 4
  • 10
  • 4
  • 5
  • 4
  • 5
  • 5
  • 21
  • 43
  • 4
  • 14
  • 22
  • 18
  • 4
  • 4
  • 4
  • 5
  • 6
  • 4
  • 4
  • 32
  • 7
  • 9
  • 5
  • 18
  • 5
  • 19
  • 4
  • 6
  • 4
  • 10
  • 4
  • 6
  • 6
  • 4
  • 21
Verlag
  • 1
  • 7704
  • 3
  • 5
  • 1
  • 3
  • 1
  • 33
Preis
  • 27
  • 229
  • 5847
  • 1648
Sprachen
  • 7746
  • 16
  • 12
Verfügbarkeit
  • 7741
  • 10
Katalog
  • 7751
  • 328
7.751  Treffer  für „Lecture Notes in Computer Science“
    Husbands / Meyer | Evolutionary Robotics | Buch | Sack Fachmedien

    Husbands / Meyer Evolutionary Robotics

    First European Workshop, EvoRobot 98, Paris, France, April 16-17, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64957-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wright | Financial Cryptography | Buch | Sack Fachmedien

    Wright Financial Cryptography

    7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40663-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gascuel / Sagot | Computational Biology | Buch | Sack Fachmedien

    Gascuel / Sagot Computational Biology

    First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000 Montpellier, France, May 3-5, 2000 Selected Papers
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42242-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maniezzo / Battiti / Watson | Learning and Intelligent Optimization | Buch | Sack Fachmedien

    Maniezzo / Battiti / Watson Learning and Intelligent Optimization

    Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92694-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chamberlain / Edin Grimheden / Taha | Cyber Physical Systems. Model-Based Design | Buch | Sack Fachmedien

    Chamberlain / Edin Grimheden / Taha Cyber Physical Systems. Model-Based Design

    9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-41130-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quaresma / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2023 | Buch | Sack Fachmedien

    Quaresma / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2023

    24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48231-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kakileti / Manjunath / Schwartz | Artificial Intelligence over Infrared Images for Medical Applications | Buch | Sack Fachmedien

    Kakileti / Manjunath / Schwartz Artificial Intelligence over Infrared Images for Medical Applications

    4th International Conference, AIIIMA 2025, Virtual Event, November 15, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10989-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee / Howard / Kang | Convergence and Hybrid Information Technology | Buch | Sack Fachmedien

    Lee / Howard / Kang Convergence and Hybrid Information Technology

    6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32644-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Giusto / Ravara | Coordination Models and Languages | Buch | Sack Fachmedien

    Di Giusto / Ravara Coordination Models and Languages

    27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95588-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Froidevaux / Kohlas | Symbolic and Quantitative Approaches to Reasoning and Uncertainty | Buch | Sack Fachmedien

    Froidevaux / Kohlas Symbolic and Quantitative Approaches to Reasoning and Uncertainty

    European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60112-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt / Winterhof | Sequences and Their Applications - SETA 2014 | Buch | Sack Fachmedien

    Schmidt / Winterhof Sequences and Their Applications - SETA 2014

    8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-12324-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nikoletseas / Rolim | Algorithmic Aspects of Wireless Sensor Networks | Buch | Sack Fachmedien

    Nikoletseas / Rolim Algorithmic Aspects of Wireless Sensor Networks

    First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22476-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Demoen / Lifschitz | Logic Programming | Buch | Sack Fachmedien

    Demoen / Lifschitz Logic Programming

    20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22671-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Song / Feng / Chen | Web and Big Data | Buch | Sack Fachmedien

    Song / Feng / Chen Web and Big Data

    7th International Joint Conference, APWeb-WAIM 2023, Wuhan, China, October 6-8, 2023, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-2389-8
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shawe-Taylor / Singer | Learning Theory | Buch | Sack Fachmedien

    Shawe-Taylor / Singer Learning Theory

    17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22282-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chbeir / Ilarri / Manolopoulos | Database Engineered Applications | Buch | Sack Fachmedien

    Chbeir / Ilarri / Manolopoulos Database Engineered Applications

    28th International Symposium, IDEAS 2024, Bayonne, France, August 26-29, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-83471-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Jones / Lucas | FME '97 Industrial Applications and Strengthened Foundations of Formal Methods | Buch | Sack Fachmedien

    Fitzgerald / Jones / Lucas FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

    4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63533-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Misra / Pandey | Algorithms and Discrete Applied Mathematics | Buch | Sack Fachmedien

    Misra / Pandey Algorithms and Discrete Applied Mathematics

    12th International Conference, CALDAM 2026, Dharwad, India, February 12-14, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-17155-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iida / Meseguer / Ogata | Specification, Algebra, and Software | Buch | Sack Fachmedien

    Iida / Meseguer / Ogata Specification, Algebra, and Software

    Essays Dedicated to Kokichi Futatsugi
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-54623-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecroq / Mouchard | Combinatorial Algorithms | Buch | Sack Fachmedien

    Lecroq / Mouchard Combinatorial Algorithms

    24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-45277-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Raidl / Rothlauf / Cagnoni | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Raidl / Rothlauf / Cagnoni Applications of Evolutionary Computing

    EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 5-7, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21378-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Pang | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Merz / Pang Formal Methods and Software Engineering

    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11736-2
    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
    Najm / Nestmann / Stevens | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Najm / Nestmann / Stevens Formal Methods for Open Object-Based Distributed Systems

    6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20491-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jedlitschka / Salo | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Jedlitschka / Salo Product-Focused Software Process Improvement

    9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69564-6
    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