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 161-170 von 329

  1. Arithmetic of Finite Fields
    Arithmetic of Finite Fields
    4th International Workshop, WAIFI 2012, Bochum, Germany, July 16-19, 2012, Proceedings
    Ferruh Özbudak, Francisco Rodriguez-Henriquez
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 50,60
  2. Interactive Theorem Proving
    Interactive Theorem Proving
    Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
    Lennart Beringer, Amy Felty
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 57,99
  3. Central European Functional Programming School
    Central European Functional Programming School
    4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers
    Viktória Zsók, Zoltán Horváth, Rinus Plasmeijer
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  4. Progress in VLSI Design and Test
    Progress in VLSI Design and Test
    16th International Symposium on VSLI Design and Test, VDAT 2012, Shipur, India, July 1-4, 2012, Proceedings
    Hafizur Rahaman, Sanatan Chattopadhyay, Santanu Chattopadhyay
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  5. Combinatorial Optimization
    Combinatorial Optimization
    Second International Symposium, ISCO 2012, Athens, Greece, 19-21, Revised Selected Papers
    A. Ridha Mahjoub, Vangelis Markakis, Ioannis Milis, Vangelis Th. Paschos
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  6. Logic, Language and Meaning
    Logic, Language and Meaning
    18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
    Maria Aloni, Vadim Kimmelman, Floris Roelofsen, Galit Sassoon, Katrin Schulz, Matthijs Westera
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  7. Computer Aided Verification
    Computer Aided Verification
    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    Madhusudan Parthasarathy, Sanjit A. Seshia
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  8. Combinatorial Pattern Matching
    Combinatorial Pattern Matching
    23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012, Proceedings
    Juha Kärkkäinen, Jens Stoye
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  9. Structural Information and Communication Complexity
    Structural Information and Communication Complexity
    19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30 - July 2, 2012, Revised Selected Papers
    Guy Even, Magnús M. Halldórsson
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
  10. Algorithms and Models for the Web Graph
    Algorithms and Models for the Web Graph
    9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings
    Anthony Bonato, Jeannette Janssen
    Taschenbuch | Springer Berlin, 2012
    Sprache: Englisch
    Lieferung in 7-14 Werktagen
    € 54,99
Seite:
pro Seite
Sortieren nach: absteigend

Produkte 161-170 von 329

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

Abbrechen Weiter einkaufen