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 591-600 von 724

  1. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
    Sriram Sankaranarayanan, Enrico Vicario
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  2. Swarm, Evolutionary, and Memetic Computing
    Swarm, Evolutionary, and Memetic Computing
    5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers
    Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  3. Implementation and Application of Automata
    Implementation and Application of Automata
    20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
    Frank Drewes
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Computer Aided Verification
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    Daniel Kroening, Corina S. Păsăreanu
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  5. DNA Computing and Molecular Programming
    DNA Computing and Molecular Programming
    21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
    Andrew Phillips, Peng Yin
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  6. Computer Aided Verification
    Computer Aided Verification
    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    Daniel Kroening, Corina S. Păsăreanu
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  7. Unconventional Computation and Natural Computation
    Unconventional Computation and Natural Computation
    14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings
    Cristian S. Calude, Michael J. Dinneen
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Stabilization, Safety, and Security of Distributed Systems
    Stabilization, Safety, and Security of Distributed Systems
    17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings
    Andrzej Pelc, Alexander A. Schwarzmann
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 60,49
  9. Algorithms and Data Structures
    Algorithms and Data Structures
    14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings
    Frank Dehne, Jörg-Rüdiger Sack, Ulrike Stege
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Computing and Combinatorics
    Computing and Combinatorics
    21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings
    Dachuan Xu, Donglei Du, Dingzhu Du
    Taschenbuch | Springer International Publishing, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 591-600 von 724

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

Abbrechen Weiter einkaufen