Refine your search

Your search returned 8301 results.

Sort
Results
4661.
Computer Aided Verification [electronic resource] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4590
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.

4662.
Learning and Intelligent Optimization [electronic resource] : 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011, Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6683
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.

4663.
Knowledge-Based Intelligent Information and Engineering Systems [electronic resource] : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I / by Series: Lecture Notes in Artificial Intelligence ; 3681
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

4664.
Algorithms and Complexity [electronic resource] : 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6078
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.

4665.
4666.
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 6619
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.

4667.
4668.
4669.
Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8923
Edition: 1st ed. 2015.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015 In: Springer Nature eBook
Availability: No items available.

4670.
Computer Vision, Graphics and Image Processing [electronic resource] : 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 4338
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.

4671.
4672.
4673.
Stochastic Algorithms: Foundations and Applications [electronic resource] : 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings / by Series: Theoretical Computer Science and General Issues ; 5792
Edition: 1st ed. 2009.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook
Availability: No items available.

4674.
AI 2005: Advances in Artificial Intelligence [electronic resource] : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3809
Edition: 1st ed. 2005.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook
Availability: No items available.

4675.
4676.
4677.
4678.
Web Engineering [electronic resource] : 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 7977
Edition: 1st ed. 2013.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook
Availability: No items available.

4679.
4680.
Entertainment Computing - ICEC 2006 [electronic resource] : 5th International Conference, Cambridge, UK, September 20-22, 2006, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4161
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.

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