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 111-120 von 743

  1. Descriptional Complexity of Formal Systems
    Descriptional Complexity of Formal Systems
    22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings
    Galina Jirásková, Giovanni Pighizzini
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  2. Informatics in Schools. Engaging Learners in Computational Thinking
    Informatics in Schools. Engaging Learners in Computational Thinking
    13th International Conference, ISSEP 2020, Tallinn, Estonia, November 16–18, 2020, Proceedings
    Külli Kori, Mart Laanpere
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  3. Theory and Practice of Natural Computing
    Theory and Practice of Natural Computing
    9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings
    Carlos Martín-Vide, Miguel A. Vega-Rodríguez, Miin-Shen Yang
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Dynamic Data Driven Applications Systems
    Dynamic Data Driven Applications Systems
    Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings
    Frederica Darema, Erik Blasch, Sai Ravela, Alex Aved
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
    Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
    Tiziana Margaria, Bernhard Steffen
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 93,49
  6. Logic, Language, and Security
    Logic, Language, and Security
    Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
    Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 65,99
  7. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
    Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
    Tiziana Margaria, Bernhard Steffen
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Leveraging Applications of Formal Methods, Verification and Validation: Applications
    Leveraging Applications of Formal Methods, Verification and Validation: Applications
    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
    Tiziana Margaria, Bernhard Steffen
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  9. Swarm Intelligence
    Swarm Intelligence
    12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings
    Marco Dorigo, Thomas Stützle, Maria J. Blesa, Christian Blum, Heiko Hamann, Mary Katherine Heinrich, Volker Strobel
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Artificial Neural Networks and Machine Learning – ICANN 2020
    Artificial Neural Networks and Machine Learning – ICANN 2020
    29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15–18, 2020, Proceedings, Part I
    Igor Farkaš, Paolo Masulli, Stefan Wermter
    Taschenbuch | Springer International Publishing, 2020
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 109,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 111-120 von 743

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

Abbrechen Weiter einkaufen