Your search returned 98 results.

Sort
Results
1.
VLSI engineering beyond software engineering by Tosiyasu L. Kunii., by
  • Kunii, Tosiyasu L
Series: Lecture notes in computer science ; 163
Material type: Text Book
Publication details: Berlin S-V 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.395 N843.

2.
Foundations of software technology and theoretical computer science proceedings /ed. by C.E. Veni Madhavan. by
  • Conference on Foundations of Software Technology and theoretical computer sciencee,(India : 1989)
Series: Lecture notes in computer science ; 405
Material type: Text Book
Publication details: Berlin S-V 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N8914.

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.
ESEC'89 /ed. by C. Ghezzi and J.A. Mc Devmid. by
  • Ghezzi, C. McDevmid, J.A
  • European Software Engineering Conference Coventry, UK 1989
Series: Lecture notes in computer science ; 387
Material type: Text Book
Publication details: Berlin S-V 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N894.

6.
Advanced information systems engineering - Proceedings ed. by Coletto Rolland, Francois Bodart and Corine Cauvet by
  • International Conference, CAISE'93, Paris, France, June 8-11, 1993
  • Rolland, Coletto., ed
  • Bodart, Francois., ed
  • Cauvet, Corine., ed
Series: Lecture Notes in Computer Science ; 685
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.74 N932.

7.
TAPSOFT '93 theory and practice of software development - Proceedings ed. by M.-C. Gaudel, J.-P. Jouannaud, by
  • International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993
  • Gaudel, M.-C., ed
  • Jouannaud, J.-P., ed
Series: Lecture Notes in Computer Science ; No.668
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 N939.

8.
VDM '90 : VDM & Z -formal methods in software development by
  • ed. by D. Bjorner, C.A.R. Hoare and H. Langmaack
  • Bjorner, D., ed
  • Hoare, C.A.R., ed
  • Langmaack, H., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.3 N90.

9.
Advanced information systems engineering /ed. by B. Steinholtz, A. Solvberg, L. Bergman. by
  • Steinholtz, B. Solvberg, A. Bergman, L
  • Nordic Conference CAISE '90. Stockholm 1990
Series: Lecture notes in computer science ; 436
Material type: Text Book
Publication details: Berlin S-V 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N903.

10.
Software engineering education. ed by Lionel E Deimel by
  • Diemel, Lionel E., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.107 N90.

11.
Computing methods in applied sciences and engineering. pt 1 ed by R. Glowinski and J.L. Lions by
  • International Symposium on Computing methods in Applied Sciences and Engineering(1973 Versailles)
  • Glowinski, R.,ed
  • Lions, J.L.,ed
  • Institut de Recherche d'Informatique et d'Automatique
Series: Lecture Notes in Computer Science ; 10
Material type: Text Book
Publication details: Berlin Springer-Verlag 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.00285 N74.1;1.

12.
Computing methods in applied sciences and engineering. pt 2 ed by R. Glowinski and J.L. Lions by
  • International Symposium on Computing methods in Applied Sciences and Engineering(1973 Versailles)
  • Glowinski, R.,ed
  • Lions, J.L.,ed
  • Institut de Recherche d'Informatique et d'Automatique
Series: Lecture Notes in Computer Science ; 11
Material type: Text Book
Publication details: Berlin Springer-Verlag 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.00285 N74.2.

13.
Computing methods in applied sciences and engineering. Pt 1 ed by R. Glowinski and J.L. Lions by
  • International Symposium on Computing Methods in Applied Sciences and Engineering(1973 Versailles)
  • Glowinski, R.,ed
  • Lions, J.L.,ed
  • Institut de Recherche d'Informatique et d'Automatique
Series: Lecture Notes in Computer Science ; 10
Material type: Text Book
Publication details: Berlin Springer-Verlag 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 620.00285 N74.1.

14.
Software configuration management Proceedings ed. by Ian Sommerville by
  • International Workshop on Software Configuration Management(6th 1996 Berlin)
  • Sommerville, Ian., ed
Series: Lecture notes in computer science, Vol 1167
Material type: Text Book
Publication details: New York S-V 1996
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N964.

15.
Algebraic methodology and software technology - Proceedings ed. by Martin Wirsing, Maurice Nivat by
  • 5th International Conference, AMAST'96, Munich, Germany Wirsing, July 1-5, 1996
  • Wirsing, Martin., ed
  • Nivat, Maurice., ed
Series: Lecture Notes in computer science ; 1101
Material type: Text Book
Publication details: New York Springer-Verlag 1996
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N961.

16.
Hardware specification, verification and synthesis : mathematical aspects ed. by M. Leeser and G. Brown. by
  • Leeser, M., ed
  • Brown, G., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: New York Springer-Verlag 1990
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.3920151 N90.

17.
Software configuration management Proceedings ed. by Reidar Conradi by
  • Workshop on Software Configuration Management(7th 1997 Boston)
  • Conradi, Reidar., ed
Series: Lecture notes in computer science, v.1235
Material type: Text Book
Publication details: Berlin S-V 1997
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.1 N975.

18.
Foundations of software technology and theoretical computer science - Proceedings ed. by S. Ramesh, G. Sivakumar by
  • Conference on Foundations of software technology and theoretical computer science (17 Kharagpur 1997)
  • Ramesh, S., ed
  • Sivakumar, G., ed
Series: Lecture Notes in computer science, 1346
Material type: Text Book
Publication details: Berlin Springer-Verlag 1997
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N971.

19.
Foundations of software technology and theoretical computer science ed by C. Pandu Rangan, V. Raman and R. Ramanujam by
  • Conference on foundations of software technology and theoretical computer science(19th Chennai 1999)
  • Rangan, C. Pandu, ed
  • Raman, V., ed
  • Ramanujam, R., ed
Series: Lecture notes in computer science ; 1738
Material type: Text Book
Publication details: Berlin Springer-Verlag 1999
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N998.

20.
Foundations of software technology and theoretical computer science proceedings ed by V Arvind and R Ramanujan by
  • Conference on Foundations of software technology and theoretical computer science (18 Chennai 1998)
  • Arvind, V., ed
  • Ramanujan, R., ed
Series: Lecture Notes in Computer Science 1530
Material type: Text Book
Publication details: Berlin Springer 1998
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N989.

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