Refine your search

Your search returned 3489 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
141.
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by Series: Lecture Notes in Computer Science ; 7976
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
142.
Fast Software Encryption [electronic resource] : 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers / edited by Anne Canteaut. by Series: Lecture Notes in Computer Science ; 7549
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
143.
Software Defined Chips [electronic resource] : Volume I / by Shaojun Wei, Leibo Liu, Jianfeng Zhu, Chenchen Deng. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 621.381.

Place hold Save to lists
144.
Model Checking Software [electronic resource] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / edited by Bernd Fischer, Jaco Geldenhuys. by Series: Lecture Notes in Computer Science ; 9232
Edition: 1st ed. 2015.
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
145.
Fast Software Encryption [electronic resource] : 22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised Selected Papers / edited by Gregor Leander. by Series: Lecture Notes in Computer Science ; 9054
Edition: 1st ed. 2015.
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
146.
Software project management / Chandrani Singh by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Excel Books, 2013
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.10684 Si 64.

Place hold Request article Save to lists
147.
Software development teams : performance, productivity and innovation / G.P. Sudhakar by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Delhi: PHI Learning, 2016
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 Su 22 s.

Place hold Request article Save to lists
148.
Software quality assurance/ Milind Limaye by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: New Delhi: Tata McGraw-Hill Education, 2011
Availability: Items available for loan: National Library of India (1)Call number: E 005.10685 L 628.

Place hold Request article Save to lists
149.
Estimating software costs/ T. Capers Jones by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2005
Availability: Items available for loan: National Library of India (1)Call number: E005.30681 J726.

Place hold Request article Save to lists
150.
Software project management/ Bob Hughes and Mike Cotterell. by
Edition: 3rd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2004
Availability: Items available for loan: National Library of India (1)Call number: E 658.404028553 H 874 s (3).

Place hold Request article Save to lists
151.
No cover image available
Software testing concepts / K. Subramanian by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Koradacherry, Thiruvarur : Aruma Pub., 2009
Availability: Items available for loan: National Library of India (1)Call number: E 005.14 Su 16.

Place hold Request article Save to lists
152.
No cover image available
PC Software & DTP / C. Nellaikannan by
Edition: 2nd ed
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Trivandram : Nels Publications, 1999
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.3 N 324.

Place hold Request article Save to lists
153.
Software project management/ Bob Hughes and Mike Cotterell by
Edition: 5th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2010
Availability: Items available for loan: National Library of India (2)Call number: E 658.404028553 H 874 (3), ...

Place hold Request article Save to lists
154.
Software reliability handbook / edited by Paul Rook by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: London : Elsevier Applied Science, c1990
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.1 So 23 r.

Place hold Request article Save to lists
155.
Model Checking Software [electronic resource] : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings / edited by Owolabi Legunsen, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 13255
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
156.
Model Checking Software [electronic resource] : 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings / edited by Georgiana Caltais, Christian Schilling. 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: 629.8.

Place hold Save to lists
157.
Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar...[et al.] by Series: Lecture Notes in Computer Science ; 4980
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
Other title:
  • CEE-SET 2008
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
158.
High performance algorithms and software in nonlinear optimization / edited by Renato De Leone ... [et al.] by Series: Applied optimization ; v. 24
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Dordrecht, The Netherlands : Kluwer Academic, c1998
Availability: Items available for loan: National Library of India (1)Call number: E/O 519.3 H 537.

Place hold Request article Save to lists
159.
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.

Place hold Save to lists
160.
Performance Evaluation and Benchmarking [electronic resource] : 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Series: Programming and Software Engineering ; 13169
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: 004.24.

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