Refine your search

Your search returned 1186 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1001.
1002.
Transactions on Computational Collective Intelligence XVI [electronic resource] / edited by Ryszard Kowalczyk, Ngoc Thanh Nguyen. by Series: Lecture Notes in Computer Science ; 8780
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
1003.
Beyond bullet points : using Microsoft Office PowerPoint 2007 to create presentations that inform, motivate and inspire / Cliff Atkinson by Series: Eastern economy edition serise
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Prentice-Hall, 2008
Other title:
  • Microsoft Office PowerPoint 2007 beyond bullet points
Availability: Items available for loan: National Library of India (1)Call number: E 005.58 At 54.

Place hold Request article Save to lists
1004.
Leveraging digital tools to assess student learning / Stephanie Smith Budhai. by Series: Student assessment for educators
Edition: First Edition.
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: New York : Routledge, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 371.27/2.

Place hold Save to lists
1005.
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by Series: Lecture Notes in Computer Science ; 8148
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
1006.
Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by Series: Lecture Notes in Computer Science ; 7857
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
1007.
Programming the photon : getting started with the internet of things / Christopher Rush by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Chennai : McGraw Hill Education, 2016
Availability: Items available for loan: National Library of India (1)Call number: E 621.381 R 895.

Place hold Request article Save to lists
1008.
Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Series: Lecture Notes in Computer Science ; 8997
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
1009.
Informatics in Schools. A Step Beyond Digital Education [electronic resource] : 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Vienna, Austria, September 26-28, 2022, Proceedings / edited by Andreas Bollin, Gerald Futschek. by Series: Lecture Notes in Computer Science ; 13488
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: 371.334.

Place hold Save to lists
1010.
Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by Series: Lecture Notes in Computer Science ; 8241
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
1011.
Computer Aided Verification [electronic resource] : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / edited by Daniel Kroening, Corina S. Păsăreanu. by Series: Lecture Notes in Computer Science ; 9207
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
1012.
Formal Methods and Software Engineering [electronic resource] : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings / edited by Toshiaki Aoki, Kenji Taguchi. by Series: Lecture Notes in Computer Science ; 7635
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
1013.
Inductive Logic Programming [electronic resource] : 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings / edited by Nikos Katzouris, Alexander Artikis. by Series: Lecture Notes in Artificial Intelligence ; 13191
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: (1)Call number: 006.3.

Place hold Save to lists
1014.
A Java library of graph algorithms and optimization / Hang T. Lau by Series: Discrete Mathematics and its applications
Publication details: Boca Raton, Fla. : Chapman & Hall, 2020
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 L 36.

Place hold Request article Save to lists
1015.
Digital learning and collaborative practices : lessons from inclusive and empowering participation with emerging technologies / edited by Eva Brooks, Susanne Dau and Staffan Selander. by
Material type: Text Text; Literary form: Not fiction
Language: English
Publication details: New York, NY : Routledge, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 371.33/4.

Place hold Save to lists
1016.
Microsoft Office 97 professional 6 in 1 / by Peter G. Aitken . . . [et al. ] ; compiled by Faithe Wempen by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: USA : [s.n., c1997
Other title:
  • Microsoft Office 97 professional six in one
Availability: Items available for loan: National Library of India (1)Call number: E 005.3 M 583.

Place hold Request article Save to lists
1017.
Woody Leonhard teaches Microsoft Office 2000 / Woody Leonhard by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Prentice-Hall, c1999
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 L 553.

Place hold Request article Save to lists
1018.
Accelerator Programming Using Directives [electronic resource] : 8th International Workshop, WACCPD 2021, Virtual Event, November 14, 2021, Proceedings / edited by Sridutt Bhalachandra, Christopher Daley, Verónica Melesse Vergara. by Series: Programming and Software Engineering ; 13194
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: 005.45.

Place hold Save to lists
1019.
1020.
                                                                           
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