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
	241.	No cover image available Computer algebra : proceedings EUROCAL'83 by Hulzen J A van European Computer Algebra Conference( 1983 : London ) European Computer Algebra Conference London, 1983 Series: Lecture notes in computer science, 162 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: 4.0151 Eu89. Place hold Add to cart (remove)
	242.	Logic of programs : proceedings by Clarke Edmund Workshop on Logic Programs( 1983 : Pittsburgh ) Workshop on Logic Programs Pittsburgh, 1983 Series: Lecture notes in computer science, 164 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1981 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.115 W926. Place hold Add to cart (remove)
	243.	No cover image available Stacs : proceedings by Mehlhorn K Symposium on Theoretical Aspects of Computer Science( 1st : 1984 : Paris ) Symposium on Theoretical Aspects of Computer Science 1st Paris, 1984 Series: Lecture notes in computer science, 166 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: 4 Sy989. Place hold Add to cart (remove)
	244.	No cover image available Programming : proceedings by Paul M International Symposium on Programming( 6th : 1984 : Toulouse ) International Symposium on Programming 6th Toulouse, 1984 Series: Lecture notes in computer science, 167 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: 5.1 In61. Place hold Add to cart (remove)
	245.	No cover image available Logic and machines : decision problems and complexity : proceedings by Borger E Symposium on Rekursive Kombinatorik( 1983 : Westfalen ) Symposium on Rekursive Kombinatorik Westfalen, 1983 Series: Lecture notes in computer science, 171 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: 5.131 Sy989. Place hold Add to cart (remove)
	246.	No cover image available Automata,languages and programming : proceedings by Paredaens Jan Colloquium on Automata,Languages and Programming( 11th : 1984 : Belgium ) Colloquium on Automata,Languages and Programming 11th Belgium, 1984 Series: Lecture notes in computer science, v 172 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: 5.131 C714. Place hold Add to cart (remove)
	247.	Semantics of data types : proceedings by MacQueen D B International Symposium on the Semantics of Data Types( 1984 : France ) International Symposium on the Semantics of Data Types , France 1984 Series: Lecture notes in computer science, 173 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: 5.13 In61S. Place hold Add to cart (remove)
	248.	No cover image available EUROSAM : proceedings by International Symposium on Symbolic and Algebraic Computation( 1984 : England ) International Symposium on Symbolic and Algebraic Computation , England 1984 Series: Lecture notes in computer science, 174 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: 4.0151 In61. Place hold Add to cart (remove)
	249.	No cover image available Cognitive Ergonomics-Mind and computers : proceedings by Veer G C van der European Conference on Cognitive Ergonomics-Mind and Computers( 2nd : 1984 : Austria ) European Conference on Cognitive Ergonomics-Mind and Computers 2nd , Austria 1984 Series: Lecture notes in computer science, 178 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: 4.019 Eu89. Place hold Add to cart (remove)
	250.	No cover image available Software technology and theoretical computer science : proceedings by Joseph Mathai Conference on Foundations of Software Technology and Theoretical Computer Science( 4th : 1984 : Bangalore ) Conference on Foundations of Software Technology and Theoretical Computer Science 4th Bangalore, 1984 Series: Lecture notes in computer science, 181 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: 5.3 C748. Place hold Add to cart (remove)
	251.	ADA software tools interfaces : proceedings by Wallis P J L Workshop on ADA Software Tools Interfaces( 1983 : Bath ) Workshop on ADA Software Tools Interfaces Bath, 1983 Series: Lecture notes in computer science, 180 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: 5.14 W926. Place hold Add to cart (remove)
	252.	No cover image available Stacs : proceedings by Mehlhorn K Symposium on Theoretical Aspects of Computer Science( 2nd : 1985 : Saarbrucken ) Symposium on Theoretical Aspects of Computer Science 2nd Saarbrucken, 1985 Series: Lecture notes in computer science, 182 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1985 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4 Sy989. Place hold Add to cart (remove)
	253.	Mathematical foundations of software development : colloquium on trees in algebra and programming : proceedings by Ehrig Hartmut International Joint Conference on Theory and Practice of Software Development(TAPSOFT)( 1985 : Berlin ) International Joint Conference on Theory and Practice of Software Development(TAPSOFT) Berlin, 1985 Series: Lecture notes in computer science, 185 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1985 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.3 In61T. Place hold Add to cart (remove)
	254.	Formal methods and software development : colloquium on software engineering : proceedings by Ehrig Harmut International Joint Conference on Theory and Practice of Software Development(TAPSOFT)( 1985 : Berlin ) International Joint Conference on Theory and Practice of Software Development(TAPSOFT) Berlin, 1985 Series: Lecture notes in computer science, 186 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1985 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.3 In61T. Place hold Add to cart (remove)
	255.	Automata on infinite words : proceedings by Nivat M ed Ecole de Printems d'Informatique Theorique( 1984 : Le Mont Dore ) Ecole de Printems d'Informatique Theorique , 1984 Series: Lecture notes in computer science; 192 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer-Verlag 1985 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Ec19. Place hold Add to cart (remove)
	256.	Logic of programs : proceedings by Parikh Rohit Workshop on Logic Programs( 1985 : Brooklyn ) Workshop on Logic Programs Brooklyn, 1985 Series: Lecture notes in computer science, 193 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1981 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.115 W926. Place hold Add to cart (remove)
	257.	No cover image available Automata,languages and programming : proceedings by Brauer Wilfried Colloquium on Automata,Languages and Programming( 12th : 1985 : Greece ) Colloquium on Automata,Languages and Programming 12th , Greece 1985 Series: Lecture notes in computer science, v 194 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1985 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 C714. Place hold Add to cart (remove)
	258.	No cover image available Advances in cryptology : proceedings by Blakley G R Workshop on the Theory and Application of Cryptographic Techniques( 1984 : California ) Workshop on the Theory and Application of Cryptographic Techniques California, 1984 Series: Lecture notes in Computer science, 196 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: 5.82 W926. Place hold Add to cart (remove)
	259.	No cover image available Semantics of concurrency : proceedings by Brookes S D Seminar on Semantics of Concurrency( 1984 : Pittsburgh ) Seminar on Semantics of Concurrency Pittsburgh, 1984 Series: Lecture notes in computer science, 197 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1985 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 4.36 Se471. Place hold Add to cart (remove)
	260.	Functional programming languages and computer architecture : proceedings by Jouannaud Jean Pierre Conference on Functional Programming Languages and Computer Architecture( 1985 : Nancy ) Conference on Functional Programming Languages and Computer Architecture Nancy, 1985 Series: Lecture notes in computer science, 201 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1985 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.114 C748. Place hold Add to cart (remove)

First
Previous
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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.