Refine your search

Your search returned 1394 results.

Sort
Results
361.
362.
Leveraging Applications of Formal Methods, Verification and Validation. Practice [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 13704
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 005.1.

363.
364.
Applied Computer Sciences in Engineering [electronic resource] : 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings / edited by Juan Carlos Figueroa-García, German Hernández, Jose Luis Villa Ramirez, Elvis Eduardo Gaona García. 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: 005.1.

365.
366.
367.
Performance Evaluation and Benchmarking [electronic resource] : 14th TPC Technology Conference, TPCTC 2022, Sydney, NSW, Australia, September 5, 2022, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. 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.

368.
Public-Key Cryptography - PKC 2022 [electronic resource] : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8-11, 2022, Proceedings, Part I / edited by Goichiro Hanaoka, Junji Shikata, Yohei Watanabe. by Series: Security and Cryptology ; 13177
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: 005.824.

369.
370.
The Circulation of Agency in E-Justice [electronic resource] : Interoperability and Infrastructures for European Transborder Judicial Proceedings / edited by Francesco Contini, Giovan Francesco Lanzara. by Series: Law, Governance and Technology Series ; 13
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Dordrecht : Springer Netherlands, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

371.
372.
373.
Windows 8 inside out / Tony Northrup by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Delhi : PHI Learning , 2013
Availability: Items available for loan: National Library of India (1)Call number: E 005.446 N 818.

374.
Chāyā modern computer application / ছায়া মডার্ন কম্পিউটার অ্যাপ্লিকেশন / কুমুদ রঞ্জন পাল Pāl, Kumud Rañjan by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Language: Bengali
Publication details: কলকাতা : ছায়া প্রকাশনী, 2024
Availability: Items available for loan: National Library of India (2)Call number: B 004.0712 P 2225 c s.2, ...

375.
Chāyā computer śikṣak / ছায়া কম্পিউটার শিক্ষক / কুমুদ রঞ্জন পাল Pāl, Kumud Rañjan by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;
Language: Bengali
Publication details: কলকাতা : ছায়া প্রকাশনী, 2024
Availability: Items available for loan: National Library of India (1)Call number: B 004.0712 P 2225 cha s.2.

376.
Analyzing Political Communication with Digital Trace Data [electronic resource] : The Role of Twitter Messages in Social Science Research / by Andreas Jungherr. by Series: Contributions to Political Science
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).

377.
ADO.NET : the complete reference / Michael Otey, Denielle Otey by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2003
Availability: Items available for loan: National Library of India (1)Call number: E 004.6 Ot 2.

378.
S. Chand's ICSE Computer applications: with BLUEJ based JAVA programming: for class IX / Dheeraj Mehrotra by
Edition: rev.ed.
Language: English
Publication details: Noida: S Chand School books, 2025
Availability: Items available for loan: National Library of India (1)Call number: E/O 004 M 474 (Class IX) (2025).

379.
Microsoft.NET Compact Framework / Andy Wigley [and] Mark Sutton by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, c2003
Availability: Items available for loan: National Library of India (1)Call number: E 005.2768 W 639.

380.
The document object model : processing structured documents / Joe Marini by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, c2002
Availability: Items available for loan: National Library of India (1)Call number: E 005.3 M 338.

                                                                           
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