Refine your search

Your search returned 8148 results.

Sort
Results
5141.
Dynamic Data-Driven Environmental Systems Science [electronic resource] : First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8964
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.

5142.
5143.
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7998
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.

5144.
Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6515
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.

5145.
5146.
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 4562
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.

5147.
Software Engineering and Formal Methods [electronic resource] : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers / by Series: Programming and Software Engineering ; 9509
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.

5148.
Mathematical Foundations of Computer Science 2014 [electronic resource] : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II / by Series: Theoretical Computer Science and General Issues ; 8635
Edition: 1st ed. 2014.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook
Availability: No items available.

5149.
Engineering Multi-Agent Systems [electronic resource] : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 8758
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.

5150.
Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8197
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.

5151.
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5325
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
Availability: No items available.

5152.
5153.
Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 6548
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.

5154.
Computational Linguistics and Intelligent Text Processing [electronic resource] : 12th International Conference, CICLing 2011, Tokyo, Japan, February 20-26, 2011. Proceedings, Part I / by Series: Theoretical Computer Science and General Issues ; 6608
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.

5155.
5156.
Database and Expert Systems Applications [electronic resource] : 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9828
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.

5157.
Statistical Learning and Data Sciences [electronic resource] : Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9047
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.

5158.
Information Technologies in Biomedicine [electronic resource] : Third International Conference, ITIB 2012, Gliwice, Poland, June 11-13, 2012. Proceedings / by Series: Lecture Notes in Bioinformatics ; 7339
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.

5159.
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 3571
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.

5160.
Spatial Information Theory [electronic resource] : 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5756
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.

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