Ergebnisse filtern
Fachgebiet
Medium
  • 2220
Erscheinungsjahr
  • 26
  • 126
  • 153
  • 139
  • 107
  • 39
  • 22
  • 21
  • 36
  • 38
  • 24
  • 31
  • 47
  • 41
  • 48
  • 41
  • 28
  • 74
  • 58
  • 73
  • 82
  • 72
  • 73
  • 116
  • 105
  • 95
  • 77
  • 56
  • 51
  • 38
  • 29
  • 34
  • 33
  • 27
  • 32
  • 19
  • 33
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 4
  • 2
  • 7
  • 8
  • 2
  • 5
  • 2
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 11
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 10
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 3
  • 10
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 8
  • 6
  • 2
  • 2
  • 3
  • 4
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 2
  • 3
  • 4
  • 2
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 2
  • 5
  • 12
  • 2
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 17
  • 25
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 13
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 7
  • 4
  • 9
  • 3
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 23
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 5
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 6
  • 3
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 7
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 7
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 2
  • 8
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 9
  • 2
  • 12
  • 2
  • 2
  • 4
  • 8
  • 2
  • 6
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 6
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 5
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 5
  • 5
  • 2
  • 8
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 4
  • 8
  • 2
  • 4
  • 2
  • 12
  • 25
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 5
  • 2
  • 3
  • 7
  • 6
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 6
  • 4
  • 18
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 7
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 22
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 10
  • 2
  • 3
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 6
  • 2
  • 2
  • 2
  • 9
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 11
  • 6
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 5
  • 13
  • 16
  • 3
  • 7
  • 9
  • 3
  • 3
  • 6
  • 6
  • 3
  • 36
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 3
  • 4
  • 5
  • 6
  • 11
  • 21
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 11
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 11
  • 8
  • 6
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 3
  • 7
  • 5
  • 4
  • 6
  • 4
  • 5
  • 3
  • 6
  • 5
  • 4
  • 18
  • 3
  • 10
  • 3
  • 3
  • 4
  • 4
Verlag
  • 1
  • 2204
  • 1
  • 7
  • 2
  • 5
Preis
  • 4
  • 105
  • 1770
  • 341
Sprachen
  • 2220
Verfügbarkeit
  • 2177
  • 43
Eigenschaften
  • 4
Katalog
  • 2220
  • 134
2.220  Treffer  für „Lecture Notes in Computer Science“
    Klusácek / Cirne / Rodrigo | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Klusácek / Cirne / Rodrigo Job Scheduling Strategies for Parallel Processing

    24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-88223-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dang / Stolz | Runtime Verification | Buch | Sack Fachmedien

    Dang / Stolz Runtime Verification

    22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-17195-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Sun | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45331-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    André / Sun | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    André / Sun Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-45328-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voevodin / Sobolev / Yakobovskiy | Supercomputing | Buch | Sack Fachmedien

    Voevodin / Sobolev / Yakobovskiy Supercomputing

    9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-49434-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barbosa / Zohar | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Barbosa / Zohar Formal Methods: Foundations and Applications

    26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-49341-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schlingloff / Chai | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Schlingloff / Chai Software Engineering and Formal Methods

    20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-17107-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ralyté / Chakravarthy / Mohania | Conceptual Modeling | Buch | Sack Fachmedien

    Ralyté / Chakravarthy / Mohania Conceptual Modeling

    41st International Conference, ER 2022, Hyderabad, India, October 17-20, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-17994-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrucci / Sproston | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Petrucci / Sproston Formal Modeling and Analysis of Timed Systems

    21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42625-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Feng / Zhang | Blockchain - ICBC 2023 | Buch | Sack Fachmedien

    Wang / Feng / Zhang Blockchain - ICBC 2023

    6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-44919-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arcaini / Yue / Fredericks | Search-Based Software Engineering | Buch | Sack Fachmedien

    Arcaini / Yue / Fredericks Search-Based Software Engineering

    15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-48795-8
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimitrova / Lahav / Wolff | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dimitrova / Lahav / Wolff Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-50520-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ye / Zhang | Internet of Things - ICIOT 2023 | Buch | Sack Fachmedien

    Ye / Zhang Internet of Things - ICIOT 2023

    8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-51733-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Monahan | Integrated Formal Methods | Buch | Sack Fachmedien

    ter Beek / Monahan Integrated Formal Methods

    17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-07726-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Sirjani | Coordination Models and Languages | Buch | Sack Fachmedien

    ter Beek / Sirjani Coordination Models and Languages

    24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-08145-3
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35701-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    David / Sun | Theoretical Aspects of Software Engineering | Buch | Sack Fachmedien

    David / Sun Theoretical Aspects of Software Engineering

    17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35256-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caltais / Schilling | Model Checking Software | Buch | Sack Fachmedien

    Caltais / Schilling Model Checking Software

    29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-32156-6
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klusácek / Cirne / Desai | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Klusácek / Cirne / Desai Job Scheduling Strategies for Parallel Processing

    23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-63170-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsu / Malyshkin | Methods and Tools of Parallel Programming Multicomputers | Buch | Sack Fachmedien

    Hsu / Malyshkin Methods and Tools of Parallel Programming Multicomputers

    Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14821-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorrieri / Wehrheim | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Gorrieri / Wehrheim Formal Methods for Open Object-Based Distributed Systems

    8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34893-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baresi / Dustdar / Gall | Ubiquitous Mobile Information and Collaboration Systems | Buch | Sack Fachmedien

    Baresi / Dustdar / Gall Ubiquitous Mobile Information and Collaboration Systems

    Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24100-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller | Modular Specification and Verification of Object-Oriented Programs | Buch | Sack Fachmedien

    Müller Modular Specification and Verification of Object-Oriented Programs

    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43167-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altman / Chaintreau | Network Control and Optimization | Buch | Sack Fachmedien

    Altman / Chaintreau Network Control and Optimization

    Second EuroFGI Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008, Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00392-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Chen / Douglas | High Performance Computing and Applications | Buch | Sack Fachmedien

    Zhang / Chen / Douglas High Performance Computing and Applications

    Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-11841-8
    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