Your search returned 1521 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1021.
Approximation and Online Algorithms [electronic resource] : Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3879
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
Online access:
Availability: No items available.

Add to cart
1022.
Formal Concept Analysis [electronic resource] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6628
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
Online access:
Availability: No items available.

Add to cart
1023.
Intelligent Agents and Multi-Agent Systems [electronic resource] : 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5357
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
1024.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4790
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
Online access:
Availability: No items available.

Add to cart
1025.
Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / by Series: Programming and Software Engineering ; 6539
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
Online access:
Availability: No items available.

Add to cart
1026.
Heterogeneous Objects Modelling and Applications [electronic resource] : Collection of Papers on Foundations and Practice / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4889
Edition: 1st ed. 2008.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
1027.
Application and Theory of Petri Nets [electronic resource] : 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7347
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
Online access:
Availability: No items available.

Add to cart
1028.
Technologies and Applications of Artificial Intelligence [electronic resource] : 19th International Conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8916
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook
Online access:
Availability: No items available.

Add to cart
1029.
Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6445
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
Online access:
Availability: No items available.

Add to cart
1030.
Hybrid Artificial Intelligent Systems, Part I [electronic resource] : 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6076
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
Online access:
Availability: No items available.

Add to cart
1031.
Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / by Series: Transactions on Computational Science ; 7050
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
Online access:
Availability: No items available.

Add to cart
1032.
Algorithmic Decision Theory [electronic resource] : Second International Conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6992
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
Online access:
Availability: No items available.

Add to cart
1033.
1034.
Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6247
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
Online access:
Availability: No items available.

Add to cart
1035.
Hybrid Artificial Intelligent Systems [electronic resource] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 6679
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
Online access:
Availability: No items available.

Add to cart
1036.
Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 6214
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
Online access:
Availability: No items available.

Add to cart
1037.
AI 2007: Advances in Artificial Intelligence [electronic resource] : 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4830
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
Online access:
Availability: No items available.

Add to cart
1038.
Inductive Logic Programming [electronic resource] : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9046
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
Online access:
Availability: No items available.

Add to cart
1039.
Graph Transformations [electronic resource] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 6372
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
Online access:
Availability: No items available.

Add to cart
1040.
Algorithmic Learning Theory [electronic resource] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 6925
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
Online access:
Availability: No items available.

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