Buy Used and New Algorithms Books

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642026577

Format: Paperback (722 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later

Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings: 5642 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642029783

Format: Paperback (263 pages)
Publisher: Springer
Published: 24 Jun 2009

Save for later

Machine Learning and Data Mining in Pattern Recognition: 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009, Proceedings: ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642030697

Format: Paperback (824 pages)
Publisher: Springer
Published: 10 Jul 2009

Save for later

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, ... Computer Science and General Issues)

by

ISBN 13: 9783642030727

Format: Paperback (510 pages)
Publisher: Springer
Published: 10 Jul 2009

Save for later

Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642030918

Format: Paperback (139 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Advances in Bioinformatics and Computational Biology: 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009, ... Science / Lecture Notes in Bioinformatics)

by

ISBN 13: 9783642032226

Format: Paperback (169 pages)
Publisher: Springer
Published: 14 Jul 2009

Save for later

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected ... / Programming and Software Engineering)

by

ISBN 13: 9783642032394

Format: Paperback (233 pages)
Publisher: Springer
Published: 20 Jul 2009

Save for later

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings: 5674 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642033582

Format: Paperback (517 pages)
Publisher: Springer
Published: 04 Aug 2009

Save for later

Wireless Algorithms, Systems, and Applications: 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings: 5682 ... Computer Science and General Issues)

by

ISBN 13: 9783642034169

Format: Paperback (594 pages)
Publisher: Springer
Published: 28 Jul 2009

Save for later

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings: 5684 (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642034657

Format: Paperback (357 pages)
Publisher: Springer
Published: 29 Jul 2009

Save for later

Mathematics of Surfaces XIII: 13th IMA International Conference York, UK, September 7-9, 2009 Proceedings: 5654 (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642035951

Format: Paperback (409 pages)
Publisher: Springer
Published: 06 Aug 2009

Save for later

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings: 5715 (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642037443

Format: Paperback (293 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later