Refine your search

Your search returned 1885 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
361.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 13703
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.

Place hold Save to lists
362.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. by Series: Lecture Notes in Computer Science ; 13701
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.

Place hold Save to lists
363.
Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi. by Series: Lecture Notes in Computer Science ; 9409
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
364.
365.
Successful evolution of software systems/ Hongji Yang, Martin Ward. by Series: Artech House computing library
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Publication details: Boston : Artech house, 2003
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 Y 15.

Place hold Request article Save to lists
366.
Software testing : effective methods, tools and techniques/ Renu Rajani, Pradeep Oak. by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Delhi : Tata McGraw-Hill Education, 2004
Availability: Items available for loan: National Library of India (1)Call number: E 005.3 R 137.

Place hold Request article Save to lists
367.
Sand to silicon : the amazing story of digital technology/ Shivanand Kanavi by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, c2004
Availability: Items available for loan: National Library of India (1)Call number: E 004 K 131.

Place hold Request article Save to lists
368.
Pharṭrāne Computer programming / ফরট্রানে কমপিউটার প্রোগ্রামিং / বিষ্ণুচরণ সরকার Sarkār, Biṣṇucaraṇ by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Bengali
Publication details: কলিকাতা : পশ্চিমবঙ্গ রাজ্যপুস্তক পর্ষদ, 1996
Availability: Items available for loan: National Library of India (1)Call number: B 005.1 S 817 fcp.

Place hold Request article Save to lists
369.
Lean and Agile Software Development [electronic resource] : 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedings / edited by Adam Przybyłek, Aleksander Jarzębowicz, Ivan Luković, Yen Ying Ng. by Series: Lecture Notes in Business Information Processing ; 438
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.

Place hold Save to lists
370.
Software engineering & project management ; B.Tech 3rd year 2nd semester : in accordance with WBUT syllabus / Bidyur Biman Sarkar by Series: Matrix reference series
Edition: 5th rev. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Kolkata : Matrix Educare, 2010
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 Sa 73 B.Tech. 3/2 (1).

Place hold Request article Save to lists
371.
Software process automation : the technology and its adoption / Alan M. Christie by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer, c1995
Availability: Items available for loan: National Library of India (1)Call number: E 005.42 C 463.

Place hold Request article Save to lists
372.
Research Challenges in Information Science [electronic resource] : 16th International Conference, RCIS 2022, Barcelona, Spain, May 17-20, 2022, Proceedings / edited by Renata Guizzardi, Jolita Ralyté, Xavier Franch. by Series: Lecture Notes in Business Information Processing ; 446
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.3.

Place hold Save to lists
373.
No cover image available
Guidelies for Documentation of Computer Programs and Automated Data Systems :/ Dept. of Commerce by Series: Federal information processing standards publication ; 38
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : United States Government Printing Office, 1976
Availability: Items available for loan: National Library of India (1)Call number: U.S 005.10973 Un 3 g.

Place hold Request article Save to lists
374.
Simulation Tools and Techniques [electronic resource] : 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings / edited by Dingde Jiang, Houbing Song. by Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 424
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.

Place hold Save to lists
375.
376.
Agile Methods [electronic resource] : 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers / edited by Carla Rocha, Celio Santana Júnior, Fernando De Sá, Tiago Silva da Silva. 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: 005.1.

Place hold Save to lists
377.
Artificial General Intelligence [electronic resource] : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings / edited by Ben Goertzel, Matt Iklé, Alexey Potapov, Denis Ponomaryov. 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: 006.3.

Place hold Save to lists
378.
Software Architecture [electronic resource] : 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers / edited by Patrizia Scandurra, Matthias Galster, Raffaela Mirandola, Danny Weyns. by Series: Lecture Notes in Computer Science ; 13365
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.

Place hold Save to lists
379.
380.
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by Series: Lecture Notes in Computer Science ; 7475
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
                                                                           
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