Your search returned 4 results.

Not what you expected? Check for suggestions
BOOKS
Symposium on semantics of algorithmic languages; edited by E. Engeler.

by Engeler, Erwin.

Series: Lecture notes in mathematics (Springer-Verlag) ; 188.Material type: Text Text;Language: English; Format: print ; Literary form: Not fiction Publication details: Berlin, New York, Springer-Verlag, 1971Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 28 Call number: 51 LNM.

Place hold Log in to add tags
BOOKS
Combinatory Programme

by Engeler, Erwin.

Series: Progress in Theoretical Computer ScienceMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Boston ; Birkhauser ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 681.3 ENG.

Place hold Log in to add tags
BOOKS
Logic of Programs Proceedings, Workshop, ETH Zurich, 1979

by Engeler, Erwin. Ed.

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

Place hold Log in to add tags
E-BOOKS
Logic of Programs [electronic resource] : Workshop, ETH Zürich, May–July 1979 / edited by Erwin Engeler.

by Engeler, Erwin [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 125Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1981Online 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