Your search returned 123 results.

Not what you expected? Check for suggestions

Results
		Fundamentals of computation theory: proceedings of the 1977 International FCT-Conference by Poznan - Kornik Poland September, 19-23, 1977 International Conference on Fundamentals of Computation Theory Karpinski, Marek International Conference on Fundamentals of Computation Theory Series: Lecture notes in computer science, no. 56 Material type: 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.78 I6F8. Place hold Add to cart (remove)
		No cover image available Calculus and computer science theory; proceedings of the symposium held in Rome, March 25-27 1975 by Bohm, C Series: Lecture notes in computer science, no. 37 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 1975 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 512.5 C2. Place hold Add to cart (remove)
		No cover image available Graph-grammars and their application to computer science and biology by Bad Honnef October 30 - November 3, 1978 International Workshop Claus, Volker [Editor] Ehrig, Hartmut [Editor] Rozenberg, Grzegorz [Editor] Series: Lecture notes in computer science, no. 73 Material type: 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.5 G7. Place hold Add to cart (remove)
		No cover image available Graph theoretic concepts in computer science; proceedings of the Inter National Workshop WG 80, Bad Honnef, June 15-18, 1980 by Noltemeier, Hartmut Series: Lecture notes in computer science, no. 100 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 512.5 G7. Place hold Add to cart (remove)
		No cover image available Edinburgh LCF; a mechanised logic of computation by Gordon, Michael J;others Series: Lecture notes in computer science, no. 78 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1979 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 512.8 G6E2. Place hold Add to cart (remove)
		Boolean calculus of differences by Thayse, Andre Series: Lecture notes in computer science, no. 101 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 512.89 T4B6. Place hold Add to cart (remove)
		No cover image available Codes for boundary-value problems in ordinary differential equations: proceedings by Department of Electrical Engineering University of Houston May 14-17, 1978 Working conference on codes for boundary-value problems in ordinary differential equations, University of Houston, 1978 Childs, B [Editor] Daniel, J. W [Editor] Denman, E [Editor] Nelson, P [Editor] Series: Lecture notes in computer science, no. 76 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1979 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 517.38 W6C6. Place hold Add to cart (remove)
		Theories and methods of spatio-temporal reasoning in geographic space; proceedings by Pisa, Italy September 21-23, 1992 International Conference GIS - From Space to Territory : Theories and Methods of Spatio-Temporal Reasoning Frank, A. U [Editor] Campari, I [Editor] Formentini, U [Editor] Series: Lecture notes in computer science no.639 Publication details: Berlin Springer-Verlag 1992 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 006 I6T4. Place hold Add to cart (remove)
		Formal aspects of cognitive processes by Ann Arbor March 1972 Interdisciplinary conference Storer, Thomas [Editor] Winter, David [Editor] Series: Lecture notes in computer science no.22 Publication details: Berlin Springer-Verlag 1974 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 153 I6F6. Place hold Add to cart (remove)
		Natural language communication with computers by Bolc, Leonard [Editor] Goos, G [Editor] Hartmanis, J [Editor] Series: Lecture notes in computer science 63 Publication details: Berlin Springer-Verlag 1978 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 006 N2. Place hold Add to cart (remove)
		Logic of programs, workshop, ETH Zurich, May-July 1979 by ETH Forschungs Institute for Mathematic Zurich May-July 1979 Logic of Programs Workshop Engeler, Erwin [Editor ] Series: Lecture Notes in Computer Science no.125 Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 164 L6. Place hold Add to cart (remove)
		Information systems methodology: proceedings 2nd conference of the European cooperation in informatics by Venice October, 10-12, 1978 Proceedings, 2nd Conference of the European Cooperation in Informatics Brachhi, G [Editor] Lockemann, P. C [Editor] European Coopeation in Informatics (Organization) Series: Lecture notes in computer science, no. 65 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York Springer-Verlag 1978 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 658.4 E8I6. Place hold Add to cart (remove)
		No cover image available Computer programs for spelling correction; an experiment in program design by Peterson, James L Series: Lecture notes in computer science, no.96 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1980 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 410.28 P3C6. Place hold Add to cart (remove)
		No cover image available First-order dynamic logic by Harel, David Series: Lecture notes in computer science, no.68 Publication details: Berlin Springer-Verlag 1979 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 164 H2F4. Place hold Add to cart (remove)
		No cover image available Logics of programs; workshop, Yorktown Heights, New York, May 1981 by National Science Foundation and IBM Corporation New York May 4-6, 1981 The Logic of Programs Workshop Kozen, Dexter [Editor ] Series: Lecture notes in computer science, no.131 Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 164 L61. Place hold Add to cart (remove)
		No cover image available Logics of programs and their applications, proceedings, Poznan, August 1980 by Regional Computing Center of the Technical University of Poznan Poznan, Poland August 23-29, 1980 Symposium on Logics of Programs and their Applicatins Salwicki, A [Editor ] Series: Lecture notes in computer science, no.148 Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 164 L62. Place hold Add to cart (remove)
		An introduction to the PL/CV2 programming logic by Constable, R. L Series: Lecture notes in computer science, no.135 Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 164 C6I6. Place hold Add to cart (remove)
		Stochastic automata: stability, nondeterminism, and prediction by Doberkat, Ernet-Erich Series: Lecture notes in computer science, no.113 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1981 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 519.1 D6S8. Place hold Add to cart (remove)
		Problems and methodologies in mathematical software production by International Seminar on Problems and Methodologies in Mathematical Software Production, Sorrento, Italy, 1980 Messina, P. C [Editor] Murli, A [Editor] Series: Lecture notes in computer science, no.142 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 519.10285 I6P7. Place hold Add to cart (remove)
		Axiomatising the logic of computer programming by Goldblatt, Robert Series: Lecture notes in computer science, no.130 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin Springer-Verlag 1982 Availability: Items available for loan: Vikram Sarabhai Library (1)Call number: 519.92 G6A9. Place hold Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
Next
Last

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 123 results.