Your search returned 237 results.

Sort
Results
161.
162.
Interactive Systems. Design Specification, and Verification [electronic resource] : 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers / by Series: Programming and Software Engineering ; 3941
Edition: 1st ed. 2006.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook
Availability: No items available.

163.
Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 7391
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

164.
165.
166.
Advances in Artificial Intelligence [electronic resource] : 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7310
Edition: 1st ed. 2012.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook
Availability: No items available.

167.
168.
Modeling Decisions for Artificial Intelligence [electronic resource] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6408
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.

169.
AI 2011: Advances in Artificial Intelligence [electronic resource] : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7106
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

170.
171.
172.
173.
Research and Advanced Technology for Digital Libraries [electronic resource] : 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4675
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.

174.
175.
Artificial Intelligence and Computational Intelligence [electronic resource] : Second International Conference, AICIS 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 7002
Edition: 1st ed. 2011.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook
Availability: No items available.

176.
177.
Computer Analysis of Images and Patterns [electronic resource] : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9257
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

178.
Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings / by Series: Lecture Notes in Computer Science ; 14151
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook
Availability: No items available.

179.
180.
Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers / by Series: Lecture Notes in Computer Science ; 2944
Edition: 1st ed. 2004.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook
Availability: No items available.

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