Refine your search

Your search returned 2465 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1521.
No cover image available
Computer science and technology : findings of the standard benchmark library study group / Dennis M. Conti by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : U.S. Government Printing Office, 1979
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 C 767.

Place hold Request article Save to lists
1522.
No cover image available
Computer science and technology : fortran IV enhanced character graphics / by Norman M. Wolcott by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D. C. : National Bureau of Standards, 1978
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 W 83.

Place hold Request article Save to lists
1523.
No cover image available
Computer science and technology : technical profile of seven data element dictionary/directory systems / by Belkis Leong Hong and Beatrice Marron by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : United States Government Printing Office, 1977
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 H 757.

Place hold Request article Save to lists
1524.
No cover image available
Computer in government : we couldn't do without them / United States, General Accounting Office by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : The Office, 1980
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 Un 3.

Place hold Request article Save to lists
1525.
No cover image available
Computer science & technology : computer peripheral memory system forecast / Robert B. J. Warner, Peter J. Calomeris and Steve A. Recicar by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D. C. : United States Government Printing Office, 1979
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 W 247.

Place hold Request article Save to lists
1526.
MCTS self-paced training kit (Exam 70-511) : windows applications development with microsoft . net framework 4 Mathew A. Stoecker 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.2768 St 65.

Place hold Request article Save to lists
1527.
No cover image available
Computer program for incentives / prepade by DOD Poesmic
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D. C. : U.S. Government Printing Office, 1970
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 C 739.

Place hold Request article Save to lists
1528.
No cover image available
Computer science and technology : maintence testing for the data encryption standard / Jason Gait by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : United States Government Printing Office, 1980
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.64 G 129.

Place hold Request article Save to lists
1529.
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
1530.
Software, Services, and Systems [electronic resource] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / edited by Rocco De Nicola, Rolf Hennicker. by Series: Lecture Notes in Computer Science ; 8950
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
1531.
Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / edited by Martina Seidl, Nikolai Tillmann. by Series: Lecture Notes in Computer Science ; 8570
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
1532.
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [electronic resource] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings / edited by Stephen Poole, Oscar Hernandez, Pavel Shamis. by Series: Lecture Notes in Computer Science ; 8356
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
1533.
1534.
Tests and Proofs [electronic resource] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Series: Lecture Notes in Computer Science ; 7305
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
1535.
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by Series: Lecture Notes in Computer Science ; 8144
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
1536.
Compiler Construction [electronic resource] : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Michael O'Boyle. by Series: Lecture Notes in Computer Science ; 7210
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
1537.
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò. by Series: Lecture Notes in Computer Science ; 7942
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
1538.
Verified Software: Theories, Tools and Experiments [electronic resource] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / edited by Dimitra Giannakopoulou, Daniel Kroening. by Series: Lecture Notes in Computer Science ; 8471
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
1539.
Reuse and Software Quality [electronic resource] : 20th International Conference on Software and Systems Reuse, ICSR 2022, Montpellier, France, June 15-17, 2022, Proceedings / edited by Gilles Perrouin, Naouel Moha, Abdelhak-Djamel Seriai. by Series: Lecture Notes in Computer Science ; 13297
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.11.

Place hold Save to lists
1540.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 20th International Conference, CPAIOR 2023, Nice, France, May 29 -June 1, 2023, Proceedings / edited by Andre A. Cire. 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: 004.0151.

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