Buch, Englisch, 108 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 184 g
ISBN: 978-1-4757-8306-3
Verlag: Springer US
serves as an excellent reference, providing insight into some of the most important research issues in the field.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Searching for a Global Search Algorithm.- Specification and Animation of a Bank Transfer using KIDS/VDM.- Interactive Explanation of Software Systems.- Test Case Generation as an AI Planning Problem.- Desert Island Column.