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 151-160 von 909

  1. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
    Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
    16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013, Proceedings
    Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, José D.P. Rolim
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  2. Trends in Functional Programming
    Trends in Functional Programming
    13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers
    Hans Wolfgang Loidl, Ricardo Peña
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  3. Theories of Programming and Formal Methods
    Theories of Programming and Formal Methods
    Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
    Zhiming Liu, Jim Woodcock, Huibiao Zhu
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Unifying Theories of Programming and Formal Engineering Methods
    Unifying Theories of Programming and Formal Engineering Methods
    International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
    Zhiming Liu, Jim Woodcock, Huibiao Zhu
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Interactive Theorem Proving
    Interactive Theorem Proving
    4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
    Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  6. Model Checking Software
    Model Checking Software
    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    Ezio Bartocci, C. R. Ramakrishnan
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  7. Theory and Applications of Satisfiability Testing - SAT 2013
    Theory and Applications of Satisfiability Testing - SAT 2013
    16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
    Matti Jarvisalo, Allen Van Gelder
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Descriptional Complexity of Formal Systems
    Descriptional Complexity of Formal Systems
    15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
    Jürgensen, Rogério Reis
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  9. The Nature of Computation: Logic, Algorithms, Applications
    The Nature of Computation: Logic, Algorithms, Applications
    9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
    Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Implementation and Application of Automata
    Implementation and Application of Automata
    18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
    Stavros Konstantinidis
    Taschenbuch | Springer Berlin, 2013
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 151-160 von 909

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

Abbrechen Weiter einkaufen