Hybrid Artificial Intelligence Systems: 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783642023187
Format: Paperback (715 pages) Publisher: Springer Published: 02 Jun 2009
Save for later
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)
ISBN 13: 9783642026577
Format: Paperback (722 pages) Publisher: Springer Published: 19 Jun 2009
Implementation and Application of Automata: 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings: 5642 (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642029783
Format: Paperback (263 pages) Publisher: Springer Published: 24 Jun 2009
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)
ISBN 13: 9783642030697
Format: Paperback (824 pages) Publisher: Springer Published: 10 Jul 2009
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642030727
Format: Paperback (510 pages) Publisher: Springer Published: 10 Jul 2009
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)
ISBN 13: 9783642030918
Format: Paperback (139 pages) Publisher: Springer Published: 26 Oct 2009
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)
ISBN 13: 9783642032226
Format: Paperback (169 pages) Publisher: Springer Published: 14 Jul 2009
Neural Networks Theory
by Alexander I. Galushkin
ISBN 13: 9783540481249
Format: Hardcover (420 pages) Publisher: Springer Published: 09 Aug 2007
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected ... / Programming and Software Engineering)
ISBN 13: 9783642032394
Format: Paperback (233 pages) Publisher: Springer Published: 20 Jul 2009
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)
ISBN 13: 9783642033582
Format: Paperback (517 pages) Publisher: Springer Published: 04 Aug 2009
Wireless Algorithms, Systems, and Applications: 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings: 5682 ... Computer Science and General Issues)
ISBN 13: 9783642034169
Format: Paperback (594 pages) Publisher: Springer Published: 28 Jul 2009
Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings: 5684 (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642034657
Format: Paperback (357 pages) Publisher: Springer Published: 29 Jul 2009