Your search returned 4 results.

Sort
Results
1.
2.
Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6349
Edition: 1st ed. 2010.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook
Availability: No items available.

3.
4.
Case-Based Reasoning Research and Development [electronic resource] : 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast Northern Ireland, UK, August 13-16, 2007 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4626
Edition: 1st ed. 2007.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook
Availability: No items available.

Pages
© 2024 IIIT-Delhi, library@iiitd.ac.in