Refine your search

Your search returned 4164 results.

Sort
Results
2381.
2382.
Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 5348
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.

2383.
2384.
Automated Deduction -- CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6803
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.

2385.
Foundations of Intelligent Systems [electronic resource] : 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5722
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.

2386.
Practical Aspects of Knowledge Management [electronic resource] : 5th International Conference, PAKM 2004, Vienna, Austria, December 2-3, 2004, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3336
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.

2387.
Algorithms and Models for the Web Graph [electronic resource] : 13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14–15, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10088
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

2388.
2389.
2390.
2391.
2392.
Computing and Combinatorics [electronic resource] : 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10392
Edition: 1st ed. 2017.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook
Availability: No items available.

2393.
Network and Parallel Computing [electronic resource] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6985
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.

2394.
2395.
2396.
Data Warehousing and Knowledge Discovery [electronic resource] : 9th International Conference, DaWaK 2007, Regensburg, Germany, September 3-7, 2007, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4654
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.

2397.
Programming Multi-Agents Systems [electronic resource] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7217
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.

2398.
Intelligent Tutoring Systems [electronic resource] : 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings / by Series: Programming and Software Engineering ; 4053
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.

2399.
Conceptual Structures: Inspiration and Application [electronic resource] : 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4068
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.

2400.
Multiagent System Technologies [electronic resource] : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013 Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8076
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.

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