Results of search for 'su:"Computer Science; Software Engineering"'

Results
	1.	Prospects for functional programming in software engineering by J. P. Banatre, S. B. Jones, J. P. Le Metayer Banatre. by Banatre, J. P Jones, S. B Le Metayer Banatre, J. P Series: Research Reports ESPRIT Project 302, Vol.1 Material type: Text Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N91.
	2.	No cover image available Software engineering coins III - V.2 ed by Julius T Tou by Proceedings of the symposium on computer and information science (3rd 1969 Florida) Tou, Julius T., ed Material type: Text Publication details: New York Academic Press 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N70.2.
	3.	No cover image available Software engineering coins III- v.1 ed. by Julius T. Tou by Proceedings of the symposium on computer and information science(3rd 1969 Florida) Tou, Julius T., ed Material type: Text Publication details: New York Academic Press 1970 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N70.1;1.
	4.	No cover image available Software engineering coins III- V.2 ed. by Julius T. Tou by Proceedings of the symposium on computer and information sciences (3rd 1969 Florida) Tou, Julius T., ed Material type: Text Publication details: New York Academic Press 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N70.2;1.
	5.	Mythical man-month Essays on software engineering by Frederick P. Brooks by Brooks, Frederick P Material type: Text Publication details: Massachusetts Addison-Wesley 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 001.6425 N75.
	6.	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 Publication details: Berlin Springer-Verlag 1999 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N998. Place hold
	7.	Foundations of software technology and theoretical computer science Proceedings ed by C Pandu Rangan, V Raman and R Ramanujam by Conference on FST/TCS (Chennai, India, 1999) Rangan, C Pandu, ed Raman, V., ed Ramanujam, R., ed Series: Lecture Notes in Computer Science ; 1738 Material type: Text Publication details: Berlin Springer 1999 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N998;1. Place hold
	8.	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 science (Bangalore, India, 1989) Madhavan, C.E. Veni Series: Lectures notes in computer science, v.405 Material type: Text Publication details: Berlin Springer-Verlag 1989 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N8919. Place hold
	9.	Security in E-Learning vol. 16 by Edgar Weippl by Weippl, Edgar Series: Advances in Information Security Material type: Text Publication details: Springer 2005 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: . Place hold
	10.	Foundations of software technology and theoretical computer science proceedings by Kesav V. Nori and C E Veni Madhavan by Foundation of software technology and theoretical computer science (Bangalore, India, 1990) Nori, K.V., ed. Veni Madhavan, C.E., ed Series: Lecture notes in computer science ; vol.472 Material type: Text Publication details: Berlin Springer-Verlag 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9020;3. Place hold
	11.	No cover image available Services Computing [electronic resource] by Liang-Jie Zhang by Zhang, Liang-Jie Material type: Text Publication details: Berlin Tsinghua University Press 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 380.10285 (e-book). Place hold
	12.	No cover image available Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software [electronic resource] by Stephan Diehl by Diehl, Stephan Material type: Text Publication details: Berlin Springer-Verlag 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.118 (e-book). Place hold
	13.	No cover image available Effective IT Service Management To ITIL and Beyond! [electronic resource] by Rob Addy by Addy, Rob Material type: Text Publication details: Berlin Springer-Verlag 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 658.40380285 (e-book). Place hold
	14.	Verification of object-oriented software. The keY approach [electronic resource] by Bernhard Beckert by Beckert, Bernhard H hnle, Reiner and Schmitt, Peter H Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book). Place hold
	15.	Formal concept analysis [electronic resource] by Sergei O Kuznetsov and Stefan Schmidt by Kuznetsov, Sergei O Schmidt, Stefan Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.30151133 (e-book). Place hold
	16.	Perspectives of systems informatics [electronic resource] by Irina Virbitskaite and Andrei Voronkov by Virbitskaite, Irina Voronkov, Andrei Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book). Place hold
	17.	No cover image available Hardware and software, Verification and testing [electronic resource] by Eyal Bin Avi Ziv and Shmuel Ur by Bin, Eyal Ziv, Avi Ur, Shmuel Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 (e-book). Place hold
	18.	Formal methods Applications and technology [electronic resource] by Lubo Brim Boudewijn Haverkort and Martin Leucker by Brim, Lubo Haverkort, Boudewijn Leucker, Martin Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book). Place hold
	19.	Universal access in ambient intelligence environments [electronic resource] by Constantine Stephanidis and Michael Pieper by Stephanidis, Constantine Pieper, Michael Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.019 (e-book). Place hold
	20.	Compiler construction [electronic resource] by Shriram Krishnamurthi and Martin Odersky by Krishnamurthi, Shriram Odersky, Martin Material type: Text Publication details: Berlin Heidelberg 2007 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.453 (e-book). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 36 results.