Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 115 results.

Results
	1.	Analytical description of CHILL,the CCITT high level language by Branquart Paul Louis Georges [Auth.] Wodon Pierre [Auth.] Series: Lecture notes in computer science, v 128 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B821. Place hold Add to cart (remove)
	2.	Axiomatising the logic of computer programming / Goldblatt, Robert. by Goldblatt, Robert Series: Lecture notes in computer science ; v. 130 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer Verlag , 1982 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.13 G618, ... Place hold Add to cart (remove)
	3.	Programming language concepts by Ghezzi Carlo Jazayeri Mehdi [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y John Wiley 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 G421. Place hold Add to cart (remove)
	4.	Anatomy of LISP by Allen John Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y McGraw Hill 1978 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 Al417. Place hold Add to cart (remove)
	5.	No cover image available Algorithmic language and program development by Bauer F L Wossner Hans [Auth.] Series: Texts & Monographs in computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1982 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B344. Place hold Add to cart (remove)
	6.	No cover image available DIANA : an intermediate language for ADA,revised version by Goos G [ed.] Series: Lecture notes in computer science, 161 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1983 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 G659. Place hold Add to cart (remove)
	7.	On conceptual modelling perspectives from artificial intelligence, databases, and programming languages by Brodie M L [ed.] Mylopoulos John [ed.] Schmidt J W [ed.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York Springer-Verlag 1984 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 003.3 B864. Place hold Add to cart (remove)
	8.	Programming languages and their definition : selected papers by Jones C B Bekic H [Auth.] Series: Lecture notes in computer science, 177 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1984 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B424. Place hold Add to cart (remove)
	9.	Micro-PROLOG : programming in logic by Clark K L McCabe F G [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Delhi Prentice Hall International 1984 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 C593. Place hold Add to cart (remove)
	10.	Smalltalk 80 : the language and its implementation by Goldberg Adele Robson David [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Reading Addison Wesley 1983 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 G618. Place hold Add to cart (remove)
	11.	No cover image available Programming expert systems in OPS5 by Brownston Lee Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Reading Addison Wesley 1985 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B885. Place hold Add to cart (remove)
	12.	Recursion via pascal by Rohl J S Series: Cambridge computer science texts, 19 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge C U P 1984 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 R738. Place hold Add to cart (remove)
	13.	No cover image available Computability in analysis and physics by Pour-El M B Richards J I [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 P877. Place hold Add to cart (remove)
	14.	Concepts,design,and performance analysis of a parallel prolog machine by Beer Joachim Series: Lecture notes in computer science, v 404 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B415. Place hold Add to cart (remove)
	15.	Programming languages : structures and models by Dershem H L Jipping M J [Auth.] Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Belmont Wadsworth Pub 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 D438. Place hold Add to cart (remove)
	16.	Logic and computer science by Odifreddi Piergiorgio [ed.] Series: APIC studies in data processing, 31 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London Academic Press 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 Od24. Place hold Add to cart (remove)
	17.	No cover image available An extended entity-relationship model : fundamentals and pragmatics by Gogolla Martin Series: Lecture notes in computer science, 767 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 G613. Place hold Add to cart (remove)
	18.	No cover image available Semantics of programming languages and model theory by Droste Manfred Gurevich Yuri [ed.] Series: Algebra,logic and applications, 5 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: India Gordon and Breach Science Pub 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 D787. Place hold Add to cart (remove)
	19.	No cover image available Isabelle : a generic theorem prover by Paulson L C Series: Lecture notes in computer science, 828 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 P322. Place hold Add to cart (remove)
	20.	Optimization and computational logic by McAloon Ken Tretkoff Carol [Auth.] Series: Wiley interscience series in discrete mathematics & optimization Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York John Wiley 1996 Availability: Items available for loan: ISI Library, Kolkata (4)Call number: 519.3 M113, ... Place hold Add to cart (remove)

1
2
3
4
5
6
Next
Last

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Titles

Your search returned 115 results.