Your search returned 8340 results.

Sort
Results
6061.
Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9201
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.

6062.
Interactive Storytelling [electronic resource] : 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15–18, 2016, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10045
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.

6063.
6064.
6065.
Automated Deduction – CADE 26 [electronic resource] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10395
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.

6066.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10258
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.

6067.
6068.
6069.
Static Analysis [electronic resource] : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings / by Series: Programming and Software Engineering ; 10422
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.

6070.
6071.
Language and Automata Theory and Applications [electronic resource] : 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10168
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.

6072.
6073.
Parallel Computing Technologies [electronic resource] : 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10421
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.

6074.
6075.
Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 9918
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.

6076.
6077.
6078.
6079.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings / by Series: Programming and Software Engineering ; 8396
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.

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