Toggle Nav
Menu
  • Home
  • Reihe: Theoretical Computer Science and General Issues
Kategorie
Sozialwissenschaften Informatik & IT Lexika Mathe & Naturwissenschaften Philosophie & Religion
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 61-70 von 697

  1. Combinatorics on Words
    Combinatorics on Words
    13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings
    Thierry Lecroq, Svetlana Puzynina
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 71,49
  2. Quantitative Evaluation of Systems
    Quantitative Evaluation of Systems
    18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings
    Alessandro Abate, Andrea Marin
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 98,99
  3. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings
    Catalin Dima, Mahsa Shirmohammadi
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
    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
    Tiziana Margaria, Bernhard Steffen
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Model Checking Software
    Model Checking Software
    27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
    Alfons Laarman, Ana Sokolova
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  6. Algorithms and Data Structures
    Algorithms and Data Structures
    17th International Symposium, WADS 2021, Virtual Event, August 9–11, 2021, Proceedings
    Anna Lubiw, Mohammad Salavatipour, Meng He
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 109,99
  7. Trends in Functional Programming
    Trends in Functional Programming
    22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers
    Viktória Zsók, John Hughes
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 43,99
  8. Computer Aided Verification
    Computer Aided Verification
    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
    Alexandra Silva, K. Rustan M. Leino
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 43,99
  9. Architecture of Computing Systems
    Architecture of Computing Systems
    34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings
    Christian Hochberger, Lars Bauer, Thilo Pionteck
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Approximation and Online Algorithms
    Approximation and Online Algorithms
    18th International Workshop, WAOA 2020, Virtual Event, September 9–10, 2020, Revised Selected Papers
    Christos Kaklamanis, Asaf Levin
    Taschenbuch | Springer International Publishing, 2021
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 175,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 61-70 von 697

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen