Refine your search

Your search returned 237 results.

Sort
Results
181.
Introduction to computers and data processing / Daniel D. Benice by Series: Prentice-Hall series in applied mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Englewood Cliffs, N.J. : Prentice-Hall, 1970
Availability: Items available for loan: National Library of India (1)Call number: E/O 510.7834 B 437.

182.
An introduction to computer programming / Henry Mullish by Series: Notes on mathematics and its applications
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Gordon and Breach, 1966
Availability: Items available for loan: National Library of India (1)Call number: E519.92 M917.

183.
Computer science / edited by Alfonso F. Cardenas, Leon Presser and Miguel A. Marin by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Wiley-InterScience, 1972
Availability: Items available for loan: National Library of India (1)Call number: E510.7834 C178.

184.
Building web applications with Vue.js [electronic resource] : MVVM patterns for conventional and single-page websites / by Ralph Steyer. by
Edition: 1st ed. 2022.
Material type: Text Text; Format: electronic ; Literary form: Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer, 2022
Online resources:
Availability: Items available for loan: National Library of India (1)Call number: 006.76.

185.
Logic and Its Applications [electronic resource] : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings / edited by Mohua Banerjee, A. V. Sreejith. 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.131.

186.
Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings / edited by Benedek Nagy. 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.

187.
Linear and nonlinear optimization / Igor Griva, Stephen G. Nash, Ariela Sofer by Series: SIAM Society for Industrial and Applied Mathematics
Edition: 2nd ed.
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: General;
Language: English
Publication details: Hyderabad : The University Press, 2018
Availability: Items available for loan: National Library of India (1)Call number: E 519.72 G 889 (2nd ed.).

188.
Polyhedral combinatorics : dedicated to the memory of D. R. Fulkerson / edited by M. L. Balinski and A. J. Hoffman by Series: Mathematical programming study ; 8
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : North Holland Pub., 1978
Availability: Items available for loan: National Library of India (1)Call number: E512.5082 B198.

189.
190.
191.
Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers / edited by Kyungmin Bae. by Series: Lecture Notes in Computer Science ; 13252
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: 004.0151.

192.
Planning for the petroleum and fertilizer industries : a programming model for India / Ramesh Bhatia by Series: Studies in economic development and planning ; no. 31
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Delhi : Oxford University Press, 1983
Availability: Items available for loan: National Library of India (1)Call number: E 338.476655 B 469.

193.
Graph Transformation [electronic resource] : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings / edited by Maribel Fernández, Christopher M. Poskitt. 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.

194.
Graph Transformation [electronic resource] : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings / edited by Nicolas Behr, Daniel Strüber. by Series: Lecture Notes in Computer Science ; 13349
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: 004.0151.

195.
Algorithms and complexity : New directions and recent results / edited by J. F. Traub by Series: Academic press rapid manuscript reproduction
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Academic Press, Inc, 1976
Availability: Items available for loan: National Library of India (1)Call number: E519.082 Sy68.

196.
Automata Theory and Formal Languages [electronic resource] : Fundamental Notions, Theorems, and Techniques / by Alberto Pettorossi. by Series: Undergraduate Topics in Computer Science
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.131.

197.
Handbook of logic in computer science/ edited by S.Abramsky,Dov M.Gabbay and T.S.E.Maibaum by
Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Adult;
Language: English
Publication details: Oxford : The University Press, 1992
Availability: Items available for loan: National Library of India (2)Call number: E 511.3 H 191, ...

198.
OCaml Scientific Computing [electronic resource] : Functional Programming in Data Science and Artificial Intelligence / by Liang Wang, Jianxin Zhao, Richard Mortier. by Series: Undergraduate Topics in Computer Science
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.13.

199.
Theoretical Aspects of Computing - ICTAC 2014 [electronic resource] : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings / edited by Gabriel Ciobanu, Dominique Méry. by Series: Lecture Notes in Computer Science ; 8687
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).

200.
Computer programming and formal systems / edited by P. Braffort and D. Hirschberg by Series: Studies in logic and the foundations of mathematics
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1963
Availability: Items available for loan: National Library of India (1)Call number: E164 B73.

                                                                           
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