Your search returned 10753 results.

Not what you expected? Check for suggestions
BOOKS
IOTA Programming System Modular Programming Environment

by Nakajima, R. Ed | Yuasa, T. Ed.

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

BOOKS
CONLAN Report

by Piloty, R. et al.

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

BOOKS
Theoretical Computer Science 6th GI-Conference, Dortmund, 1983

by Cremers, A B. Ed | Kriegel, H P. Ed.

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

BOOKS
Complexity of Bilinear Problems Lectures at Univ. of Zurich, Switzerland

by de Groote, H F.

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

BOOKS
CAAP '86 : 11th Colloquium on trees in algebra and programming Proceedings, Nice, France, 1986

by Franchi-Zannettacci, P. Ed.

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

BOOKS
VDM '87 - VDM a formal method at work Proceedings, VDM-Europe Symp., Belgium, 1987

by Bjorner, D. et al Eds.

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

BOOKS
Database Machine Performance: Modeling Methodologies and Evaluation Strategies

by Cesarini, F. Ed | Salza, Silvio. Ed.

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

BOOKS
ANNA - A Language for Annotating Ada Programs Reference Manual

by Luckham, David C | von Henke, Friedrich W | Krieg-Bruckner, Bernd | Owe, Olaf.

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

BOOKS
Rewriting Techniques and Applications Proceedings, Bordeaux, 1987

by Lescanne, Pierre. Ed.

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

BOOKS
WOPPLOT 86 - Parallel Processing: Logic, Organization, and Technology Proceedings, Workshop, Neubiberg, FRG, 1986

by Becker, J D. Ed | Eisele, I. Ed.

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

BOOKS
LUCAS - Associative Array Processor - Design, Programming and Application Studies

by Fernstrom, Christer | Kruzela, Ivan | Svensson, Bertil.

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

BOOKS
Computation Theory Proceedings, Fifth Symp., Zaborow, Poland, 1984

by Skowron, Andrzej. Ed.

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

BOOKS
VLSI Algorithms and Architectures Proceedings, Aegean Workshop, Greece, 1986

by Makedon, F. et al Eds.

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

BOOKS
Mathematical foundations of computer science 1986 Proceedings, 12th Symp., Bratislava, Czechoslovakia, 1986

by Gruska, J. et al Eds.

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

BOOKS
Concepts in User Interfaces: A reference model for command and response languages

by Beech, David. Ed.

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

BOOKS
ESOP 86 - European Symposium on Programming Proceedings, Saarbrucken, FRG, 1986

by Robinet, B. Ed | Wilhelm, R. Ed.

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

BOOKS
Current trends in concurrency, overviews and tutorials

by De Bakker, J W. etal Eds.

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

BOOKS
Study in String Processing Languages

by Klint, Paul.

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

BOOKS
Functional Programming Languages and Computer Architecture Proceedings, Conference, Nancy, France, 1985

by Jouannaud, Jean-Pierre. Ed.

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

BOOKS
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions

by Snyers, Dominique | Thayse, Andre.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha