Refine your search

Your search returned 499 results.

Sort
Results
81.
Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. by Series: Lecture Notes in Computer Science ; 8338
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).

82.
Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Frédéric Lang, Francesco Flammini. by Series: Lecture Notes in Computer Science ; 8718
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).

83.
Foundations of Software Science and Computation Structures [electronic resource] : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Andrew Pitts. by Series: Lecture Notes in Computer Science ; 9034
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).

84.
85.
Theoretical Aspects of Computing - ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / edited by Abhik Roychoudhury, Meenakshi D'Souza. by Series: Lecture Notes in Computer Science ; 7521
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).

86.
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning. by Series: Lecture Notes in Computer Science ; 7794
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).

87.
Key dynamics in computer programming / edited by Adele Kuzmiakova by
Publication details: Canada : Arcler Press, c 2023
Availability: Items available for loan: National Library of India (1)Call number: E 651.8 K 52 ad.

88.
Programming, the impossible challenge / Bob Walraet by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam, The Netherlands : North-Holland, 1989
Availability: Items available for loan: National Library of India (1)Call number: E 001.642 W 166.

89.
An introduction to formal language theory / Robert N. Moll, Michael A. Arbib [and] A. J. Kfoury by Series: Texts and monographs in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Springer-Verlag, c1988
Availability: Items available for loan: National Library of India (1)Call number: E 005.13 M 735.

90.
Programming systems and languages / edited by Saul Rosen by Series: McGraw-Hill computer science series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : McGraw-Hill, [c1967]
Availability: Items available for loan: National Library of India (1)Call number: E519.92 R722.

91.
Types and programming languages/ Benjamin C. pierce by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Publication details: New Delhi : Prentice-Hall, 2004
Availability: Items available for loan: National Library of India (1)Call number: E 005.13 P 611.

92.
Grammars for programming languages / J. Craig Cleaveland and Robert C. Uzgalis by Series: Programming languages series ; 4
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Elsevier, c1977
Availability: Items available for loan: National Library of India (1)Call number: E 519.92 C 582.

93.
Programming in aspect : practical aspects oriented programming & re-factoring for java developers / by Manoj K. Gupta by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Pub., 2005
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 G 959 p.

94.
OpenMP in a Heterogeneous World [electronic resource] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro. by Series: Lecture Notes in Computer Science ; 7312
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).

95.
Mastering red hat enterprise linux 3 / Michael Jang by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New Delhi : BPB Pub., 2005
Availability: Items available for loan: National Library of India (1)Call number: E 005.432 J 254 m.

96.
Languages and Compilers for Parallel Computing [electronic resource] : 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, Revised Selected Papers / edited by Xiaoming Li, Sunita Chandrasekaran. by Series: Lecture Notes in Computer Science ; 13181
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.

97.
Principles of programming languages/ P. Santosh Kumar Patra, K. Priti, M. Sandya Rani by
Publication details: Hyderabad: SriKrishna Techno Books , 2022
Availability: Items available for loan: National Library of India (1)Call number: E 005.13 P 27 pr.

98.
Languages and Compilers for Parallel Computing [electronic resource] : 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers / edited by Charith Mendis, Lawrence Rauchwerger. 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.13.

99.
Programming linguistics / David Gelernter and Suresh Jagannathan by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge, Mass. : MIT Press, c1990
Availability: Items available for loan: National Library of India (1)Call number: E 005.1 G 281.

100.
A text book on google web toolkit for application programmers / K. Shanmugam by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Vellore : Anbu Nilayam, 2008
Availability: Items available for loan: National Library of India (1)Call number: E 005.13 Sh 18.

                                                                           
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