Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)
by
ISBN 13: 9783540646082
Format: Paperback (552 pages) Publisher: Springer Published: 03 Jun 1998
Save for later
Mathematical Optimization in Computer Graphics and Vision (The Morgan Kaufmann Series in Computer Graphics)
by Luiz Velho,Paulo Carvalho,Jonas Gomes,Luiz de Figueiredo
ISBN 13: 9780127159515
Format: Hardcover (304 pages) Publisher: Morgan Kaufmann Published: 04 Jun 2008
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops: ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, ... Computer Science and General Issues)
ISBN 13: 9783540747666
Format: Paperback (536 pages) Publisher: Springer Published: 14 Aug 2007