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 21 results. Subscribe to this search

|
1. Algebraic specification techniques in object oriented programming environments

by Breu Ruth.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1991Availability: Items available for loan: [Call number: 005.117 B846] (1).
2. Universal algebra for computer scientists

by Wechler Wolfgang.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1992Availability: Items available for loan: [Call number: 004.0151 W386] (1).
3. Algorithmic information theory mathematics of a digital information processing

by Seibt Peter.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 2006Availability: Items available for loan: [Call number: 005.746 Se457] (1).
4. Computer algebra : proceedings EUROCAL'83

by Hulzen J A van | European Computer Algebra Conference( 1983 : London ) | European Computer Algebra Conference London, 1983.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1983Availability: Items available for loan: [Call number: 4.0151 Eu89] (1).
5. Computer algebra : proceedings EUROCAL'85

by Buchberger Bruno | European Computer Algebra Conference( 1985 : Linz,Austria ) | European Computer Algebra Conference Linz, Austria 1985.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1985Availability: Items available for loan: [Call number: 4.0151 Eu89] (1).
6. Applied algebra, algorithmics and error correcting codes proceedings

by Poli Alain ed | International Conference on AAECC (2nd : 1984 : Toulouse) | International Conference on AAECC Toulouse, 1984.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1986Availability: Items available for loan: [Call number: 5.72 In61] (1).
7. Algebra aic algorithmic and error-correcting codes proceedings

by Calmet Jacques ed | International Conference on AAECC (3rd : 1985 : Grenoble) | International Conference on AAECC Grenoble, 1985.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1986Availability: Items available for loan: [Call number: 5.72 In61] (1).
8. Trends in computer algebra : proceedings

by JanBen R | International Symposium on Trend in Computer Algebra( 1987 : Bad Neuenahr ) | International Symposium on Trend in Computer Algebra Bad Neuenahr, 1987.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1988Availability: Items available for loan: [Call number: 4.0151 In61] (1).
9. Applicable algebra, error correcting codes, combinatories and computer algebra

by Thomas Beth ed | International Conference on AAECC (4th : 1986 : Karlsruhe) | International Conference on AAECC Karlsruhe, 1986.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1988Availability: Items available for loan: [Call number: 5.72 In61] (1).
10. Applied algebra, algebric algorithms and error-correcting codes proceedings

by Mora T ed | International Conference on AAECC (6th : Rome : 1988) | International Conference on AAECC Rome, 1988.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1989Availability: Items available for loan: [Call number: 5.72 In61] (1).
11. Algebraic and logic programming : proceedings

by Grabowski Jan | International Workshop on Algebraic and Logic Programming( 1988 : Gaussig ) | International Workshop on Algebraic and Logic Programming Gaussig, 1988.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1988Availability: Items available for loan: [Call number: 5.115 In61] (1).
12. Applied algebra, algebric algorithms and error-corresponding codes proceedings

by Huguet L ed | International Conference on AAECC (5th : Menorca : 1987) | International Conference on AAECC Menorca, 1987.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1989Availability: Items available for loan: [Call number: 5.72 In61] (1).
13. Applied algebra,algebraic algorithms and error correcting codes : proceedings

by Sakata S | International Conference on Applied Algebra,Algebraic Algorithms and Error Correcting Codes( 8th : 1990 : Tokyo ) | International Conference on Applied Algebra,Algebraic Algorithms and Error Correcting Codes 8th Tokyo, 1990.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1991Availability: Items available for loan: [Call number: 5.72 In61(8)] (1).
14. Applied algebra,algebraic algorithms and error correcting codes : proceedings

by Mattson H F | International Conference on Applied Algebra,Algebraic Algorithms and Error Correcting Codes( 9th : 1991 : New Orleans ) | International Conference on Applied Algebra,Algebraic Algorithms and Error Correcting Codes 9th New Orleans, 1991.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1991Availability: Items available for loan: [Call number: 5.72 In61(9)] (1).
15. Computer algebra and paralllelism : proceedings

by Zippel R E | International Workshop on Computer Algebra and Paralllelism( 2nd : 1990 : Ithaca ) | International Workshop on Computer Algebra and Paralllelism 2nd Ithaca, 1990.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1992Availability: Items available for loan: [Call number: 4.0151 In61(2)] (1).
16. Algebraic and logic programming : proceedings

by Kirchner H | International Conference on Algebraic and Logic Programming( 3rd : 1992 : Volterra ) | International Conference on Algebraic and Logic Programming 3rd Volterra, 1992.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1992Availability: Items available for loan: [Call number: 5.115 In61(92)] (1).
17. Applied algebra,algebraic algorithms and error correcting codes : proceedings

by Cohen Gerard | International Conference on Applied Algebra,Algebraic Algorithms and Error Correcting Codes( 10th : 1993 : San Juan de Puerto Rico ) | International Conference on Applied Algebra,Algebraic Algorithms and Error Correcting Codes 10th San Juan de Puerto Rico , 1993.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1993Availability: Items available for loan: [Call number: 5.72 In61(10)] (1).
18. Higher order algebra logic, adn term rewriting : proceedings

by Heering Jan | International Workshop on Higher Order Algebra Logic, adn Term Rewriting( 1st : 1993 : Amsterdam ) | International Workshop on Higher Order Algebra Logic, adn Term Rewriting 1st Amsterdam, 1993.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1994Availability: Items available for loan: [Call number: 5.115 In61(1)] (1).
19. Algebraic and logic programming : proceedings

by Levi Giorgio | International Conference on Algebraic and Logic Programming( 4th : 1994 : Madrid ) | International Conference on Algebraic and Logic Programming 4th Madrid, 1994.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1994Availability: Items available for loan: [Call number: 5.115 In61(4)] (1).
20. Logic and algebra of specification : proceedings

by Bauer F L | NATO Advanced Study Institute on Logic and Algebra of Specification( 11th : 1991 : Germany ) | NATO Advanced Study Institute on Logic and Algebra of Specification 11th , Germany 1991.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer Verlag 1993Availability: Items available for loan: [Call number: 5.115 B344] (1).
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


Visitor Counter