Refine your search

Your search returned 499 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
61.
No cover image available
Test problems and results for omnitab 80 / Sally T. Peavy and Shirley G. Bremer by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Washington, D.C. : U.S. Government Printing Office, 1981
Availability: Items available for loan: National Library of India (1)Call number: U.S 001.6424 P 329.

Place hold Save to lists
62.
Action semantics / Peter D. Mosses by Series: Cambridge tracts in theoretical computer science ; 26
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge : Cambridge University Press, 1992
Availability: Items available for loan: National Library of India (1)Call number: E/O 005.131 M 255.

Place hold Request article Save to lists
63.
The domain theory in computer science / edited by Jovan Pehcevski by
Publication details: Canada : Arcler Press, 2023
Availability: Items available for loan: National Library of India (1)Call number: E 005.13 D 71 jo.

Place hold Request article Save to lists
64.
No cover image available
Fachtagung über Programmiersprachen, München, 9-11 März 1971 / Hrsg. im Auftrag der Gesellschaft für Informatik von Hans Langmaack und Manfred Paul by Series: Lecture notes in economics and mathematical systems ; 75 | Gesellschaft für Informatik. Bericht ; ; Nr. 3
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: engger Original language: German
Publication details: Berlin : Springer-Verlag, 1972
Availability: Items available for loan: National Library of India (1)Call number: E/O 510.78082 L 497 no.75.

Place hold Request article Save to lists
65.
Denotational semantics : the Scott-Strachey approach to programming language theory / by Joseph E. Stoy by Series: The MIT Press series in computer science
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Cambridge, Mass. : MIT Press, 1979
Availability: Items available for loan: National Library of India (1)Call number: E 001.6424 St 79.

Place hold Request article Save to lists
66.
Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine oriented higher level languages edited by W. L. Vander Poel and L. A Maarssen by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub., 1974
Availability: Items available for loan: National Library of India (1)Call number: E 001.6424 If 5.

Place hold Request article Save to lists
67.
Lecture notes in computer science/ edited by John H. Williams and David A. Fisher by Series: Lecture notes in computer science ; 54
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin Springer Verlag 1977
Availability: Items available for loan: National Library of India (1)Call number: E/O 001.6 L 497.

Place hold Request article Save to lists
68.
High-level language computer architecture / edited by Yaohan Chu by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York : Academic Press, 1975
Availability: Items available for loan: National Library of India (1)Call number: E 001.642 C 47.

Place hold Request article Save to lists
69.
No cover image available
Compater Vij¬nāna / कम्प्यूटर विज्ञान / लव गुप्ता Guptā, Lava by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: Hindi
Publication details: गाजियाबाद : भागीरथ सेव संस्थान, 1989
Availability: Items available for loan: National Library of India (1)Call number: NRH 001.642 Gu 8463.

Place hold Save to lists
70.
Euro-Par 2013 Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings / edited by Felix Wolf, Bernd Mohr, Dieter an Mey. by Series: Lecture Notes in Computer Science ; 8097
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
71.
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi. by Series: Lecture Notes in Computer Science ; 7681
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
72.
Programming Languages and Systems [electronic resource] : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Zhong Shao. by Series: Lecture Notes in Computer Science ; 8410
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
73.
Euro-Par 2012 Parallel Processing [electronic resource] : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / edited by Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis. by Series: Lecture Notes in Computer Science ; 7484
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
74.
75.
From Programs to Systems. The Systems perspective in Computing [electronic resource] : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings / edited by Saddek Bensalem, Yassine Lakhneck, Axel Legay. by Series: Lecture Notes in Computer Science ; 8415
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
Online resources:
Availability: Items available for loan: National Library of India (1).

Place hold Request article Save to lists
76.
Unifying Theories of Programming [electronic resource] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / edited by David Naumann. by Series: Lecture Notes in Computer Science ; 8963
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
77.
78.
Computer and tele communications acronyms / edited by Julie E. Towell and Helen E. Sheppard by Series: Acronyms, initialisms and abbreviations dictionary subject guide series ; v. 1
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Detroit, Mich. : Gale Research, 1986-
Other title:
  • Computer and telecommunications acronyms
Availability: Items available for loan: National Library of India (1)Call number: S.T 004.0148 C 739.

Place hold Request article Save to lists
79.
Translation of computer languages / [by] Frederick W. Weingarten by Series: Holden-Day computer and information sciences series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: San Francisco : Holden-Day, [1973]
Availability: Items available for loan: National Library of India (1)Call number: E510.7834 W431.

Place hold Request article Save to lists
80.
Foundations of Software Science and Computation Structures [electronic resource] : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl. by Series: Lecture Notes in Computer Science ; 8412
Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction
Language: English
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
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