Ergebnisse filtern
Fachgebiet
Medium
  • 1417
Erscheinungsjahr
  • 53
  • 299
  • 308
  • 3
  • 79
  • 43
  • 54
  • 102
  • 77
  • 29
  • 7
  • 35
  • 5
  • 73
  • 61
  • 37
  • 33
  • 23
  • 25
  • 14
  • 16
  • 4
  • 8
  • 9
  • 6
  • 7
  • 1
  • 3
  • 2
  • 1
Autoren
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 5
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 3
  • 5
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 4
  • 1
  • 3
  • 3
  • 14
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 16
  • 4
  • 4
  • 1
  • 1
  • 1
  • 6
  • 2
  • 1
  • 1
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 4
  • 6
  • 2
  • 3
  • 17
  • 18
  • 2
  • 15
  • 2
  • 2
  • 10
  • 3
  • 6
  • 6
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 27
  • 2
  • 2
  • 3
  • 3
  • 4
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 7
  • 2
  • 3
  • 30
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 37
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 2
  • 4
  • 15
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 37
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 3
  • 7
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 17
  • 9
  • 2
  • 2
  • 3
  • 3
  • 18
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 7
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 10
  • 6
  • 3
  • 2
  • 2
  • 7
  • 2
  • 4
  • 7
  • 4
  • 3
  • 85
  • 2
  • 16
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 18
  • 2
  • 15
  • 2
  • 15
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 18
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 10
  • 2
  • 2
  • 5
  • 4
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 32
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 10
  • 6
  • 86
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 86
  • 3
  • 3
  • 2
  • 2
  • 2
  • 14
  • 86
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 9
  • 86
  • 5
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 6
  • 2
  • 14
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 4
  • 2
  • 15
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 7
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 10
  • 5
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 21
  • 2
  • 7
  • 3
  • 2
  • 15
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 7
  • 2
  • 10
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 15
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 86
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 10
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 4
  • 7
  • 18
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 3
  • 3
  • 2
  • 2
  • 10
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 18
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 25
  • 6
  • 14
  • 3
  • 4
  • 15
  • 2
  • 4
  • 3
  • 18
  • 3
  • 3
  • 2
  • 15
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
Verlag
  • 1407
  • 1
  • 2
  • 7
Preis
  • 11
  • 1146
  • 260
Sprachen
  • 1417
Verfügbarkeit
  • 1417
Katalog
  • 1417
  • 114
1.417  Treffer  für „Lecture Notes in Computer Science“
    Meyer / Gurevich | Tests and Proofs | Buch | Sack Fachmedien

    Meyer / Gurevich Tests and Proofs

    First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73769-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Boavida / Monteiro / Mascolo | Wired/Wireless Internet Communications | Buch | Sack Fachmedien

    Boavida / Monteiro / Mascolo Wired/Wireless Internet Communications

    5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72694-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Danezis / Golle | Privacy Enhancing Technologies | Buch | Sack Fachmedien

    Danezis / Golle Privacy Enhancing Technologies

    6th International Workshop, PET 2006, Cambridge, UK, June 28-30, 2006, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68790-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Song | Information Security and Cryptology - ICISC'99 | Buch | Sack Fachmedien

    Song Information Security and Cryptology - ICISC'99

    Second International Conference Seoul, Korea, December 9-10, 1999 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67380-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta | Compiler Construction | Buch | Sack Fachmedien

    Gupta Compiler Construction

    19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosenblum / Taentzer | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Rosenblum / Taentzer Fundamental Approaches to Software Engineering

    13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12028-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patt-Shamir / Ekim | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Patt-Shamir / Ekim Structural Information and Communication Complexity

    17th International Colloquium, SIROCCO 2010, Sirince, Turkey, June 7-11, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13283-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matsuno / Liu / Yin | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Matsuno / Liu / Yin Intelligent Robotics and Applications

    18th International Conference, ICIRA 2025, Okayama, Japan, August 6-9, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-952097-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baras / Papavassiliou / Tsiropoulou | Game Theory and AI for Security | Buch | Sack Fachmedien

    Baras / Papavassiliou / Tsiropoulou Game Theory and AI for Security

    16th International Conference, GameSec 2025, Athens, Greece, October 13-15, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08066-0
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rojas / Ortuño / Rojas Ruiz | Bioinformatics and Biomedical Engineering | Buch | Sack Fachmedien

    Rojas / Ortuño / Rojas Ruiz Bioinformatics and Biomedical Engineering

    12th International Conference, IWBBIO 2025, Gran Canaria, Spain, July 16-18, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08451-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luo / Zhang | CLOUD Computing - CLOUD 2025 | Buch | Sack Fachmedien

    Luo / Zhang CLOUD Computing - CLOUD 2025

    18th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hubballi / Verma / Rudrapatna K. | Information Systems Security | Buch | Sack Fachmedien

    Hubballi / Verma / Rudrapatna K. Information Systems Security

    21st International Conference, ICISS 2025, Indore, India, December 16-20, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-13713-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reyes-Lecuona / Zachmann / Bordegoni | Virtual Reality and Mixed Reality | Buch | Sack Fachmedien

    Reyes-Lecuona / Zachmann / Bordegoni Virtual Reality and Mixed Reality

    21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78592-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Miyaji / Tibouchi | Cryptology and Network Security | Buch | Sack Fachmedien

    Kim / Miyaji / Tibouchi Cryptology and Network Security

    24th International Conference, CANS 2025, Osaka, Japan, November 17-20, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954433-2
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Cao / Nguyen | Databases Theory and Applications | Buch | Sack Fachmedien

    Chen / Cao / Nguyen Databases Theory and Applications

    35th Australasian Database Conference, ADC 2024, Gold Coast, QLD, Australia, and Tokyo, Japan, December 16-18, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-981-961241-3
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clark / Shi | Financial Cryptography and Data Security | Buch | Sack Fachmedien

    Clark / Shi Financial Cryptography and Data Security

    28th International Conference, FC 2024, Willemstad, Curaçao, March 4-8, 2024, Revised Selected Papers, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78675-4
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobini / Brabazon / Cagnoni | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Giacobini / Brabazon / Cagnoni Applications of Evolutionary Computing

    EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78760-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huang / Zhang / Pan | Advanced Intelligent Computing Technology and Applications | Buch | Sack Fachmedien

    Huang / Zhang / Pan Advanced Intelligent Computing Technology and Applications

    21st International Conference, ICIC 2025, Ningbo, China, July 26-29, 2025, Proceedings, Part XXVII
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-950032-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlweiss / Di Pietro / Beresford | Cryptology and Network Security | Buch | Sack Fachmedien

    Kohlweiss / Di Pietro / Beresford Cryptology and Network Security

    23rd International Conference, CANS 2024, Cambridge, UK, September 24-27, 2024, Proceedings, Part II
    2025
    Verlag: Springer
    ISBN: 978-981-97-8015-0
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Niederhagen / Saarinen | Post-Quantum Cryptography | Buch | Sack Fachmedien

    Niederhagen / Saarinen Post-Quantum Cryptography

    16th International Workshop, PQCrypto 2025, Taipei, Taiwan, April 8-10, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-86598-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horn Iwaya / Kamm / Martucci | Secure IT Systems | Buch | Sack Fachmedien

    Horn Iwaya / Kamm / Martucci Secure IT Systems

    29th Nordic Conference, NordSec 2024 Karlstad, Sweden, November 6-7, 2024 Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-79006-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia / Choren / Lucena | Software Engineering for Multi-Agent Systems IV | Buch | Sack Fachmedien

    Garcia / Choren / Lucena Software Engineering for Multi-Agent Systems IV

    Research Issues and Practical Applications
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33580-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siegler / Wasser | Verification, Induction, Termination Analysis | Buch | Sack Fachmedien

    Siegler / Wasser Verification, Induction, Termination Analysis

    Festschrift for Christoph Walther on the Occasion of His 60th Birthday
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-17171-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ernst | ECOOP - Object-Oriented Programming | Buch | Sack Fachmedien

    Ernst ECOOP - Object-Oriented Programming

    21th European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73588-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