Ergebnisse filtern
Fachgebiet
Medium
  • 2235
  • 191
  • 11
Erscheinungsjahr
  • 1
  • 11
  • 281
  • 296
  • 254
  • 241
  • 209
  • 158
  • 196
  • 121
  • 128
  • 83
  • 80
  • 44
  • 44
  • 61
  • 77
  • 25
  • 20
  • 1
  • 6
  • 5
  • 9
  • 10
  • 6
  • 7
  • 1
  • 2
  • 3
  • 5
  • 8
  • 2
  • 3
  • 3
  • 2
  • 1
  • 3
  • 6
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 4
  • 2
  • 5
  • 5
  • 3
  • 9
  • 2
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 9
  • 5
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 17
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 27
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 30
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 9
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 7
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 9
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 6
  • 15
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 7
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 9
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 8
  • 30
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 11
  • 3
  • 4
  • 7
  • 3
  • 7
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 6
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 7
  • 8
  • 9
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 6
  • 4
  • 4
  • 3
  • 3
Verlag
  • 2
  • 2
  • 10
  • 4
  • 8
  • 1
  • 5
  • 2
  • 1
  • 7
  • 7
  • 1
  • 83
  • 3
  • 249
  • 140
  • 1
  • 2
  • 1
  • 3
  • 3
  • 3
  • 2
  • 1
  • 1
  • 4
  • 1
  • 7
  • 3
  • 1
  • 333
  • 61
  • 638
  • 3
  • 2
  • 174
  • 133
  • 9
  • 7
  • 21
  • 1
  • 52
  • 16
  • 165
  • 239
  • 17
  • 5
  • 1
  • 2
Preis
  • 16
  • 240
  • 1172
  • 1009
Sprachen
  • 2365
  • 71
  • 3
Verfügbarkeit
  • 2381
  • 56
Katalog
  • 2437
  • 282
2.437  Titel
    Hirschfeldt / Downey | Algorithmic Randomness and Complexity | Buch | Sack Fachmedien

    Hirschfeldt / Downey Algorithmic Randomness and Complexity

    Softcover Nachdruck of the original 1. Auflage 2010
    Verlag: Springer
    ISBN: 978-1-4939-3820-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Wu | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Zhang / Wu Combinatorial Optimization and Applications

    14th International Conference, COCOA 2020, Dallas, TX, USA, December 11¿13, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-64842-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Lee / Hon | Computing and Combinatorics | Buch | Sack Fachmedien

    Chen / Lee / Hon Computing and Combinatorics

    27th International Conference, COCOON 2021, Tainan, Taiwan, October 24¿26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-89542-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hotz / Tierny / Bin Masood | Topological Methods in Data Analysis and Visualization VI | Buch | Sack Fachmedien

    Hotz / Tierny / Bin Masood Topological Methods in Data Analysis and Visualization VI

    Theory, Applications, and Software
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-83502-6
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wies / Finkbeiner | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Wies / Finkbeiner Verification, Model Checking, and Abstract Interpretation

    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16¿18, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-94582-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Zhu | Computer Vision | Buch | Sack Fachmedien

    Wu / Zhu Computer Vision

    Statistical Models for Marr's Paradigm
    2023
    Verlag: Springer International Publishing
    ISBN: 978-3-030-96532-7
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kopetz | Data, Information, and Time | Buch | Sack Fachmedien

    Kopetz Data, Information, and Time

    The DIT Model
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-96328-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Musatov / Santhanam | Computer Science ¿ Theory and Applications | Buch | Sack Fachmedien

    Musatov / Santhanam Computer Science ¿ Theory and Applications

    16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28¿July 2, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-79415-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kasirajan | Fundamentals of Quantum Computing | Buch | Sack Fachmedien

    Kasirajan Fundamentals of Quantum Computing

    Theory and Practice
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63688-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paszynski / Kranzlmüller / Sloot | Computational Science ¿ ICCS 2021 | Buch | Sack Fachmedien

    Paszynski / Kranzlmüller / Sloot Computational Science ¿ ICCS 2021

    21st International Conference, Krakow, Poland, June 16¿18, 2021, Proceedings, Part III
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-77966-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bell / Potapov / Totzke | Reachability Problems | Buch | Sack Fachmedien

    Bell / Potapov / Totzke Reachability Problems

    15th International Conference, RP 2021, Liverpool, UK, October 25¿27, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-89715-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paolieri / Ábrahám | Quantitative Evaluation of Systems | Buch | Sack Fachmedien

    Paolieri / Ábrahám Quantitative Evaluation of Systems

    19th International Conference, QEST 2022, Warsaw, Poland, September 12¿16, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16335-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fred / Aveiro / Filipe | Knowledge Discovery, Knowledge Engineering and Knowledge Management | Buch | Sack Fachmedien

    Fred / Aveiro / Filipe Knowledge Discovery, Knowledge Engineering and Knowledge Management

    12th International Joint Conference, IC3K 2020, Virtual Event, November 2-4, 2020, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-14601-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhu / Wang | Computing and Combinatorics | Buch | Sack Fachmedien

    Zhu / Wang Computing and Combinatorics

    24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-94775-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kerren / Biedl | Graph Drawing and Network Visualization | Buch | Sack Fachmedien

    Kerren / Biedl Graph Drawing and Network Visualization

    26th International Symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04413-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Tan / Abbass | Evolutionary Computation and Complex Networks | Buch | Sack Fachmedien

    Liu / Tan / Abbass Evolutionary Computation and Complex Networks

    Softcover Nachdruck of the original 1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-09649-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sais / Hamadi | Handbook of Parallel Constraint Reasoning | Buch | Sack Fachmedien

    Sais / Hamadi Handbook of Parallel Constraint Reasoning

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-09694-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Duan / Nagoya / Liu | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Duan / Nagoya / Liu Structured Object-Oriented Formal Language and Method

    8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-13650-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stergiou / Rousseau | Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Buch | Sack Fachmedien

    Stergiou / Rousseau Integration of Constraint Programming, Artificial Intelligence, and Operations Research

    16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4¿7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-19211-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soeken / Drechsler | Advanced Boolean Techniques | Buch | Sack Fachmedien

    Soeken / Drechsler Advanced Boolean Techniques

    Selected Papers from the 13th International Workshop on Boolean Problems
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-20322-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Groote | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Larsen / Groote Tools and Algorithms for the Construction and Analysis of Systems

    27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 ¿ April 1, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-72012-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Leucker / Falcone | Formal Methods in Outer Space | Buch | Sack Fachmedien

    Bartocci / Leucker / Falcone Formal Methods in Outer Space

    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-87347-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manyà / Li | Theory and Applications of Satisfiability Testing ¿ SAT 2021 | Buch | Sack Fachmedien

    Manyà / Li Theory and Applications of Satisfiability Testing ¿ SAT 2021

    24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-80222-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boulier / Vorozhtsov / England | Computer Algebra in Scientific Computing | Buch | Sack Fachmedien

    Boulier / Vorozhtsov / England Computer Algebra in Scientific Computing

    23rd International Workshop, CASC 2021, Sochi, Russia, September 13¿17, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-85164-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Yap / Hj. Mohamed | Soft Computing in Data Science | Buch | Sack Fachmedien

    Berry / Yap / Hj. Mohamed Soft Computing in Data Science

    Second International Conference, SCDS 2016, Kuala Lumpur, Malaysia, September 21-22, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer Nature Singapore
    ISBN: 978-981-10-2776-5
    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