Toggle Nav
Menu
  • Home
  • Reihe: Lecture Notes in Computer Science

Reihe: Lecture Notes in Computer Science

Anzeigen als
Seite:
pro Seite
absteigend

Produkte 1791-1800 von 3885

  1. ZB 2002: Formal Specification and Development in Z and B
    ZB 2002: Formal Specification and Development in Z and B
    2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
    Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
    Taschenbuch | Springer Berlin, 2002
    Lieferbar in 6 Werktagen
    € 54,99
  2. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
    Shengchao Qin, Zongyan Qiu
    Taschenbuch | Springer Berlin, 2011
    Lieferbar in 9 Werktagen
    € 54,99
  3. Algebraic and Logic Programming
    Algebraic and Logic Programming
    6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
    Michael Hanus, Jan Heering, Karl Meinke
    Taschenbuch | Springer Berlin, 1997
    Lieferbar in 6 Werktagen
    € 54,99
  4. Algorithm Engineering
    Algorithm Engineering
    3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 Proceedings
    Jeffrey S. Vitter, Christos D. Zaroliagis
    Taschenbuch | Springer Berlin, 1999
    Lieferbar in 6 Werktagen
    € 54,99
  5. Comparative Evaluation of Multilingual Information Access Systems
    Comparative Evaluation of Multilingual Information Access Systems
    4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Selected Papers
    Julio Gonzalo, Martin Braschler, Michael Kluck
    Taschenbuch | Springer Berlin, 2004
    Lieferbar in 6 Werktagen
    € 109,99
  6. Computer Aided Systems Theory - EUROCAST '97
    Computer Aided Systems Theory - EUROCAST '97
    A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings
    Franz Pichler, Roberto Moreno-Diaz
    Taschenbuch | Springer Berlin, 1997
    Lieferbar in 6 Werktagen
    € 109,99
  7. Higher Order Logic Theorem Proving and Its Applications
    Higher Order Logic Theorem Proving and Its Applications
    7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
    Thomas F. Melham, Juanito Camilleri
    Taschenbuch | Springer Berlin, 1994
    Lieferbar in 6 Werktagen
    € 54,99
  8. Fast Software Encryption
    Fast Software Encryption
    22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised Selected Papers
    Gregor Leander
    Taschenbuch | Springer Berlin, 2015
    Lieferbar in 6 Werktagen
    € 54,99
  9. Algebraic Methodology and Software Technology
    Algebraic Methodology and Software Technology
    11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
    Michael Johnson, Varmo Vene
    Taschenbuch | Springer Berlin, 2006
    Lieferbar in 6 Werktagen
    € 54,99
  10. Formal Aspects in Security and Trust
    Formal Aspects in Security and Trust
    Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
    Theo Dimitrakos, Fabio Martinelli, Peter Y.A. Ryan, Steve Schneider
    Taschenbuch | Springer Berlin, 2006
    Lieferung in 7-14 Werktagen
    € 54,99
Anzeigen als
Seite:
pro Seite
absteigend

Produkte 1791-1800 von 3885

Unsere Prinzipien

  • kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • alle FALTER-Produkte und Abos, nur hier!
  • als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
  • hohe Sicherheit durch SSL-Verschlüsselung (RSA 2048 bit)
  • keine Weitergabe personenbezogener Daten an Dritte

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

Abbrechen Weiter einkaufen