Your search returned 36 results.

Sort
Results
Prospects for functional programming in software engineering by J. P. Banatre, S. B. Jones, J. P. Le Metayer Banatre. by Series: Research Reports ESPRIT Project 302, Vol.1
Material type: Text 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.

Software engineering coins III - V.2 ed by Julius T Tou by
Material type: Text 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.

Software engineering coins III- v.1 ed. by Julius T. Tou by
Material type: Text 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.

Software engineering coins III- V.2 ed. by Julius T. Tou by
Material type: Text 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.

Mythical man-month Essays on software engineering by Frederick P. Brooks by
Material type: Text 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.

Foundations of software technology and theoretical computer science Proceedings ed by C Pandu Rangan, V Raman and R Ramanujam by Series: Lecture Notes in Computer Science ; 1738
Material type: Text Text
Publication details: Berlin Springer 1999
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N998;1.

Security in E-Learning vol. 16 by Edgar Weippl by Series: Advances in Information Security
Material type: Text Text
Publication details: Springer 2005
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: .

Services Computing [electronic resource] by Liang-Jie Zhang by
Material type: Text Text
Publication details: Berlin Tsinghua University Press 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 380.10285 (e-book).

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software [electronic resource] by Stephan Diehl by
Material type: Text Text
Publication details: Berlin Springer-Verlag 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.118 (e-book).

Effective IT Service Management To ITIL and Beyond! [electronic resource] by Rob Addy by
Material type: Text Text
Publication details: Berlin Springer-Verlag 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 658.40380285 (e-book).

Verification of object-oriented software. The keY approach [electronic resource] by Bernhard Beckert by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 (e-book).

Formal concept analysis [electronic resource] by Sergei O Kuznetsov and Stefan Schmidt by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.30151133 (e-book).

Perspectives of systems informatics [electronic resource] by Irina Virbitskaite and Andrei Voronkov by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 (e-book).

Hardware and software, Verification and testing [electronic resource] by Eyal Bin Avi Ziv and Shmuel Ur by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.24 (e-book).

Formal methods Applications and technology [electronic resource] by Lubo Brim Boudewijn Haverkort and Martin Leucker by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 (e-book).

Universal access in ambient intelligence environments [electronic resource] by Constantine Stephanidis and Michael Pieper by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.019 (e-book).

Compiler construction [electronic resource] by Shriram Krishnamurthi and Martin Odersky by
Material type: Text Text
Publication details: Berlin Heidelberg 2007
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.453 (e-book).

Pages

                                                                                                                                                                                                    Facebook    Twitter

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

                             Contact   Phone: +91 80 2293 2832