Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1301.
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang. by Series: Lecture Notes in Computer Science ; 9364
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
1302.
Search-Based Software Engineering [electronic resource] : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / edited by Márcio Barros, Yvan Labiche. by Series: Lecture Notes in Computer Science ; 9275
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
1303.
Software engineering: Contemporary approach/ edited by Jeff Smith by
Language: English
Publication details: NewYork: States Academic Press, 2023
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.1 So 23 j.

Place hold Request article Save to lists
1304.
Sequence Analysis and Modern C++ [electronic resource] : The Creation of the SeqAn3 Bioinformatics Library / by Hannes Hauswedell. by Series: Computational Biology ; 33
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: (1)Call number: 005.13.

Place hold Save to lists
1305.
Microsoft ADO.NET 4: step by step Tim Patrick by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi: PHI Learning, 2011
Availability: Items available for loan: National Library of India (1)Call number: E 005.75 P 448.

Place hold Request article Save to lists
1306.
Programming Microsoft Windows with Microsoft Visual Basic .NET / Charles Petzold by Series: Eastern economy edition serise
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : Tata McGraw-Hill Education, c2003
Other title:
  • Windows with Microsoft Visual Basic .NET
Availability: Items available for loan: National Library of India (1)Call number: E 005.262 P 459.

Place hold Request article Save to lists
1307.
High Performance Computing [electronic resource] : 38th International Conference, ISC High Performance 2023, Hamburg, Germany, May 21-25, 2023, Proceedings / edited by Abhinav Bhatele, Jeff Hammond, Marc Baboulin, Carola Kruse. 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: 621.39 | 004.6.

Place hold Save to lists
1308.
Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. by Series: Lecture Notes in Computer Science ; 7321
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
1309.
Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers / edited by Hironori Kasahara, Keiji Kimura. by Series: Lecture Notes in Computer Science ; 7760
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
1310.
Logic and Program Semantics [electronic resource] : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday / edited by Robert L. Constable, Alexandra Silva. by Series: Lecture Notes in Computer Science ; 7230
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
1311.
Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund. by Series: Lecture Notes in Computer Science ; 7561
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
1312.
Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / edited by Santiago Escobar. by Series: Lecture Notes in Computer Science ; 8663
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
1313.
NASA Formal Methods [electronic resource] : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier. by Series: Lecture Notes in Computer Science ; 8430
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
1314.
Model-Driven Engineering and Software Development [electronic resource] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers / edited by Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz. 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: 005.1.

Place hold Save to lists
1315.
Schaum's outline of theory and problems of programming with Visual Basic / Byron S. Gottfried by Series: Schaum's outline series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : McGraw-Hill, c2001
Other title:
  • Theory and problems of programming with Visual Basic
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.118 G 713.

Place hold Request article Save to lists
1316.
1317.
An introduction to programming using Visual Basic .NET David I. Schneider by
Edition: 5th ed.
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Delhi Prentice-Hall c2003
Other title:
  • Visual Basic .NET
Availability: Items available for loan: National Library of India (1)Call number: E/O 004.678 Sch 57.

Place hold Request article Save to lists
1318.
Data structures made simple/ by Satish Jain, Shashi Singh by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: New Delhi : BPB Pub., c 2006
Availability: Items available for loan: National Library of India (1)Call number: E 005.73 J 199.

Place hold Request article Save to lists
1319.
1320.
8086/8088, 80286, 80386 and 80486 assembly language programming / Barry B. Brey by Series: Merrill's international series in engineering technology
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Macmillan Pub., c1994
Availability: Items available for loan: National Library of India (1)Call number: E 005.265 B 759.

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