Ergebnisse filtern
Fachgebiet
Medium
  • 2458
  • 191
  • 11
Erscheinungsjahr
  • 1
  • 23
  • 106
  • 397
  • 303
  • 252
  • 249
  • 223
  • 139
  • 169
  • 123
  • 126
  • 85
  • 80
  • 48
  • 45
  • 64
  • 78
  • 24
  • 17
  • 1
  • 6
  • 4
  • 9
  • 12
  • 7
  • 7
  • 1
  • 2
  • 3
  • 5
  • 8
  • 2
  • 3
  • 3
  • 2
  • 1
  • 3
  • 6
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 3
  • 9
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 6
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 18
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 27
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 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
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 8
  • 8
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 30
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 3
  • 4
  • 7
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 9
  • 7
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 15
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 8
  • 6
  • 4
  • 9
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 6
  • 4
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 3
  • 8
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 9
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 30
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 11
  • 3
  • 4
  • 7
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 4
  • 6
  • 3
  • 3
  • 4
  • 8
  • 4
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 9
  • 9
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 7
  • 6
  • 5
  • 4
  • 3
  • 3
Verlag
  • 3
  • 3
  • 2
  • 1
  • 1
  • 13
  • 1
  • 9
  • 1
  • 4
  • 16
  • 15
  • 6
  • 15
  • 303
  • 2
  • 451
  • 142
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 9
  • 3
  • 3
  • 1
  • 1
  • 4
  • 1
  • 8
  • 8
  • 1
  • 1
  • 1272
  • 8
  • 60
  • 2
  • 30
  • 1
  • 2
  • 8
  • 6
  • 125
  • 9
  • 67
  • 9
  • 17
  • 4
  • 1
  • 1
Preis
  • 16
  • 243
  • 1209
  • 1192
Sprachen
  • 2592
  • 67
  • 2
  • 1
Verfügbarkeit
  • 2632
  • 28
Katalog
  • 2660
  • 327
2.660  Titel
    Emmerich / Deutz / Wang | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Emmerich / Deutz / Wang Evolutionary Multi-Criterion Optimization

    12th International Conference, EMO 2023, Leiden, The Netherlands, March 20-24, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27249-3
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Supowit | Algorithms for Constructing Computably Enumerable Sets | Buch | Sack Fachmedien

    Supowit Algorithms for Constructing Computably Enumerable Sets

    2023
    Verlag: Birkhäuser
    ISBN: 978-3-031-26903-5
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Supowit | Algorithms for Constructing Computably Enumerable Sets | Buch | Sack Fachmedien

    Supowit Algorithms for Constructing Computably Enumerable Sets

    2023
    Verlag: Birkhäuser
    ISBN: 978-3-031-26906-6
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dragoi / Emmi / Wang | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dragoi / Emmi / Wang Verification, Model Checking, and Abstract Interpretation

    24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
    2023
    Verlag: Springer
    ISBN: 978-3-031-24949-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dovier / Montanari / Orlandini | AIxIA 2022 - Advances in Artificial Intelligence | Buch | Sack Fachmedien

    Dovier / Montanari / Orlandini AIxIA 2022 - Advances in Artificial Intelligence

    XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-27180-9
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishikawa | Hypothesis Generation and Interpretation | Buch | Sack Fachmedien

    Ishikawa Hypothesis Generation and Interpretation

    Design Principles and Patterns for Big Data Applications
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-43539-3
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cimatti / Titolo | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Cimatti / Titolo Formal Methods for Industrial Critical Systems

    28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
    2023
    Verlag: Springer
    ISBN: 978-3-031-43680-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Radev / Rafiei | Natural Language Interfaces to Databases | Buch | Sack Fachmedien

    Li / Radev / Rafiei Natural Language Interfaces to Databases

    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-45045-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi / Worrell | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Kobayashi / Worrell Foundations of Software Science and Computation Structures

    27th International Conference, FoSSaCS 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-57230-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Kovács | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Finkbeiner / Kovács Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 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-57248-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsieh / Hung / Lee | Combinatorial Algorithms | Buch | Sack Fachmedien

    Hsieh / Hung / Lee Combinatorial Algorithms

    34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7-10, 2023, Proceedings
    2023
    Verlag: Springer
    ISBN: 978-3-031-34346-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciortea / Dastani / Luo | Engineering Multi-Agent Systems | Buch | Sack Fachmedien

    Ciortea / Dastani / Luo Engineering Multi-Agent Systems

    11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-48538-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kiefer / Kretínský / Kretínský | Taming the Infinities of Concurrency | Buch | Sack Fachmedien

    Kiefer / Kretínský / Kretínský Taming the Infinities of Concurrency

    Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
    2024
    Verlag: Springer
    ISBN: 978-3-031-56221-1
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chattopadhyay / Bhasin / Picek | Progress in Cryptology - INDOCRYPT 2023 | Buch | Sack Fachmedien

    Chattopadhyay / Bhasin / Picek Progress in Cryptology - INDOCRYPT 2023

    24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-56234-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen | Stochastic Methods for Modeling and Predicting Complex Dynamical Systems | Buch | Sack Fachmedien

    Chen Stochastic Methods for Modeling and Predicting Complex Dynamical Systems

    Uncertainty Quantification, State Estimation, and Reduced-Order Models
    2. Auflage 2025
    Verlag: Springer
    ISBN: 978-3-031-81923-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schöning | Ideen der Informatik | Buch | Sack Fachmedien

    Schöning Ideen der Informatik

    Grundlegende Modelle und Konzepte
    1. Auflage 2002
    Verlag: De Gruyter
    ISBN: 978-3-486-25899-8
    Medium: Buch
    99,95 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Suslow / Yatsko | Insight into Theoretical and Applied Informatics | Buch | Sack Fachmedien

    Suslow / Yatsko Insight into Theoretical and Applied Informatics

    Introduction to Information Technologies and Computer Science
    1. Auflage 2016
    Verlag: De Gruyter
    ISBN: 978-3-11-046987-5
    Medium: Buch
    44,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Das Objekt-Paradigma in der Informatik | Buch | Sack Fachmedien

    Das Objekt-Paradigma in der Informatik

    1994
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02295-4
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wegener | Theoretische Informatik | Buch | Sack Fachmedien

    Wegener Theoretische Informatik

    Eine algorithmenorientierte Einführung
    1993
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02123-0
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Chua / Adamatzky / Sirakoulis | Handbook of Memristor Networks | Buch | Sack Fachmedien

    Chua / Adamatzky / Sirakoulis Handbook of Memristor Networks

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-76374-3
    Medium: Buch
    406,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bender / Farach-Colton / Mosteiro | LATIN 2018: Theoretical Informatics | Buch | Sack Fachmedien

    Bender / Farach-Colton / Mosteiro LATIN 2018: Theoretical Informatics

    13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-77403-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fomin / Podolskii | Computer Science - Theory and Applications | Buch | Sack Fachmedien

    Fomin / Podolskii Computer Science - Theory and Applications

    13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-90529-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi / Tang | Advances in Swarm Intelligence | Buch | Sack Fachmedien

    Tan / Shi / Tang Advances in Swarm Intelligence

    9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93814-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyersdorff / Wintersteiger | Theory and Applications of Satisfiability Testing - SAT 2018 | Buch | Sack Fachmedien

    Beyersdorff / Wintersteiger Theory and Applications of Satisfiability Testing - SAT 2018

    21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94143-1
    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