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
Universal Access in Human-Computer Interaction. Addressing Diversity: 5th International Conference, UAHCI 2009, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642027062
Format: Paperback (689 pages) Publisher: Springer Published: 02 Jul 2009
Universal Access in Human-Computer Interaction. Applications and Services: 5th International Conference, UAHCI 2009, Held as Part of HCI International ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642027123
Format: Paperback (817 pages) Publisher: Springer Published: 02 Jul 2009
Ambient Assistive Health and Wellness Management in the Heart of the City: 7th International Conference on Smart Homes and Health Telematics, ICOST ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642028670
Format: Paperback (309 pages) Publisher: Springer Published: 22 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
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
Engineering Applications of Neural Networks: 11th International Conference, EANN 2009, London, UK, August 27-29, 2009, Proceedings (Communications in Computer and Information Science)
ISBN 13: 9783642039683
Format: Paperback (496 pages) Publisher: Springer Published: 17 Aug 2009
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642040269
Format: Paperback (567 pages) Publisher: Springer Published: 28 Aug 2009
Global Security, Safety, and Sustainability: 5th International Conference, ICGS3 2009, London, UK, September 1-2, 2009, Proceedings (Communications in Computer and Information Science)
ISBN 13: 9783642040610
Format: Paperback (241 pages) Publisher: Springer Published: 28 Aug 2009
Foundations of Intelligent Systems: 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783642041242
Format: Paperback (624 pages) Publisher: Springer Published: 03 Sep 2009
Biometric ID Management and Multimodal Communication: Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783642043901
Format: Paperback (358 pages) Publisher: Springer Published: 07 Sep 2009