Refine your search

Your search returned 363 results.

Sort
Results
161.
Elements of software project management/ G. P. Sudhakar by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : PHI Learning, 2010
Availability: Items available for loan: National Library of India (1)Call number: E 005.3068 Su 22.

162.
Object-Oriented technology : from diagram to code with visual paradigm for UMI/ Curtis HK Tsang, Clarence SW Law, Ying K. Leung by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, 2005
Availability: Items available for loan: National Library of India (1)Call number: E 005.117 T 782.

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

164.
165.
166.
Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers / edited by Rex Page, Zoltán Horváth, Viktória Zsók. by Series: Lecture Notes in Computer Science ; 6546
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).

167.
Tests and Proofs [electronic resource] : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / edited by Martin Gogolla, Burkhart Wolff. by Series: Lecture Notes in Computer Science ; 6706
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).

168.
169.
Applications and Theory of Petri Nets [electronic resource] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings / edited by Lars M. Kristensen, Laure Petrucci. by Series: Lecture Notes in Computer Science ; 6709
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).

170.
Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. by Series: Lecture Notes in Computer Science ; 7019
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).

171.
Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner...[et.al] by Series: Lecture Notes in Computer Science ; 6504
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).

172.
Software agents/ edited by Jeffrey M. Bradshaw by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : PHI Learning, c1997
Availability: Items available for loan: National Library of India (1)Call number: E 006.3 So 23 b.

173.
174.
Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi. by Series: Lecture Notes in Computer Science ; 6823
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).

175.
176.
Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz. by Series: Lecture Notes in Computer Science ; 6959
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:
  • FMICS 2011
Online resources:
Availability: Items available for loan: National Library of India (1).

177.
Facing the Multicore-Challenge [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. by Series: Lecture Notes in Computer Science ; 6310
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).

178.
Software reliability assessment with OR applications / P. K. Kapur ... [et al.] by Series: Springer series in reliability engineering
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: London : Springer, c2011
Availability: Items available for loan: National Library of India (1)Call number: E 005.30287 So 23.

179.
A computer system for scheduling five use / Larry S. Bradshow and Killiam C. Fischer by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D. C. : United States Government Printing Office, 1981-
Availability: Items available for loan: National Library of India (1)Call number: U.S 004.21 B 729.

180.
Software project measurement : tools and techniques / Monica Mehrotra, Mukta Narang by
Material type: Text Text; Format: print
Language: English
Publication details: New Delhi : Narosa Publishing House, c 2014
Availability: Items available for loan: National Library of India (1)Call number: E 005.14 M 474.

                                                                           
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