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

Produkte 61-70 von 909

  1. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
    Taschenbuch | Springer Berlin, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  2. SOFSEM 2015: Theory and Practice of Computer Science
    SOFSEM 2015: Theory and Practice of Computer Science
    41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
    Giuseppe Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer
    Taschenbuch | Springer Berlin, 2015
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  3. Applications of Evolutionary Computation
    Applications of Evolutionary Computation
    17th European Conference, EvoApplications 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
    Anna I. Esparcia-Alcázar, Antonio M. Mora
    Taschenbuch | Springer Berlin, 2014
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 109,99
  4. Logic and Its Applications
    Logic and Its Applications
    6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
    Mohua Banerjee, Krishna S.
    Taschenbuch | Springer Berlin, 2014
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 52,80
  5. Graph Drawing
    Graph Drawing
    22nd International Symposium, GD 2014, Würzburg, Germany, September 24-26, 2014, Revised Selected Papers
    Christian Duncan, Antonios Symvonis
    Taschenbuch | Springer Berlin, 2014
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  6. Stochastic Model Checking
    Stochastic Model Checking
    International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
    Anne Remke, Mariëlle Stoelinga
    Taschenbuch | Springer Berlin, 2014
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 52,80
  7. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
    Tiziana Margaria, Bernhard Steffen
    Taschenbuch | Springer Berlin, 2014
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
    6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
    Tiziana Margaria, Bernhard Steffen
    Taschenbuch | Springer Berlin, 2014
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  9. Distributed Computing
    Distributed Computing
    28th International Symposium DISC 2014, Austin, TX, USA, October 12-15, 2014, Proceedings
    Fabian Kuhn
    Taschenbuch | Springer Berlin, 2014
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Network and Parallel Computing
    Network and Parallel Computing
    11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
    Ching-Hsien Hsu, Xuanhua Shi, Valentina Salapura
    Taschenbuch | Springer Berlin, 2014
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 61-70 von 909

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

Abbrechen Weiter einkaufen