Refine your search

Your search returned 499 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
161.
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / edited by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen. by Series: Lecture Notes in Computer Science ; 8931
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
162.
Euro-Par 2014 Parallel Processing [electronic resource] : 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings / edited by Fernando Silva, Inês Dutra, Vítor Santos Costa. by Series: Lecture Notes in Computer Science ; 8632
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Cham : Springer International Publishing, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
163.
164.
Lecture notes in computer science/ Symposium held on 1975 at Novosibirsk; edited by A. P. Ershov and C. H. A. Koster by Series: Lecture notes in computer science ; 47
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Original language: Russian
Publication details: Berlin Springer Verlag 1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
165.
166.
Languages and Compilers for Parallel Computing [electronic resource] : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers / edited by Sanjay Rajopadhye, Michelle Mills Strout. by Series: Lecture Notes in Computer Science ; 7146
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
167.
Assurances for Self-Adaptive Systems [electronic resource] : Principles, Models, and Techniques / edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. by Series: Lecture Notes in Computer Science ; 7740
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
168.
169.
Euro-Par 2015: Parallel Processing [electronic resource] : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / edited by Jesper Larsson Träff, Sascha Hunold, Francesco Versaci. by Series: Lecture Notes in Computer Science ; 9233
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
170.
Large-Scale Complex IT Systems. Development, Operation and Management [electronic resource] : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers / edited by Radu Calinescu, David Garlan. by Series: Lecture Notes in Computer Science ; 7539
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
171.
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel. by Series: Lecture Notes in Computer Science ; 7927
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
172.
Requirements Engineering: Foundation for Software Quality [electronic resource] : 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings / edited by Björn Regnell, Daniela Damian. by Series: Lecture Notes in Computer Science ; 7195
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
173.
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Series: Lecture Notes in Computer Science ; 9058
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
174.
An introduction to JavaScript/ K. Shanmugam by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Vellore : Anbu Nilayam, 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.262 Sh 18.

Place hold Request article Save to lists
175.
Programming and problem solving through 'C' language/ ITLESL research and development wing by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Delhi : Macmillan, 2003
Availability: Items available for loan: National Library of India (1)Call number: E 005.13076 P 943.

Place hold Request article Save to lists
176.
My SQL : the complete reference/ Vikram Vaswan by
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 005.7585 V 449.

Place hold Request article Save to lists
177.
No cover image available
Computer applications / J. V. N. Ramesh by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Vijayawada : Kumar Books, 2007
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.1 R 145 j.

Place hold Request article Save to lists
178.
Basic concept in software engineering : for under graduate computer science students of Indian universities / K. S. Praba by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Salem : M. S. K. Pub., c2009
Availability: Items available for loan: National Library of India (1)Call number: E 005.13 P 88.

Place hold Request article Save to lists
179.
Programming with JAVA : a primer/ E. Balagurusamy. 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, 2007
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 B 181 pr.

Place hold Request article Save to lists
180.
No cover image available
Microsoft Visual Basic 2008 : step by step/ Michael Halvorson by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : Prentice-Hall, 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.133 H 169 m.

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