Springer 1 25 2006 (6 risultati)

Paperback or Softback. Condizione: New. Types for Proofs and Programs: International Workshop, Types 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers. Book.

Paperback or Softback. Condizione: New. Automated Deduction in Geometry: 5th International Workshop, Adg 2004, Gainesville, Fl, Usa, September 16-18, 2004, Revised Papers. Book.

Paperback or Softback. Condizione: New. Foundations of Information and Knowledge Systems: 4th International Symposium, Foiks 2006, Budapest, Hungary, February 14-17, 2006, Proceedings. Book.

Paperback or Softback. Condizione: New. Constraint-Based Mining and Inductive Databases: European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11. Book.

Paperback or Softback. Condizione: New. Fuzzy Logic and Applications: 5th International Workshop, Wilf 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers. Book.

Paperback or Softback. Condizione: New. Graph Drawing: 13 Th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers. Book.