Your search returned 3 results.

Not what you expected? Check for suggestions
BOOKS
No cover image available
Mathematical foundations of computer science, 1991

by Tarlecki, A.

Series: Lecture notes in computer science ; 00520Material type: Text Text;Language: ; Format: print Publication details: Berlin ; Springer-Verlag Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS.

Place hold Log in to add tags
BOOKS
Recent Trends in Data Type Specification 5th Workshop, Gullane, Scotland, 1987

by Sannella, D. Ed | Tarlecki, A. Ed.

Series: Lecture notes in computer science ; 00332Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1988Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 7 Call number: 681 LNCS.

Place hold Log in to add tags
E-BOOKS
Recent Trends in Data Type Specification [electronic resource] : 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers / edited by D. Sannella, A. Tarlecki.

by Sannella, D [editor.] | Tarlecki, A [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 332Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

Place hold Log in to add tags
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha