Buy Used and New StefanEdelkamp Books

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783540733690

Format: Paperback (285 pages)
Publisher: Springer
Published: 21 Jun 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)

by

ISBN 13: 9783540741275

Format: Paperback (185 pages)
Publisher: Springer
Published: 09 Aug 2007

Save for later

Heuristic Search: Theory and Applications

by Stefan Edelkamp,Stefan Schroedl

ISBN 13: 9780123725127

Format: Hardcover (712 pages)
Publisher: Morgan Kaufmann
Published: 28 Jul 2011

Save for later