Refine your search

Your search returned 8301 results.

Sort
Results
4061.
Neural Information Processing [electronic resource] : 22nd International Conference, ICONIP 2015, November 9-12, 2015, Proceedings, Part IV / by Series: Theoretical Computer Science and General Issues ; 9492
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.

4062.
RoboCup 2007: Robot Soccer World Cup XI [electronic resource] / by Series: Lecture Notes in Artificial Intelligence ; 5001
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.

4063.
Brain Function Assessment in Learning [electronic resource] : First International Conference, BFAL 2017, Patras, Greece, September 24-25, 2017, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 10512
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.

4064.
Agents in Principle, Agents in Practice [electronic resource] : 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 7047
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.

4065.
Theory and Practice of Formal Methods [electronic resource] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by Series: Theoretical Computer Science and General Issues ; 9660
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.

4066.
Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4596
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.

4067.
4068.
4069.
Games and Learning Alliance [electronic resource] : 6th International Conference, GALA 2017, Lisbon, Portugal, December 5–7, 2017, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10653
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.

4070.
4071.
Augmented Cognition: Users and Contexts [electronic resource] : 12th International Conference, AC 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by Series: Lecture Notes in Artificial Intelligence ; 10916
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.

4072.
4073.
4074.
Descriptional Complexity of Formal Systems [electronic resource] : 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings / by Series: Theoretical Computer Science and General Issues ; 10952
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.

4075.
4076.
4077.
Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3256
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.

4078.
Rules and Rule Markup Languages for the Semantic Web [electronic resource] : Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings / by Series: Lecture Notes in Computer Science ; 3323
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.

4079.
Logic Based Program Synthesis and Transformation [electronic resource] : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / by Series: Lecture Notes in Computer Science ; 3018
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.

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