Refine your search

Your search returned 995 results.

Not what you expected? Check for suggestions
Sort
Results
Distributed system-architecture and implementation: an advanced course by Series: Lecture notes in computer science no. 105
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1981
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 D45.

Complementary definitions of programming language semantics by Series: Lectures notes in computer science, no. 42
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1976
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 D6C6.

Computer aided design, modelling, systems engineering, CAD-systems: CREST advanced course by Series: Lectrue notes in computer science, no. 89
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1980
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 C6.

Abstract software specifications: 1979 copenhagen winter school by Series: Lectures notes in computer science no. 86
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlage 1980
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 C6A2.

Design and implementation of programming languages by Series: Lecture notes in computer science, no. 54
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1977
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 D3.

Enduser systems and their human factors by Series: Lecture notes in computer science, no. 150
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 E6.

Simple program schemes and formal languages by Series: Lecture notes in computer science, no. 20
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1974
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 E6S4.

The concurrency control problem for database systems by Series: Lecture notes in computer science, no. 116
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 C2C6.

CONPAR 81, proceedings by Series: Lecture notes in computer science, no. 111
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 C6C6.

Specification and design of software systems by Series: Lecture notes in computer sciecne, no. 152
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1983
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 C6S7.

Data base design techniques by Series: Lecture notes in computer science series, no. 132-133
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for loan: Vikram Sarabhai Library (2)Call number: 510.7834 D24-II, ...

Trends in information processing systems: proceedings by Series: Lecture notes in computer science, no. 123
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1981
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 E8T7.

Verifying concurrent processes using temporal logic by Series: Lecture notes in computer science, no. 129
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 H2V3.

GAG: a practical compiler generator by Series: Lecture notes in computer science,no. 141
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1982
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 K2G2.

Analysis of drum and disk storage units by Series: Lecture notes in computer science, 31
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1975
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 F8A6.

Theoretical computer science by Series: Lecture notes in computer science, no. 67
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1979
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 G4T4.

Theoretical computer science by Series: Lecture notes in computer science no. 104
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1981
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 G4T4.

Theoretical computer science by Series: Lecture notes in computer science no. 145
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1982
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 G4T4.

Theory of program structures: schemes, semantics, verification by Series: Lecture notes in computer science, 36
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 G7T4.

Concurrent pascal compiler for minicomputers by Series: Lecture notes in computer science, v. 50
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer Verlag 1977
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 H2C6.

Pages