Refine your search

Your search returned 995 results.

Not what you expected? Check for suggestions
Sort
Results
Computing in systems described by equations by Series: Lecture notes in Computer Science No. 58
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 O3C6.

CONLAN report by Series: Lecture Notes in Computer Sciences No. 151
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 P4C6.

Compiler specification and verification by Series: Lecture Notes in Computer Science No. 124
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 P6C6.

Programming symposium proceedings by Series: Lecture Notes in Computer Science No. 19
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 P7P7.

Automatic differentiation: techniques and applications by Series: Lecture Notes in Computer Science No. 120
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 R2A8.

Origins of digital computers: selected papers by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1973
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 R2O7.

Revised report on the algorithmic language: Algol 68 by
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 R3.

RIMS symposia on software science and engineering by Series: Lecture Notes in Computer Science No. 147
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 R4.

Freight transport planning and logistics: proceedings by Series: Lecture Notes in Economics and Mathematical Systems, no. 317
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1988
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 380.5 I6F7.

Optimal spatial interaction and the gravity model by Series: Lecture notes in economics and mathematical systems,no. 173
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: 380.5018 E7O7.

Parallel processing by Series: Lecture Notes in Computer Science No. 24
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 S2P2.

Relational theory of computing by Series: Lecture Notes in Computer Science No. 82
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 S2R3.

Software engineering education: proceedings by Series: Lecture Notes in Computer Science No. 640
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 S3S6.

Symbolic and algebraic computation: EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June, 1979 by Series: Lecture Notes in Computer Science No. 72
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 S92.

Language design and programming methodology: proceedings by Series: Lecture Notes in Computer Science No. 79
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 S9L2.

Mathematical foundations of computer science: proceedings by Series: Lecture Notes in Computer Science, no. 45
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 S9M2.

Mathematical foundations of computer science: proceedings by Series: Lecture Notes in Computer Science No. 53
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 S9M2.

Mathematical foundations of computer science: proceedings by Series: Lecture Notes in Computer Science No. 64
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin Springer-Verlag 1978
Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 510.7834 S9M2.

Pages