Parallel Computing Technologies: 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings (Lecture Notes ... Computer Science and General Issues)
by
ISBN 13: 9783540739395
Format: Paperback (635 pages) Publisher: Springer Published: 07 Aug 2007
Save for later
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540741275
Format: Paperback (185 pages) Publisher: Springer Published: 09 Aug 2007
Advanced Concepts for Intelligent Vision Systems: 9th International Conference, ACIVS 2007, Delft, The Netherlands, August 28-31, 2007, Proceedings ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540746065
Format: Paperback (1100 pages) Publisher: Springer Published: 22 Aug 2007
Pattern Recognition and Machine Intelligence: Second International Conference, PReMI 2007, Kolkata, India, December 18-22, 2007, Proceedings (Lecture ... Vision, Pattern Recognition, and Graphics)
ISBN 13: 9783540770459
Format: Paperback (677 pages) Publisher: Springer Published: 29 Nov 2007
Early Aspects: Current Challenges and Future Directions: 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers ... / Programming and Software Engineering)
ISBN 13: 9783540768104
Format: Paperback (199 pages) Publisher: Springer Published: 14 Dec 2007
Types for Proofs and Programs: International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540680840
Format: Paperback (203 pages) Publisher: Springer Published: 26 May 2008
Journal on Data Semantics XI: Pt. 11 (Lecture Notes in Computer Science / Journal on Data Semantics)
ISBN 13: 9783540921479
Format: Paperback (235 pages) Publisher: Springer Published: 09 Dec 2008
Theoretical Introduction to Programming
by Bruce Ian Mills
ISBN 13: 9781846280214
Format: Paperback (358 pages) Publisher: Springer Published: 25 Oct 2005
Automatic Quantum Computer Programming: A Genetic Programming Approach
by Lee Spector
ISBN 13: 9780387364964
Format: Paperback (166 pages) Publisher: Springer Published: 07 Nov 2006
Agent-Oriented Information Systems III: 7th International Bi-Conference Workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540482918
Format: Paperback (301 pages) Publisher: Springer Published: 28 Nov 2006
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540730835
Format: Paperback (407 pages) Publisher: Springer Published: 19 Jun 2007
Advances in Geometric Modeling and Processing: 5th International Conference,GMP 2008, Hangzhou, China, April 23-25, 2008, Proceedings (Lecture Notes ... Computer Science and General Issues)
ISBN 13: 9783540792451
Format: Paperback (606 pages) Publisher: Springer Published: 07 Apr 2008