Your search returned 10762 results.

Not what you expected? Check for suggestions
BOOKS
ESEC '87 Proceedings, ESE Conf., France, 1987

by Nichols, H K. Ed | Simpson, D. Ed.

Series: Lecture notes in computer science ; 00289Material 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: 5 Call number: 681 LNCS.

BOOKS
Co-op - Group decision support system for cooperative multiple criteria group decision making

by Bui, Tung X.

Series: Lecture notes in computer science ; 00290Material 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: 5 Call number: 681 LNCS.

BOOKS
Advances in Cryptology - EUROCRYPT '89 Proceedings, Workshop, Belgium, 1989

by Quisquater, J J. Ed | Vandewalle, J. Ed.

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

BOOKS
Advanced Information Systems Engineering Proceedings, Second Nordic Conf., CAISE '90, Sweden, 1990

by Steinholtz, B. Ed | Solvberg, A. Ed | Bergman, L. Ed.

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

BOOKS
Computer Assisted Learning Proceedings, 3rd Int.Conf., ICCAL '90, FRG, 1990

by Norrie, D H. Ed | Six, H -W. Ed.

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

BOOKS
Visualization in Human-Computer Interaction 7th Interdisciplinary Workshop, Austria, 1988

by Gorny, P. Ed | Tauber, M J. Ed.

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

BOOKS
CSL '89 Proceedings, 3rd Workshop, FRG, 1989

by Borger, E. Ed | Kleine Buning, H. Ed | Richter, M M. Ed.

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

BOOKS
Parallel Lisp: Languages and Systems Proceedings, US/Japan Workshop, Japan, 1989

by Ito, T. Ed | Halstead, R H. Jr. Ed.

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

BOOKS
Concurrency Control Problem for Database Systems

by Casanova, Marco Antonio.

Series: Lecture notes in computer science ; 00116Material 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.

BOOKS
Analytical Description of CHILL, the CCITT High Level Language

by Branquart, Paul | Louis, Georges | Wodon, Pierre.

Series: Lecture notes in computer science ; 00128Material 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
Alternating Sequential/Parallel Processing

by Wallach, Y.

Series: Lecture notes in computer science ; 00127Material 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
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.

BOOKS
Y12M (Solution of large and sparse systems of linear algebraic equations documentation of subroutines)

by Zlatev, Zahari | Wasniewski, Jerzy | Schaumburg, Kjeld.

Series: Lecture notes in computer science ; 00121Material 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.

BOOKS
Fundamentals of Computation Theory Proceedings, Int.Conf., Poland, 1977

by Karpinski, Marek. Ed.

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

BOOKS
Analogical and Inductive Inference. Proceedings, Inter.Workshop All '86, GDR, 1986

by Jantke, K P. Ed.

Series: Lecture notes in computer science ; 00265Material 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
Automata, Languages and Programming Fifth Colloquium, Italy, 1978

by Ausiello, G. Ed | Bohm, C. Ed.

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

BOOKS
Fundamentals of Computation Theory Proceedings, Inter.FCT-Conf., Hungary, 1981

by Gecseg, Ferenc. Ed.

Series: Lecture notes in computer science ; 00117Material 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.

BOOKS
Introduction to the PL/CV2 Programming Logic

by Constable, R L | Johnson, S D | Eichenlaub, C D.

Series: Lecture notes in computer science ; 00135Material 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
Operating Systems Engineering Proceedings, 14th IBM CS Symp., Japan, 1980

by Maekawa, M. Ed | Belady, L A. Ed.

Series: Lecture notes in computer science ; 00143Material 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
Verifying Concurrent Processes Using Temporal Logic

by Hailpern, Brent T.

Series: Lecture notes in computer science ; 00129Material 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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha