Refine your search

Your search returned 499 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
121.
Software engineering and programming languages/ S. Prabha by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Thiruchirappalli : TiSSL Pub., 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 P 88.

Place hold Request article Save to lists
122.
No cover image available
A new look at a greedy algorithm for soloving a fclass of convex programming problems / by Nilotpal Chakravarti by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Calcutta : Indian Institute of Management, 1991
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.13 C 349.

Place hold Request article Save to lists
123.
No cover image available
A view of programming languages / Bernard A. Galler [and] Alan J. Perlis by Series: Addison-Wesley series in computer science and information processing
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Reading, Mass. : Addison-Wesley Pub., 1970
Availability: Items available for loan: National Library of India (1)Call number: E519.92 G136.

Place hold Request article Save to lists
124.
Fundamental concepts of programming systems / Jeffrey D. Ullman by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: California : Addison-Wesley Pub., c1976
Availability: Items available for loan: National Library of India (1)Call number: E 001.642 Ul 4.

Place hold Request article Save to lists
125.
Fundamental concepts of programming systems / Jeffrey D. Ullman by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: California : Addison-Wesley Pub., c1976
Availability: Items available for loan: National Library of India (1)Call number: E 001.642 Ul 4.

Place hold Request article Save to lists
126.
Reachability Problems [electronic resource] : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings / edited by Parosh Aziz Abdulla, Igor Potapov. by Series: Lecture Notes in Computer Science ; 8169
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
127.
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by Series: Lecture Notes in Computer Science ; 7860
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
128.
129.
Search-Based Software Engineering [electronic resource] : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014. Proceedings / edited by Claire Le Goues, Shin Yoo. by Series: Lecture Notes in Computer Science ; 8636
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
130.
131.
NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / edited by Alwyn E. Goodloe, Suzette Person. by Series: Lecture Notes in Computer Science ; 7226
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
132.
Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Franciso Durán. by Series: Lecture Notes in Computer Science ; 7571
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
133.
134.
Conceptual Modelling and Its Theoretical Foundations [electronic resource] : Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday / edited by Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe. by Series: Lecture Notes in Computer Science ; 7260
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
135.
Formal Methods for Industrial Critical Systems [electronic resource] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann. by Series: Lecture Notes in Computer Science ; 9128
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
136.
No cover image available
Shieldose : a computer code for space-sheilding radiation dose calculations / Stephen Seltzer by Series: National Bureau of Standars, technical no ; 1116
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : U.S. Government Printing Office, 1980
Availability: Items available for loan: National Library of India (1)Call number: U.S 658.18018 Se 49.

Place hold Request article Save to lists
137.
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
138.
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
139.
Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / edited by Joël Ouaknine, Igor Potapov, James Worrell. by Series: Lecture Notes in Computer Science ; 8762
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
140.
Reliable Software Technologies - Ada-Europe 2015 [electronic resource] : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / edited by Juan Antonio de la Puente, Tullio Vardanega. by Series: Lecture Notes in Computer Science ; 9111
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
                                                                           
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