Ergebnisse filtern
Fachgebiet
Medium
  • 4214
Erscheinungsjahr
  • 70
  • 235
  • 195
  • 133
  • 47
  • 23
  • 41
  • 49
  • 63
  • 48
  • 83
  • 72
  • 64
  • 84
  • 73
  • 69
  • 162
  • 121
  • 150
  • 199
  • 185
  • 142
  • 215
  • 218
  • 180
  • 182
  • 118
  • 118
  • 97
  • 101
  • 95
  • 81
  • 68
  • 67
  • 53
  • 70
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 8
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 5
  • 9
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 7
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 3
  • 7
  • 2
  • 2
  • 2
  • 4
  • 4
  • 12
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 38
  • 27
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 6
  • 5
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 21
  • 4
  • 3
  • 8
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 7
  • 5
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 11
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 12
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 5
  • 9
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 6
  • 10
  • 5
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 4
  • 7
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 8
  • 5
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 6
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 3
  • 6
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 13
  • 3
  • 8
  • 3
  • 5
  • 4
  • 12
  • 25
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 3
  • 5
  • 5
  • 4
  • 10
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 16
  • 6
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 6
  • 4
  • 3
  • 6
  • 7
  • 4
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 8
  • 3
  • 4
  • 7
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 18
  • 3
  • 3
  • 8
  • 5
  • 3
  • 6
  • 4
  • 5
  • 7
  • 4
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 5
  • 5
  • 3
  • 7
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 7
  • 6
  • 8
  • 9
  • 4
  • 3
  • 4
  • 32
  • 5
  • 11
  • 3
  • 3
  • 12
  • 3
  • 10
  • 3
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 6
  • 6
  • 5
  • 4
  • 9
  • 20
  • 6
  • 9
  • 3
  • 3
  • 35
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 9
  • 16
  • 3
  • 10
  • 7
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 11
  • 3
  • 5
  • 4
  • 4
  • 18
  • 6
  • 4
  • 3
  • 11
  • 4
  • 7
  • 4
  • 6
  • 3
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 18
  • 5
  • 5
  • 4
  • 5
  • 3
  • 3
Verlag
  • 4192
  • 1
  • 1
  • 2
  • 18
Preis
  • 13
  • 147
  • 3262
  • 792
Sprachen
  • 4214
  • 5
Verfügbarkeit
  • 4211
  • 3
Eigenschaften
  • 5
Katalog
  • 4214
  • 241
