New Releases

Language

Ebook Format

DRM

1 - 6 of 6 results

Heuristic Search: Theory and Applications
Elsevier Science (2011)
66,58 €

Search has been vital to artificial intelligence from the very beginning as a core technique in...

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Springer Berlin Heidelberg (2007)
71,39 €

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are...

KI 2011: Advances in Artificial Intelligence: 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings

KI 2011: Advances in Artificial Intelligence

34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings

Springer Berlin Heidelberg (2011)
63,06 €

This book constitutes the refereed proceedings of the 34th Annual German Conference on Artificial...

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Springer Berlin Heidelberg (2007)
71,39 €

This book presents the proceedings of the 14th International SPIN workshop on Model Checking...

Computer Games
Springer International Publishing (2016)
51,16 €

This book constitutes the refereed proceedings of the Fourth Computer Games Workshop, CGW 2015, and...

Computer Games
Springer International Publishing (2017)
63,06 €

This book constitutes the refereed proceedings of the 5th Computer Games Workshop, CGW 2016, and the...