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 919 results.

Results
	141.	Formal foundations for software engineering methods by Hubmann Heinrich Series: Lecture notes in computer science; v 1322 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 H878. Place hold Add to cart (remove)
	142.	No cover image available Structures in logic and computer science a selection of essays in honor of A. Ehrenfeucht by Mycielski Jan [ed.] Rozenberg Grzegorz [ed.] Salomaa Arto [ed.] Series: Lecture notes in computer science; V 1261 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1997 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 M995. Place hold Add to cart (remove)
	143.	Lectures on proof verification and approximation algorithms by Mayr Ernst W [ed.] Promel Hans Jurgen [ed.] Steger Angelika [ed.] Series: Lecture notes in computer science; v 1367 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.8 M474. Place hold Add to cart (remove)
	144.	Temporal databases: research and practice by Etzion Opher [ed.] Jajodia Sushil [ed.] Sripada Suryanarayana [ed.] Series: Lecture Notes in Computer Science; v 1399 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1998 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.74 Et85. Place hold Add to cart (remove)
	145.	Bounded incremental computation by Ramalingam G Series: Lecture notes in computer science; v 1089 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1996 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 R165. Place hold Add to cart (remove)
	146.	Transactions on data hiding and multimedia security IV by Shi Yun Q [ed.] Series: Lecture notes in computer science; 5510 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-verlag 2009 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.8 Sh555. Place hold Add to cart (remove)
	147.	PASCAL : user manual and report by Jensen Kathleen Wirth Niklaus [Auth.] Series: Lecture notes in computer science, v 18 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1974 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 J54p. Place hold Add to cart (remove)
	148.	Matrix eigensystem routines - EISPACK guide by Smith B T Series: Lecture notes in computer science, v 6 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1974 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.432 Sm643Ei. Place hold Add to cart (remove)
	149.	Simple Program scheme and formal languages by Engelfriet Joost Series: Lecture notes in computer science, v 20 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1974 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 005.131 En57, ... Place hold Add to cart (remove)
	150.	Compiler construction : an advanced course by Bauer F L Series: Lecture notes in computer science, v 21 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1974 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.453 B344c. Place hold Add to cart (remove)
	151.	No cover image available L systems by Rozenberg Grzegorz [ed.] Salomaa Arto [ed.] Series: Lecture notes in computer science; 15 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1974 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 570.285424 R893. Place hold Add to cart (remove)
	152.	No cover image available Theory of program structures : schemes,semantics,verification by Greibach S A Series: Lecture notes in computer science, 36 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1975 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 G824. Place hold Add to cart (remove)
	153.	No cover image available Optimized translation process and its application to ALGOL 68 by Branquart P Series: Lecture notes in computer science, v 38 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1976 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.133 B817. Place hold Add to cart (remove)
	154.	Complementary definitions of programming language semantics by Donahue J E Series: Lecture notes in computer science, v 42 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1976 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 D674. Place hold Add to cart (remove)
	155.	No cover image available Language hierarchies and interfaces by Bauer F L Samelson K eds [Auth.] Series: Lecture notes in computer science, v 46 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1976 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 B344. Place hold Add to cart (remove)
	156.	Concurrent Pascal compiler for minicomputers by Hartmann A C Series: Lecture notes in computer science, v 50 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1977 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.453 H333. Place hold Add to cart (remove)
	157.	Methods of algorithmic language implementation by Ershov A Koster C H A eds [Auth.] Series: Lecture notes in computer science, v 47 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1977 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 Er73. Place hold Add to cart (remove)
	158.	Matrix eigensystem routines-EISPACK guide extension by Garbow B S Series: Lecture notes in computer science, v 51 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1977 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.3 G214. Place hold Add to cart (remove)
	159.	No cover image available Analysis of drum and disk storage units by Fuller S H Series: Lecture notes in computer science, v 31 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1975 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.56 F968. Place hold Add to cart (remove)
	160.	Design and implementation of programming languages by williams J H Fisher D A eds [Auth.] Series: Lecture notes in computer science, v 54 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1977 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.13 W724. Place hold Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
9
10
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

Your search returned 919 results.