Your search returned 20 results.

Sort
Results
1.
Turing machines with sublogarithmic space /Andrzej Szepietowski by
  • Szepietowski, Andrez
Series: Lecture Notes in Computer Science, 843
Material type: Text Book
Publication details: Berlin S-V 1994
Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 004.015113 N94.

2.
STACS 87 ed. by F.J.Brandenburg, G.Vidal-Naquet, M.Wirsing. by
  • Brandenburg, F.J.,ed. Vidal-Naquet, G.,ed. Wirsing, M.,ed
  • Annual symposium on theoretical aspects of computer science.(4th: Passau, 1987)
Series: Lecture notes in computer science No.247
Material type: Text Book
Publication details: Berlin Springer-Verlag 1987
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N87.

3.
Foundations of software technology and theoretical computer science - Proceedings ed. by P.S. Thiagarajan by
  • 15th FST & TCS Conference held at Bangalore, December 18-20, 1995
  • Thiagarajan, P.S., ed
Series: Lecture Notes in Computer Science ; V.1026
Material type: Text Book
Publication details: Berlin Springer-Verlag 1995
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N954.

4.
Foundations of software technology and theoretical computer science - Proceedings ed. by R.K. Shyamasundar by
  • 13th FST & TCS Conference, Bombay, December 15-17, 1993
  • Shyamasundar, R.K., ed
Series: Lecture Notes in Computer Science ; 761
Material type: Text Book
Publication details: Berlin Springer-Verlag 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9317.

5.
Fundamentals of computation theory ed. by L. Budach. by
  • 8th International Conference on Fundamentals of Computation Theory, Gosen, 1991
  • Budach, L
Series: Lecture notes in computer science V.529
Material type: Text Book
Publication details: Berlin Springer-Verlag 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N911.

6.
Fundamentals of computation theory 9th. international conference ... /ed. by Zoltan Esik by
  • Esik, Zoltan
  • International Conference on Fundamentals of Computation Theory
Series: Lecture Notes in Computer Science ; 710
Material type: Text Book
Publication details: Berlin S-V 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N935.

7.
Algorithms and computation - Proceedings ed. by T. Ibaraki, [et al] by
  • 3rd International Symposium, ISAAC'92, Nagoya, Japan, December 16-18, 1992
  • Ibaraki, T., ed., [et al]
Series: Lecture Notes in computer science ; 650
Material type: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N924.

8.
Mathematical foundations of computer science 1992 - Proceedings ed. by I.M. Havel, V. Koubek by
  • 17th International Symposium held at Prague, Czechoslovakia, August 24-28, 1992
  • Havel, I.M., ed
  • Koubek, V., ed
Series: Lecture Notes in computer science ; 629
Material type: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N92.

9.
Mathematical foundations of computer science 1991 16th. intl. symposium /ed. by A. Tarlecki by
  • Tarlecki, A
  • International Symposium on Mathematical Foundations of Computer Science
Series: Lecture Notes in Computer Science ; 520
Material type: Text Book
Publication details: Berlin S-V 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N915.

10.
Formal properties of finite automata and applications ed. by J.E. Pin by
  • LITP Spring School on Theoretical Computer Science (Ramatuelle,1988)
  • Pin, J.E.,ed
Series: Lecture Notes in Computer Science No.386
Material type: Text Book
Publication details: Berlin Springer-Verlag 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015113 N89.

11.
STACS 89 ed. by B. Monien, R. Cori by
  • Symposium on Theoretical Aspects of Computer Science (Paderborn,1989)
  • Monien, B.,ed. Cori, R.,ed
Series: Lecture Notes in Computer Science No.349
Material type: Text Book
Publication details: Berlin Springer-Verlag) 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N893.

12.
STACS 91 8th. annual symposium on theoretical (...) /ed. by C. Choffrut, M. Jantzen by
  • Choffrut, C
  • Symposium on Theoretical Aspects of Computer Science
  • Jantzen, M
Series: Lecture Notes in Computer Science ; 480
Material type: Text Book
Publication details: Berlin S-V 1991
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N912.

13.
STACS '92 /ed. by A. Finkel, M. Jantzen by
  • Finkel, A
  • Symposium on Theoretical Aspects of Computer Science
  • Jantzen, M
Series: Lecture Notes in Computer Science ; 577
Material type: Text Book
Publication details: Berlin S-V 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N92.

14.
STACS '93 10th Annual symposium on theoretical Ascpects of Computer Science Wurzburg, Germany, Feb 1993 Proceedings ed by P Enjalbert et.al. by
  • Enjalbert, P et.al
  • Symposium on Theoretical Aspects of Computer Science
  • Finkel, A
  • Wagner, K.W
Series: Lecture Notes in Computer Science ; 665
Material type: Text Book
Publication details: Berlin Springer 1993
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.0151 N934.

15.
Mathematical foundations of computer sciences 1980 ed. by P. Dembinski. by
  • symposium(9th0 held in Poland, sept. 1-5, 1980
Series: Lecture notes in computer science 88
Material type: Text Book
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 519.7 N80.

16.
Computing and combinatorics - Proceedings ed. by Jin-Yi Cai, Chak Kuen Wong by
  • 2nd Annual International Conference, COCOON, 96, Hong Kong, June 17-19, 1996
  • Cai, Jin-Yi., ed
  • Wong, Chak Kuen., ed
Series: Lecture Notes in computer science ; 1090
Material type: Text Book
Publication details: Berlin Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 004.015116 N96.

17.
Foundations of software technology and theoretical computer science - Proceedings ed. by R. Shyamasundar by
  • 12th FST & TCS Conference, New Delhi, India, Dec 18-20, 1992
  • Shyamasundar, R., ed
Series: Lecture Notes in Computer Science ; 652
Material type: Text Book
Publication details: Berlin Springer-Verlag 1992
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N9215.

18.
Foundations of software technology and theoretical computer science - Proceedings ed. by R.K. Shyamasundar by
  • Conference on FST & TCS (December 15-17, Bombay, 1993)
  • Shyamasundar R K., ed
Series: Lecture Notes in Computer Science ; 761
Material type: Text Book
Publication details: Berlin Springer-verlag 1993
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9317;1.

19.
Algebraic Logic and Universal Algebra in Computer Science ed by Clifford H. Bergman by
  • Bergman, Clifford H., ed
Series: Lecture notes in computer science
Material type: Text Book
Publication details: Berlin Springer
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.13 .

20.
Algorithms and computation - Proceedings ed. by P. Eades, T. Takaoka by
  • International Symposium, ISAAC'2001 (12 New Zealand 2001
  • Eades., ed
Series: Lecture Notes in computer science ;
Material type: Text Book
Publication details: Takaoka, T Springer-Verlag 2001
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 .

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha