Refine your search

Your search returned 1885 results.

Sort
Results
421.
Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : 13th International Joint Conference, IC3K 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers / edited by Ana Fred, David Aveiro, Jan Dietz, Jorge Bernardino, Elio Masciari, Joaquim Filipe. by Series:
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 025.04.

422.
Automated Technology for Verification and Analysis [electronic resource] : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun. 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.

423.
NASA Formal Methods [electronic resource] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings / edited by Kristin Yvonne Rozier, Swarat Chaudhuri. 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.

424.
Integrated Formal Methods [electronic resource] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan. by Series: Lecture Notes in Computer Science ; 13274
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.1.

425.
426.
Artificial General Intelligence [electronic resource] : 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings / edited by Patrick Hammer, Marjan Alirezaie, Claes Strannegård. 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: 006.3.

427.
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by Series: Lecture Notes in Computer Science ; 8050
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).

428.
Model-Based Engineering of Embedded Real-Time Systems [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese...[et al.] by Series: Lecture Notes in Computer Science ; 6100
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

429.
Practical Aspects of Declarative Languages [electronic resource] : 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings / edited by James Cheney, Simona Perri. by Series: Programming and Software Engineering ; 13165
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.13.

430.
431.
Software testing : a practical approach/ A. Malathi by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Coimbatore : Rainbow Pub., 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.14 M.

432.
Computer program abstracts by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : United States National Aeronautics and Space Administration, 1979-
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.1 Un 3.

433.
Software inspections : how to cut costs, improve quality and shorten time cycles of software projets/ Ronald A. Radice. by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2003
Availability: Items available for loan: National Library of India (1)Call number: 005.1 R 118.

434.
Productizing Quantum Computing [electronic resource] : Bring Quantum Computing Into Your Organization / by Dhairyya Agarwal, Shalini D, Srinjoy Ganguly. by
Edition: 1st ed. 2023.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Language: English
Publication details: Berkeley, CA : Apress : Imprint: Apress, 2023
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 51,068.

435.
Computer program abstracts by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : United States Government Printing Office, 1979-
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.1 Us 3 c (1979).

436.
Computer science & technology : data base reorganization principles and practice / Gary H. Sockut and Robert P. Goldberg by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : United States Government Printing Office , 1979
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.1 So 13.

437.
Computer program abstracts / United States National Aeronautics and Space Administration by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : U. S. National Aeronautics and Space Administration, 1969-
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.3 Un 3.

438.
A comparative study of men and women in software / by K. Jayanthi and R. Madhavan by Series: Working paper ; 2
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Bombay : Research Centre for Women's studies, SNDT Women's University, 1985
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.307 J 334.

439.
Role of customized software in current era/ edited by Pankaj Kumar by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Delhi : Lenin media, 2015
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 R 643.

440.
Software project management / Archana Kumar by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: New Delhi : UDH Pubs. & Distributors, 2012
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 K 96 s.

                                                                           
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