Refine your search

Your search returned 1913 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1841.
Applied Degree Education and the Shape of Things to Come [electronic resource] / edited by Christina Hong, Will W. K. Ma. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 371.33.

Place hold Save to lists
1842.
Young Children and Families in the Information Age [electronic resource] : Applications of Technology in Early Childhood / edited by Kelly L. Heider, Mary Renck Jalongo. by Series: Educating the Young Child, Advances in Theory and Research, Implications for Practice ; 10
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Springer Netherlands, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1843.
Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gerwin Klein, Ruben Gamboa. by Series: Lecture Notes in Computer Science ; 8558
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1844.
Advanced Parallel Processing Technologies [electronic resource] : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers / edited by Chenggang Wu, Albert Cohen. by Series: Lecture Notes in Computer Science ; 8299
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1845.
Supercomputing [electronic resource] : 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023, Revised Selected Papers, Part II / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 004.

Place hold Save to lists
1846.
Human-Computer Interaction. Interaction Modalities and Techniques [electronic resource] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part IV / edited by Masaaki Kurosu. by Series: Lecture Notes in Computer Science ; 8007
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1847.
1848.
1849.
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 7610
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1850.
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by Series: Lecture Notes in Computer Science ; 8174
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1851.
Teaching and learning with ICT in the primary school [electronic resource] / edited by Sarah Younie, Marilyn Leask, and Kevin Burden. by
Edition: 2nd ed.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: New York : Routledge, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1852.
Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings / edited by Stephan K. Chalup, Alan D. Blair, Marcus Randall. by Series: Lecture Notes in Computer Science ; 8955
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1853.
Artificial General Intelligence [electronic resource] : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / edited by Jordi Bieger, Ben Goertzel, Alexey Potapov. by Series: Lecture Notes in Computer Science ; 9205
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1854.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings / edited by Georg Gottlob, Daniela Inclezan, Marco Maratea. by Series: Lecture Notes in Artificial Intelligence ; 13416
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.3.

Place hold Save to lists
1855.
Artificial Life and Computational Intelligence [electronic resource] : First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015. Proceedings / edited by Stephan K. Chalup, Alan D. Blair, Marcus Randall. by Series: Lecture Notes in Computer Science ; 8955
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1856.
Emerging Issues in Smart Learning [electronic resource] / edited by Guang Chen, Vive Kumar, Kinshuk, Ronghuai Huang, Siu Cheung Kong. by Series: Lecture Notes in Educational Technology
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1857.
1858.
Distributed Computing and Intelligent Technology [electronic resource] : 19th International Conference, ICDCIT 2023, Bhubaneswar, India, January 18-22, 2023, Proceedings / edited by Anisur Rahaman Molla, Gokarna Sharma, Pradeep Kumar, Sanjay Rawat. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 6,213,821 | 004.6.

Place hold Save to lists
1859.
Intelligent Virtual Agents [electronic resource] : 14th International Conference, IVA 2014, Boston, MA, USA, August 27-29, 2014. Proceedings / edited by Timothy Bickmore, Stacy Marsella, Candace Sidner. by Series: Lecture Notes in Computer Science ; 8637
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1860.
Blended learning : research perspectives. Volume 3 / edited by Anthony Picciano, Charles D. Dziuban, Charles R. Graham, and Patsy D. Moskal by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: New York, NY ; Milton Park, Abingdon, Oxon : Routledge, [2021]
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 371.3.

Place hold Save to lists
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India