Refine your search

Your search returned 8289 results.

Sort
Results
501.
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 7993
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.

502.
Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by Series: Theoretical Computer Science and General Issues ; 9763
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.

503.
Games and Learning Alliance [electronic resource] : Second International Conference, GALA 2013, Paris, France, October 23-25, 2013, Revised Selected Papers / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 8605
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.

504.
505.
Computer Vision – ECCV 2018 Workshops [electronic resource] : Munich, Germany, September 8-14, 2018, Proceedings, Part I / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11129
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

506.
Computer Vision – ECCV 2018 Workshops [electronic resource] : Munich, Germany, September 8-14, 2018, Proceedings, Part VI / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11134
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

507.
High Performance Computing [electronic resource] : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / by Series: Theoretical Computer Science and General Issues ; 11203
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.

508.
Evolutionary Computing and Artificial Intelligence [electronic resource] : Essays Dedicated to Takao Terano on the Occasion of His Retirement / by Series: Communications in Computer and Information Science ; 999
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

509.
Information Quality in Information Fusion and Decision Making [electronic resource] / by Series: Information Fusion and Data Science
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

510.
Research in Computational Molecular Biology [electronic resource] : 23rd Annual International Conference, RECOMB 2019, Washington, DC, USA, May 5-8, 2019, Proceedings / by Series: Lecture Notes in Bioinformatics ; 11467
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

511.
512.
513.
Engineering Psychology and Cognitive Ergonomics [electronic resource] : 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 11571
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

514.
515.
516.
Software Technologies [electronic resource] : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers / by Series: Communications in Computer and Information Science ; 1077
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

517.
Formal Methods – The Next 30 Years [electronic resource] : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by Series: Programming and Software Engineering ; 11800
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

518.
Information and Software Technologies [electronic resource] : 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings / by Series: Communications in Computer and Information Science ; 1078
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

519.
Artificial Intelligence [electronic resource] : 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures / by Series: Lecture Notes in Artificial Intelligence ; 11866
Edition: 1st ed. 2019.
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook
Availability: No items available.

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