4.214  Treffer  für „Lecture Notes in Computer Science“
    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
    Beyer / Cavalcanti | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Beyer / Cavalcanti Fundamental Approaches to Software Engineering

    27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-57258-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weirich | Programming Languages and Systems | Buch | Sack Fachmedien

    Weirich Programming Languages and Systems

    33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-57266-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arroyuelo / Poblete | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Arroyuelo / Poblete String Processing and Information Retrieval

    29th International Symposium, SPIRE 2022, Concepción, Chile, November 8-10, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-20642-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Emek | Structural Information and Communication Complexity | Buch | Sack Fachmedien

    Emek Structural Information and Communication Complexity

    31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27-29, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-60602-1
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benz / Gopinath / Shi | NASA Formal Methods | Buch | Sack Fachmedien

    Benz / Gopinath / Shi NASA Formal Methods

    16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-60697-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation

    10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-89158-9
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akiyama / Marcelo / Ruiz | Discrete and Computational Geometry, Graphs, and Games | Buch | Sack Fachmedien

    Akiyama / Marcelo / Ruiz Discrete and Computational Geometry, Graphs, and Games

    21st Japanese Conference, JCDCGGG 2018, Quezon City, Philippines, September 1-3, 2018, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-90047-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-83722-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Loulergue / Wotawa | Tests and Proofs | Buch | Sack Fachmedien

    Loulergue / Wotawa Tests and Proofs

    15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-79378-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ardito / Jedlitschka / Morisio | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Ardito / Jedlitschka / Morisio Product-Focused Software Process Improvement

    22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-91451-6
    Medium: Buch
    69,54 € (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
    Johnsen / Wimmer | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Johnsen / Wimmer Fundamental Approaches to Software Engineering

    25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99428-0
    Medium: Buch
    42,79 € (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
    ter Beek / Teixeira | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    ter Beek / Teixeira Formal Methods: Foundations and Applications

    28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12085-4
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Applebaum / Lin | Theory of Cryptography | Buch | Sack Fachmedien

    Applebaum / Lin Theory of Cryptography

    23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12292-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Applebaum / Lin | Theory of Cryptography | Buch | Sack Fachmedien

    Applebaum / Lin Theory of Cryptography

    23rd International Conference, TCC 2025, Aarhus, Denmark, December 1-5, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-12286-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damiani / Farrell | Integrated Formal Methods | Buch | Sack Fachmedien

    Damiani / Farrell Integrated Formal Methods

    20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10793-0
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dalpiaz / Spoletini | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Dalpiaz / Spoletini Requirements Engineering: Foundation for Software Quality

    27th International Working Conference, REFSQ 2021, Essen, Germany, April 12-15, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-73127-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | Deductive Software Verification: Future Perspectives | Buch | Sack Fachmedien

    Ahrendt / Beckert / Bubel Deductive Software Verification: Future Perspectives

    Reflections on the Occasion of 20 Years of KeY
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-64353-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andrikopoulos / Pautasso / Ali | Software Architecture | Buch | Sack Fachmedien

    Andrikopoulos / Pautasso / Ali Software Architecture

    19th European Conference, ECSA 2025, Limassol, Cyprus, September 15-19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-02137-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90652-7
    Medium: Buch
    42,79 € (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

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V
    2024
    Verlag: Springer
    ISBN: 978-3-031-61361-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ogata / Martí-Oliet | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Ogata / Martí-Oliet Rewriting Logic and Its Applications

    15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-65940-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aldini | Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops | Buch | Sack Fachmedien

    Aldini Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

    CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66020-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reynolds / Tasiran | Verified Software. Theories, Tools and Experiments | Buch | Sack Fachmedien

    Reynolds / Tasiran Verified Software. Theories, Tools and Experiments

    15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66063-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Balke / Golub / Manolopoulos | Linking Theory and Practice of Digital Libraries | Buch | Sack Fachmedien

    Balke / Golub / Manolopoulos Linking Theory and Practice of Digital Libraries

    29th International Conference on Theory and Practice of Digital Libraries, TPDL 2025, Tampere, Finland, September 23-26, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05408-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Santos / Álvarez / Hernández-Leo | Collaboration Technologies and Social Computing | Buch | Sack Fachmedien

    Santos / Álvarez / Hernández-Leo Collaboration Technologies and Social Computing

    30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-67997-1
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ábrahám / Abbas | Runtime Verification | Buch | Sack Fachmedien

    Ábrahám / Abbas Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-74233-0
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foster / Sampaio | The Application of Formal Methods | Buch | Sack Fachmedien

    Foster / Sampaio The Application of Formal Methods

    Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
    2024
    Verlag: Springer
    ISBN: 978-3-031-67113-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tekinerdogan / Spalazzese / Sözer | Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium | Buch | Sack Fachmedien

    Tekinerdogan / Spalazzese / Sözer Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium

    Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66325-3
    Medium: Buch
    79,17 € (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

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-61358-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shyamasundar / Huang / He | Blockchain - ICBC 2025 | Buch | Sack Fachmedien

    Shyamasundar / Huang / He Blockchain - ICBC 2025

    8th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06175-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Bridging the Gap Between AI and Reality | Buch | Sack Fachmedien

    Steffen Bridging the Gap Between AI and Reality

    Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1-5, 2025, Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07131-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yan / Klemm / de Supinski | OpenMP: Balancing Productivity and Performance Portability | Buch | Sack Fachmedien

    Yan / Klemm / de Supinski OpenMP: Balancing Productivity and Performance Portability

    21st International Workshop on OpenMP, IWOMP 2025, Charlotte, NC, USA, October 1-3, 2025 Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06342-7
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganty / Mansutti | Reachability Problems | Buch | Sack Fachmedien

    Ganty / Mansutti Reachability Problems

    19th International Conference, RP 2025, Madrid, Spain, October 1-3, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-09523-7
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garijo / Kirrane / Salatino | The Semantic Web - ISWC 2025 | Buch | Sack Fachmedien

    Garijo / Kirrane / Salatino The Semantic Web - ISWC 2025

    24th International Semantic Web Conference, Nara, Japan, November 2-6, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-09526-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauri / Burgueño / Tommasini | Web Engineering | Buch | Sack Fachmedien

    Mauri / Burgueño / Tommasini Web Engineering

    26th International Conference, ICWE 2026, Lyon, France, June 9-12, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29371-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cid / Rechberger | Fast Software Encryption | Buch | Sack Fachmedien

    Cid / Rechberger Fast Software Encryption

    21st International Workshop, FSE 2014, London, UK, March 3-5, 2014. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-662-46705-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Müller / Loomes | Medical Imaging and Informatics | Buch | Sack Fachmedien

    Gao / Müller / Loomes Medical Imaging and Informatics

    Second International Conference, MIMI 2007, Beijing, China, August 14-16, 2007, Revised Selected papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79489-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klette / Peleg / Sommer | Robot Vision | Buch | Sack Fachmedien

    Klette / Peleg / Sommer Robot Vision

    International Workshop RobVis 2001 Auckland, New Zealand, February 16-18, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41694-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broy / Zamulin | Perspectives of Systems Informatics | Buch | Sack Fachmedien

    Broy / Zamulin Perspectives of Systems Informatics

    5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-20813-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davies / Schulte / Barnett | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Davies / Schulte / Barnett Formal Methods and Software Engineering

    6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23841-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Valero / Joe / Kitsuregawa | High Performance Computing | Buch | Sack Fachmedien

    Valero / Joe / Kitsuregawa High Performance Computing

    Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16-18, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-41128-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Belli / Radermacher | Industrial and Engineering Applications of Artificial Intelligence and Expert Systems | Buch | Sack Fachmedien

    Belli / Radermacher Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

    5th International Conference, IEA/AIE-92, Paderborn, Germany, June 9-12, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55601-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Marzo Serugendo / Karageorgos / Rana | Engineering Self-Organising Systems | Buch | Sack Fachmedien

    Di Marzo Serugendo / Karageorgos / Rana Engineering Self-Organising Systems

    Nature-Inspired Approaches to Software Engineering
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21201-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Sharf | Computational Visual Media | Buch | Sack Fachmedien

    Zhang / Sharf Computational Visual Media

    12th International Conference, CVM 2024, Wellington, New Zealand, April 10-12, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-2091-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pei / Yung / Lin | Information Security and Cryptology | Buch | Sack Fachmedien

    Pei / Yung / Lin Information Security and Cryptology

    Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79498-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knoop | Compiler Construction | Buch | Sack Fachmedien

    Knoop Compiler Construction

    20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19860-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu | Model Checking Software | Buch | Sack Fachmedien

    Pasareanu Model Checking Software

    16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02651-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganter / Mineau | Conceptual Structures: Logical, Linguistic, and Computational Issues | Buch | Sack Fachmedien

    Ganter / Mineau Conceptual Structures: Logical, Linguistic, and Computational Issues

    8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67859-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lopes / Žilinskas / Costan | Euro-Par 2014: Parallel Processing Workshops | Buch | Sack Fachmedien

    Lopes / Žilinskas / Costan Euro-Par 2014: Parallel Processing Workshops

    Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I
    2014
    Verlag: Springer
    ISBN: 978-3-319-14324-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baeten / Mauw | CONCUR'99. Concurrency Theory | Buch | Sack Fachmedien

    Baeten / Mauw CONCUR'99. Concurrency Theory

    10th International Conference Eindhoven, The Netherlands, August 24-27, 1999 Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66425-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jhala / Igarashi | Programming Languages and Systems | Buch | Sack Fachmedien

    Jhala / Igarashi Programming Languages and Systems

    10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35181-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fdida / Morganti | Multimedia Applications, Services and Techniques - ECMAST'97 | Buch | Sack Fachmedien

    Fdida / Morganti Multimedia Applications, Services and Techniques - ECMAST'97

    Second European Conference, Milan, Italy, May 21-23, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63078-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nejdl / De Bra | Adaptive Hypermedia and Adaptive Web-Based Systems | Buch | Sack Fachmedien

    Nejdl / De Bra Adaptive Hypermedia and Adaptive Web-Based Systems

    Third International Conference, AH 2004, Eindhoven, The Netherlands, August 23-26, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22895-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bourke / Chen / Goharshady | Dependable Software Engineering. Theories, Tools, and Applications | Buch | Sack Fachmedien

    Bourke / Chen / Goharshady Dependable Software Engineering. Theories, Tools, and Applications

    10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-981-960601-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Malyshkin | Parallel Computing Technologies | Buch | Sack Fachmedien

    Malyshkin Parallel Computing Technologies

    11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23177-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ingolfsdottir / Mishra / Nielson | Transactions on Computational Systems Biology VII | Buch | Sack Fachmedien

    Ingolfsdottir / Mishra / Nielson Transactions on Computational Systems Biology VII

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48837-8
    Medium: Buch
    53,49 € (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
    Brause / Hanisch | Medical Data Analysis | Buch | Sack Fachmedien

    Brause / Hanisch Medical Data Analysis

    First International Symposium, ISMDA 2000 Frankfurt, Germany, September 29-30, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41089-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilbert / Karlsson | SWAT '90 | Buch | Sack Fachmedien

    Gilbert / Karlsson SWAT '90

    2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52846-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Nipkow Rewriting Techniques and Applications

    9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64301-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tuosto / Ouyang | Web Services and Formal Methods | Buch | Sack Fachmedien

    Tuosto / Ouyang Web Services and Formal Methods

    10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08259-2
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Conti / Giordano / Gregori | Personal Wireless Communications | Buch | Sack Fachmedien

    Conti / Giordano / Gregori Personal Wireless Communications

    IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20123-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cavedon / Rao / Wobcke | Intelligent Agent Systems: Theoretical and Practical Issues | Buch | Sack Fachmedien

    Cavedon / Rao / Wobcke Intelligent Agent Systems: Theoretical and Practical Issues

    Theoretical and Practical Issues. Based on a Workshop Held at PRICAI '96, Cairns, Australia, August 26-30, 1996
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62686-2
    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
    Grigoras / Nicolau / Toursel | Advanced Environments, Tools, and Applications for Cluster Computing | Buch | Sack Fachmedien

    Grigoras / Nicolau / Toursel Advanced Environments, Tools, and Applications for Cluster Computing

    NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43672-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krebbers | Programming Languages and Systems | Buch | Sack Fachmedien

    Krebbers Programming Languages and Systems

    35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-22719-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Humphrey / Titolo | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Humphrey / Titolo NASA Formal Methods

    17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93705-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gollmann / Lanet / Iguchi-Cartigny | Smart Card Research and Advanced Applications | Buch | Sack Fachmedien

    Gollmann / Lanet / Iguchi-Cartigny Smart Card Research and Advanced Applications

    9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-12509-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pal / Sadakane | Algorithms and Computation | Buch | Sack Fachmedien

    Pal / Sadakane Algorithms and Computation

    8th International Workshop, WALCOM 2014, Chennai, India, February 13-15, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04656-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bistarelli | Semirings for Soft Constraint Solving and Programming | Buch | Sack Fachmedien

    Bistarelli Semirings for Soft Constraint Solving and Programming

    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21181-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ebner / O'Neill / Ekárt | Genetic Programming | Buch | Sack Fachmedien

    Ebner / O'Neill / Ekárt Genetic Programming

    10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71602-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Poli / Nordin / Langdon | Genetic Programming | Buch | Sack Fachmedien

    Poli / Nordin / Langdon Genetic Programming

    Second European Workshop, EuroGP'99, Göteborg, Sweden, May 26-27, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-65899-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Du / Wang | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Yang / Du / Wang Combinatorial Optimization and Applications

    Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-85096-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutsche / Weber | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Kutsche / Weber Fundamental Approaches to Software Engineering

    5th International Conference, FASE 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43353-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Giacomo / Lubiw | Graph Drawing and Network Visualization | Buch | Sack Fachmedien

    Di Giacomo / Lubiw Graph Drawing and Network Visualization

    23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-27260-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hojjat / Caltais | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Hojjat / Caltais Fundamentals of Software Engineering

    11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-87053-8
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katoen / Stevens | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Katoen / Stevens Tools and Algorithms for the Construction and Analysis of Systems

    8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43419-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panda / Stunkel | Network-Based Parallel Computing. Communication, Architecture, and Applications | Buch | Sack Fachmedien

    Panda / Stunkel Network-Based Parallel Computing. Communication, Architecture, and Applications

    Second International Workshop, CANPC'98, Las Vegas, Nevada, USA, January 31 - February 1, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64140-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voss | OpenMP Shared Memory Parallel Programming | Buch | Sack Fachmedien

    Voss OpenMP Shared Memory Parallel Programming

    International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40435-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Apostolico / Takeda | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Apostolico / Takeda Combinatorial Pattern Matching

    13th Annual Symposium, CPM 2002 Fukuoka, Japan, July 3-5, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43862-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geva / Kamps / Trotman | Focused Retrieval and Evaluation | Buch | Sack Fachmedien

    Geva / Kamps / Trotman Focused Retrieval and Evaluation

    8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14555-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Müller-Olm | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Jones / Müller-Olm Verification, Model Checking, and Abstract Interpretation

    10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-93899-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peters | Transactions on Rough Sets IV | Buch | Sack Fachmedien

    Peters Transactions on Rough Sets IV

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29830-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thanos | Research and Advanced Technology for Digital Libraries | Buch | Sack Fachmedien

    Thanos Research and Advanced Technology for Digital Libraries

    First European Conference, ECDL '97 Pisa, Italy, September 1-3, 1997 Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63554-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones | Semantics-Directed Compiler Generation | Buch | Sack Fachmedien

    Jones Semantics-Directed Compiler Generation

    Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10250-2
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nagel / Perales Lopez | Articulated Motion and Deformable Objects | Buch | Sack Fachmedien

    Nagel / Perales Lopez Articulated Motion and Deformable Objects

    First International Workshop, AMDO 2000 Palma de Mallorca, Spain, September 7-9, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67912-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Nahir / Vos | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Biere / Nahir / Vos Hardware and Software: Verification and Testing

    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39610-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heidrich / Oivo / Jedlitschka | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Heidrich / Oivo / Jedlitschka Product-Focused Software Process Improvement

    14th International Conference, PROFES 2013, Paphos, Cyprus, June 12-14, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39258-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dillon / Herrero | On the Move to Meaningful Internet Systems, OTM 2010 | Buch | Sack Fachmedien

    Dillon / Herrero On the Move to Meaningful Internet Systems, OTM 2010

    Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Greece, October 25-29, 2010, Proceedings, Part I
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16933-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chi / Lam | Content Computing | Buch | Sack Fachmedien

    Chi / Lam Content Computing

    Advanced Workshop on Content Computing, AWCC 2004, Zhen Jiang, Jiang Su, China, November 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23898-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lemos / Gacek / Romanovsky | Architecting Dependable Systems III | Buch | Sack Fachmedien

    Lemos / Gacek / Romanovsky Architecting Dependable Systems III

    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28968-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960773-0
    Medium: Buch
    149,79 € (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
    Steffen | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Steffen Tools and Algorithms for the Construction and Analysis of Systems

    4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64356-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Michaelis / Krell | Pattern Recognition | Buch | Sack Fachmedien

    Michaelis / Krell Pattern Recognition

    25th DAGM Symposium, Magdeburg, Germany, September 10-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40861-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mouratidis / Rolland | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Mouratidis / Rolland Advanced Information Systems Engineering

    23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21639-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Sack / Toth | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Toth Algorithms and Data Structures

    11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03366-7
    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