Your search returned 373 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
361.
Agile software development by Alistair Cockburn by
  • Cockburn, Alistair
Series: Agile software development series ;
Material type: Text Book
Publication details: Boston Addison-Wesley 2002
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 P022.

Place hold
362.
Code complete: A practical handbook of software construction by Steve McConnell by
  • McConnell, Steve
Edition: 2nd ed.
Material type: Text Book
Publication details: New Delhi Dreamtech Press 2012
Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.1 P042 (CSA).

Place hold
363.
Modern software engineering : foundations and current perspectives ed by Peter A Ng and Raymond T Yeh by
  • Ng, Peter A., ed
  • Yeh, Raymond T., ed
Material type: Text Book
Publication details: New York VAN Nostrand Reinhold 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N9024.

Place hold
364.
Automatic verification methods for finite state systems ed by J Sifakis by
  • Sifakis, J., ed
Series: Lecture notes in computer science ;
Material type: Text Book
Publication details: Berlin Springer-Verlag 1990
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.62 N901.

Place hold
365.
Code Complete: Practical Handbook of Software Construction by Steve McConnell by
  • McConnell, Steve
Edition: 2nd Ed.
Material type: Text Book
Publication details: New Delhi Dreamtech Press 2004
Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.1 P044 (CSA).

Place hold
366.
Mythical man-month: Essays on software engineering by Frederick P Brooks Jr by
  • Jr Brooks, Frederick P
Material type: Text Book
Publication details: Boston Addison-Wesley 1995
Availability: Items available for loan: Computational Data Scince (1)Call number: 005.1068 N952 (CDS).

Place hold
367.
Proceedings of the tenth workshop on algorithm engineering and experiments and the fifth workshop on analytic algorithmics and combinatorics (E Book) by
  • Ed. by J. Ian Munro et.al
Material type: Text Book
Publication details: SIAM 2008
Online access:
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.6 e book.

Place hold
368.
Embedded security in cars: Securing current and future automotive IT applications ed by Kerstin Lemke, Chirstof Paar and Marko Wolf by
  • Lemke, Kerstin., ed
  • Paar, Chirstof., ed
  • Wolf, Marko., ed
Material type: Text Book
Publication details: Berlin Springer 2006
Availability: Items available for loan: Electronic Systems Engineering (1)Call number: 629.27 P06 (ESE).

Place hold
369.
Verification, model checking, and abstract interpretation by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen by
  • D'Souza, Deepak,
  • Lal, Akash;  Larsen, Kim Gulstrand
Material type: Text Book
Publication details: Berlin Springer 2015
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.14 VER VER.

Place hold
370.
Distributed algorithms by Nancy A. Lynch. by
  • Lynch, Nancy A,
Series: The Morgan Kaufmann series in data management systems ;
Material type: Text Book
Publication details: San Francisco Morgan Kaufmann 1997
Availability: Items available for loan: Computer Science and Automation (1)Call number: 005.276 LYN/D.

Place hold
371.
No cover image available
Neural approaches for natural language query answering over source code by Madhurima Mandal; advised by Shirish Shevade and Aditya Kanade by
  • Mandal, Madhurima,
Material type: Text Book
Publication details: Bengaluru IISc 2022
Dissertation note: MTech (Res); IISc; 2022
Online access:
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 600 MAD/N.

372.
Architecture of existing systems. ICSM 2003. Proceedings by
  • IEEE International conference on software maintenance (2003 Amsterdam)
Material type: Text Book
Publication details: Los Alamitos IEEE 2003
Availability: No items available.

373.
Architecture of existing systems. ICSM 2003. Proceedings by
  • IEEE International conference on software maintenance (2003 Amsterdam)
Material type: Text Book
Publication details: Los Alamitos IEEE 2003
Availability: No items available.

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