Refine your search

Your search returned 8148 results.

Sort
Results
4721.
Types for Proofs and Programs [electronic resource] : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 3839
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.

4722.
4723.
Software Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications / by Series: Programming and Software Engineering ; 4408
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.

4724.
4725.
GeoSpatial Semantics [electronic resource] : Second International Conference, GeoS 2007, Mexico City, Mexico, November 29-30, 2007 / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 4853
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.

4726.
Semantic Technology [electronic resource] : Third Joint International Conference, JIST 2013, Seoul, South Korea, November 28--30, 2013, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8388
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
Availability: No items available.

4727.
Environments for Multi-Agent Systems III [electronic resource] : Third International Workshop, E4MAS 2006, Hakodate, Japan, May 8, 2006, Selected Revised and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 4389
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.

4728.
Computing and Combinatorics [electronic resource] : 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7434
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.

4729.
Artificial Immune Systems [electronic resource] : 4th International Conference, ICARIS 2005, Banff, Alberta, Canada, August 14-17, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3627
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.

4730.
Transactions on Computational Collective Intelligence XIX [electronic resource] / by Series: Transactions on Computational Collective Intelligence ; 9380
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.

4731.
Advances in Multidisciplinary Retrieval [electronic resource] : First Information Retrieval Facility Conference, IRFC 2010, Vienna, Austria, May 31, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6107
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.

4732.
Mathematical Knowledge Management [electronic resource] : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3863
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.

4733.
Algorithms in Bioinformatics [electronic resource] : 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings / by Series: Lecture Notes in Bioinformatics ; 4645
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.

4734.
Agent-Oriented Software Engineering IX [electronic resource] : 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers / by Series: Programming and Software Engineering ; 5386
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.

4735.
4736.
Logic, Language, Information, and Computation [electronic resource] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / by Series: Theoretical Computer Science and General Issues ; 9803
Edition: 1st ed. 2016.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook
Availability: No items available.

4737.
4738.
Functional and Logic Programming [electronic resource] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8475
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
Availability: No items available.

4739.
Graph-Based Representation and Reasoning [electronic resource] : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 8577
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
Availability: No items available.

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