Ergebnisse filtern
Medium
  • 3238
Erscheinungsjahr
  • 69
  • 315
  • 308
  • 252
  • 214
  • 172
  • 207
  • 201
  • 196
  • 183
  • 155
  • 168
  • 159
  • 163
  • 159
  • 164
  • 137
  • 5
  • 8
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 23
  • 5
  • 2
  • 2
  • 13
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 13
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 8
  • 3
  • 2
  • 2
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 6
  • 2
  • 3
  • 3
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 6
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 13
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 8
  • 3
  • 9
  • 3
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 3
  • 7
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 11
  • 2
  • 7
  • 10
  • 5
  • 3
  • 3
  • 6
  • 7
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 13
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 8
  • 2
  • 2
  • 6
  • 6
  • 6
  • 5
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 11
  • 9
  • 2
  • 2
  • 3
  • 2
  • 8
  • 9
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 14
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 10
  • 2
  • 15
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 6
  • 8
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 7
  • 4
  • 2
  • 2
  • 3
  • 3
  • 13
  • 2
  • 8
  • 2
  • 2
  • 3
  • 5
  • 8
  • 5
  • 4
  • 3
  • 24
  • 5
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 13
  • 3
  • 5
  • 7
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 3
  • 3
  • 3
  • 31
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 8
  • 4
  • 9
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 10
  • 4
  • 5
  • 3
  • 5
  • 9
  • 15
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 8
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 12
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 4
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 19
  • 19
  • 11
  • 9
  • 4
  • 6
  • 6
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 8
  • 5
  • 6
  • 14
  • 6
  • 10
  • 3
  • 3
  • 7
  • 4
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 10
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 13
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 9
  • 3
  • 12
  • 6
  • 4
  • 4
  • 11
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 10
  • 9
  • 3
  • 10
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 12
  • 3
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 22
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 17
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 8
  • 3
  • 4
  • 4
  • 3
  • 8
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 19
  • 3
  • 4
  • 3
  • 11
  • 5
  • 4
  • 21
  • 19
  • 6
  • 5
  • 8
  • 6
  • 19
  • 6
  • 5
  • 3
  • 3
  • 10
  • 14
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 4
  • 5
  • 29
  • 4
  • 9
  • 3
  • 4
  • 6
  • 6
  • 14
  • 21
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 21
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 4
  • 19
  • 5
  • 7
  • 8
  • 10
  • 4
  • 3
  • 11
  • 3
  • 4
  • 7
  • 7
  • 5
  • 6
  • 4
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 11
  • 3
  • 13
  • 15
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 6
Verlag
  • 703
  • 2186
  • 2
  • 341
  • 1
  • 5
Preis
  • 119
  • 2739
  • 380
Sprachen
  • 3238
Verfügbarkeit
  • 3238
Eigenschaften
  • 13
Katalog
  • 3238
3.238  Treffer  für „Springer Nature Proceedings Computer Science“
    Ábrahám / Abbas | Runtime Verification | eBook | Sack Fachmedien
    E-Book

    Ábrahám / Abbas Runtime Verification

    24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-74234-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Dutle / Moscato / Titolo | NASA Formal Methods | eBook | Sack Fachmedien
    E-Book

    Dutle / Moscato / Titolo NASA Formal Methods

    13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-76384-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    90,94 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Polikarpova / Schneider | Integrated Formal Methods | eBook | Sack Fachmedien
    E-Book

    Polikarpova / Schneider Integrated Formal Methods

    13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66845-1
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Giuliani / Assaf / Giannaccini | Towards Autonomous Robotic Systems | eBook | Sack Fachmedien
    E-Book

    Giuliani / Assaf / Giannaccini Towards Autonomous Robotic Systems

    19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-96728-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Abramowicz / Paschke | Business Information Systems | eBook | Sack Fachmedien
    E-Book

    Abramowicz / Paschke Business Information Systems

    21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings
    Erscheinungsjahr 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-93931-5
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Marík / Marík / Schirrmann | Industrial Applications of Holonic and Multi-Agent Systems | eBook | Sack Fachmedien
    E-Book

    Marík / Marík / Schirrmann Industrial Applications of Holonic and Multi-Agent Systems

    7th International Conference, HoloMAS 2015, Valencia, Spain, September 2-3, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-22867-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    50,28 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Lutz / Ranise | Frontiers of Combining Systems | eBook | Sack Fachmedien
    E-Book

    Lutz / Ranise Frontiers of Combining Systems

    10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24246-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Srinivasan / Jeevarathinam / Rangasamy | Smart System for Integrated Computing and Communication | eBook | Sack Fachmedien
    E-Book

    Srinivasan / Jeevarathinam / Rangasamy Smart System for Integrated Computing and Communication

    First International Conference, ICSSICC 2024, Coimbatore, India, November 15–16, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-031-99939-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Prevosto / Seceleanu | Tests and Proofs | eBook | Sack Fachmedien
    E-Book

    Prevosto / Seceleanu Tests and Proofs

    17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-38828-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bansal / Devedzic / Nayak | Advanced Computing Techniques in Engineering and Technology | eBook | Sack Fachmedien
    E-Book

    Bansal / Devedzic / Nayak Advanced Computing Techniques in Engineering and Technology

    Second International Conference, ACTET 2025, Jaipur, India, February 12–13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-031-95540-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    64,19 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Drewes / Volkov | Developments in Language Theory | eBook | Sack Fachmedien
    E-Book

    Drewes / Volkov Developments in Language Theory

    27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-33264-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    M / Chakravarthi / B | Speech and Language Technologies for Low-Resource Languages | eBook | Sack Fachmedien
    E-Book

    M / Chakravarthi / B Speech and Language Technologies for Low-Resource Languages

    First International Conference, SPELLL 2022, Kalavakkam, India, November 23–25, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-33231-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    85,59 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chechik / Katoen / Leucker | Formal Methods | eBook | Sack Fachmedien
    E-Book

    Chechik / Katoen / Leucker Formal Methods

    25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-27481-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Rózewski / Rózewski / Lange | Knowledge Engineering and Semantic Web | eBook | Sack Fachmedien
    E-Book

    Rózewski / Rózewski / Lange Knowledge Engineering and Semantic Web

    8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-69548-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Uden / Liberona / Feldmann | Learning Technology for Education in Cloud – The Changing Face of Education | eBook | Sack Fachmedien
    E-Book

    Uden / Liberona / Feldmann Learning Technology for Education in Cloud – The Changing Face of Education

    5th International Workshop, LTEC 2016, Hagen, Germany, July 25-28, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-42147-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cassez / Raskin | Automated Technology for Verification and Analysis | eBook | Sack Fachmedien
    E-Book

    Cassez / Raskin Automated Technology for Verification and Analysis

    12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11936-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ribeiro / Lecomte | Formal Methods: Foundations and Applications | eBook | Sack Fachmedien
    E-Book

    Ribeiro / Lecomte Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49815-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Mahlow / Piotrowski | Systems and Frameworks for Computational Morphology | eBook | Sack Fachmedien
    E-Book

    Mahlow / Piotrowski Systems and Frameworks for Computational Morphology

    Fourth International Workshop, SFCM 2015, Stuttgart, Germany, September 17-18, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23980-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Awan / Younas / Franch | Mobile Web Information Systems | eBook | Sack Fachmedien
    E-Book

    Awan / Younas / Franch Mobile Web Information Systems

    11th International Conference, MobiWIS 2014, Barcelona, Spain, August 27-29, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10359-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Moreira / Reis | Developments in Language Theory | eBook | Sack Fachmedien
    E-Book

    Moreira / Reis Developments in Language Theory

    25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-81508-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    90,94 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Kapitsaki / Santana de Almeida | Software Reuse: Bridging with Social-Awareness | eBook | Sack Fachmedien
    E-Book

    Kapitsaki / Santana de Almeida Software Reuse: Bridging with Social-Awareness

    15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-35122-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Chen / Cheng / Esparza | Automated Technology for Verification and Analysis | eBook | Sack Fachmedien
    E-Book

    Chen / Cheng / Esparza Automated Technology for Verification and Analysis

    17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
    Erscheinungsjahr 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-31784-3
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Jayne / Iliadis | Engineering Applications of Neural Networks | eBook | Sack Fachmedien
    E-Book

    Jayne / Iliadis Engineering Applications of Neural Networks

    17th International Conference, EANN 2016, Aberdeen, UK, September 2-5, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44188-7
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Blanchette / Merz | Interactive Theorem Proving | eBook | Sack Fachmedien
    E-Book

    Blanchette / Merz Interactive Theorem Proving

    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-43144-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Collet / Gardashova / El Zant | Complex Computational Ecosystems | eBook | Sack Fachmedien
    E-Book

    Collet / Gardashova / El Zant Complex Computational Ecosystems

    First International Conference, CCE 2023, Baku, Azerbaijan, April 25–27, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-44355-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    58,84 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular