Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1561.
Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / edited by José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue. by Series: Lecture Notes in Computer Science ; 8348
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
1562.
Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu. by Series: Lecture Notes in Computer Science ; 7273
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
1563.
Engineering Multi-Agent Systems [electronic resource] : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk. by Series: Lecture Notes in Computer Science ; 8758
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
1564.
Schaum's outline of theory and problems of programming with Java/ John R. Hubbard by Series: Schaum's outline series
Edition: 2nd ed.
Material type: Text Text; Format: print
Publication details: New Delhi : Tata McGraw-Hill Education, 2004
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.262 H.

Place hold Request article Save to lists
1565.
No cover image available
Object- oriented programming with c ++; MCA 1st year, IInd semester/ Anindya Jyoti Pal by Series: Martix reference series
Edition: 4th rev. ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Kolkata : Martix Educare, 2009
Availability: Items available for loan: National Library of India (1)Call number: E 005.117 P 17.

Place hold Request article Save to lists
1566.
No cover image available
A text book of P C software and 'C' programming : B. Sc. Computer science, first year / J. V. N. Ramesh, Syed Khasim, Y. Vijay Sekhar Babu by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Vijayawada : Victory Pub., 2009
Availability: Items available for loan: National Library of India (1)Call number: E 005.3 R 145.

Place hold Request article Save to lists
1567.
Reliable Software Technologies - Ada-Europe 2012 [electronic resource] : 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings / edited by Mats Brorsson, Luís Miguel Pinho. by Series: Lecture Notes in Computer Science ; 7308
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
1568.
Software Composition [electronic resource] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio De Paoli, Volker Gruhn, Matthias Book. by Series: Lecture Notes in Computer Science ; 7306
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
1569.
Objects, Models, Components, Patterns [electronic resource] : 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings / edited by Carlo A. Furia, Sebastian Nanz. by Series: Lecture Notes in Computer Science ; 7304
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
1570.
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by Series: Lecture Notes in Computer Science ; 8137
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
1571.
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Series: Lecture Notes in Computer Science ; 8987
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
1572.
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
1573.
MCTS self-paced training kit (exam 70-561) : Microsoft .net framework 3.5--ado.net application development / Shawn Wildermuth, Mark Blomsma, Jim Wightman by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : PHI Learning, 2009
Availability: Items available for loan: National Library of India (1)Call number: E 005.4476076 W 645.

Place hold Request article Save to lists
1574.
1575.
1576.
No cover image available
Teach yourself object-oriented programming with turbo in 21 days / Greg Perry by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Indianapolis, Ind. : Sams Pub., c1993
Availability: Items available for loan: National Library of India (1)Call number: E 005.262 P 429.

Place hold Request article Save to lists
1577.
Assembly language programming and the IBM 360 and 370 computers / Walter G. Rudd by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1976
Availability: Items available for loan: National Library of India (1)Call number: E 001.642 R 831.

Place hold Request article Save to lists
1578.
Formal Aspects of Component Software [electronic resource] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / edited by Luís Soares Barbosa, Markus Lumpe. by Series: Lecture Notes in Computer Science ; 6921
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
1579.
Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Series: Lecture Notes in Computer Science ; 7007
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
1580.
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. by Series: Lecture Notes in Computer Science ; 7787
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