Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in ... Computer Science and General Issues)
by
ISBN 13: 9783540488156
Format: Paperback (386 pages) Publisher: Springer Published: 30 Oct 2006
Save for later
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings ... Computer Science and General Issues)
ISBN 13: 9783540727873
Format: Paperback (384 pages) Publisher: Springer Published: 18 May 2007
Rough Sets and Current Trends in Computing: Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540442745
Format: Paperback (655 pages) Publisher: Springer Published: 25 Sep 2002
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings: 4th International Joint ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540710691
Format: Paperback (556 pages) Publisher: Springer Published: 25 Jul 2008
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN 13: 9783540799795
Format: Paperback (432 pages) Publisher: Springer Published: 15 Jul 2008
Natural Language Processing and Information Systems: 14th International Conference on Applications of Natural Language to Information Systems , NLDB ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642125492
Format: Paperback (336 pages) Publisher: Springer Published: 20 Apr 2010
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540710653
Format: Paperback (321 pages) Publisher: Springer Published: 30 Jul 2008
Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540734475
Format: Paperback (419 pages) Publisher: Springer Published: 21 Jun 2007
Abstraction, Reformulation, and Approximation: 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540735793
Format: Paperback (418 pages) Publisher: Springer Published: 04 Jul 2007
Machine Learning: ECML 2006: 17th European Conference on Machine Learning, Berlin, Germany, September 18-22, 2006, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540453758
Format: Paperback (851 pages) Publisher: Springer Published: 19 Sep 2006
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540682356
Format: Paperback (436 pages) Publisher: Springer Published: 08 May 2008
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783642041631
Format: Paperback (409 pages) Publisher: Springer Published: 28 Aug 2009