Refine your search

Your search returned 8301 results.

Sort
Results
3901.
Computing and Combinatorics [electronic resource] : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-19, 2005, Proceedings / by Series: Theoretical Computer Science and General Issues ; 3595
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.

3902.
LATIN 2004: Theoretical Informatics [electronic resource] : 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 2976
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.

3903.
Spatial Cognition VIII [electronic resource] : International Conference, Spatial Cognition 2012, Kloster Seeon, Germany, August 31 -- September 3, 2012, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7463
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.

3904.
Towards Autonomous Robotic Systems [electronic resource] : 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9287
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.

3905.
Advanced Data Mining and Applications [electronic resource] : 13th International Conference, ADMA 2017, Singapore, November 5–6, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10604
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.

3906.
Data Integration in the Life Sciences [electronic resource] : 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings / by Series: Lecture Notes in Bioinformatics ; 10649
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.

3907.
3908.
Autonomous Agents and Multiagent Systems [electronic resource] : AAMAS 2017 Workshops, Visionary Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 10643
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.

3909.
3910.
Dynamic Logic. New Trends and Applications [electronic resource] : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10669
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

3911.
Software Engineering and Formal Methods [electronic resource] : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / by Series: Programming and Software Engineering ; 10729
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

3912.
Graphical Models for Security [electronic resource] : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / by Series: Security and Cryptology ; 10744
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

3913.
Unconventional Computation and Natural Computation [electronic resource] : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10867
Edition: 1st ed. 2018.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook
Availability: No items available.

3914.
3915.
3916.
Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / by Series: Lecture Notes in Artificial Intelligence ; 6572
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.

3917.
Algorithms and Discrete Applied Mathematics [electronic resource] : First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / by Series: Theoretical Computer Science and General Issues ; 8959
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.

3918.
Scientific and Statistical Database Management [electronic resource] : 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6809
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.

3919.
Combinatorial Pattern Matching [electronic resource] : 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4580
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.

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