Results of search for 'ccl=su:"Computer software" and holdingbranch:IISC'

Results
	141.	Systems and software verification Model-Checking Techniques and Tools by B Berard, et al by Berard, B Bidoit, M Finkel, A Laroussinie, F Material type: Book Publication details: Berlin Springer 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P015;1. Place hold
	142.	Multiagent robotic systems By Jiming Liu and Jianbing Wu by Liu, Jiming jianbing Wu Material type: Book Publication details: New York CRC P01 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 629.892 P013. Place hold
	143.	Software architecture perspectives on an emerging discipline by Mary Shaw and David Garlan by Shaw, Mary Garlan, David Material type: Book Publication details: New Delhi Prentice-Hall of India 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 N962;1 R(T). Place hold
	144.	Multimedia computing, communications and applications by Ralf Steinmetz and Klara Nahrstedt by Steinmetz, Ralf Nahrstedt, Klara Series: Innovative Technology series Material type: Book Publication details: Singapore Pearson Education 1995 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.6 N9511. Place hold
	145.	Software Architecture in Practice by Len Bass, Paul Clements and Rick Kazman by Bass, Len Clements, Paul Kazman, Rick Series: SEI series in Software Engineering Edition: 2nd Ed. Material type: Book Publication details: Singapore Pearson Education 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P031 R(T). Place hold
	146.	No cover image available Development of algorithms and expert systems for application in energy control centers by Bansilal by Bansilal Material type: Book Publication details: Bangalore Indian institute of science 1996 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.31910285633 N99 "Thesis".
	147.	No cover image available Measurement based framework for safety critical software certification by Gracy Joseph by Joseph, Gracy Series: IISc, Dept of CSA, MSc Thesis Material type: Book Publication details: Bangalore Indian Institute of Science 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 628.746028530287 P01 "THESIS". Place hold
	148.	Mechatronics handbook ed by Robert H. Bishop by Bishop, Robert H., ed Series: Electrical engineering handbook series Material type: Book Publication details: Boca Raton CRC Press 2002 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.801537 P02 "R".
	149.	Managing software acquisition open systems and COTS products by B. Craig Meyers and Patricia Oberndorf by Meyers, B. Craig Oberndorf, Patricia Series: SEI series in software engineering Material type: Book Publication details: Boston Addison Wesley 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.10687 P01. Place hold
	150.	Computer software and applications. Proceedings by IEEE International computer software and applications conference (26 2002 Oxford) Material type: Book Publication details: Los Alamitos IEEE Computer Society 2002 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P02 "SER". Place hold
	151.	No cover image available Instruments and software used for measurement in high-voltage impulse tests- Pt 1. requirements for instruments International Standards IEC 61083-1, by International Electrotechnical Commission 2001 Series: IEC 61083-1 Edition: 2nd ed Material type: Book Publication details: Geneva International Electrotechnical Commission 2001 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.319130287 P01. Place hold
	152.	No cover image available Digital recorders for measurments in high-voltage impulse tests- International Standard IEC 1083-2, by International Electrotechnical Commission Series: IEC 1083-2 Material type: Book Publication details: Geneva International Electrotechnical Commission 1996 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.319130287 N96. Place hold
	153.	Programming in MATLAB by E V Krishnamurty & S K Sen by Krishnamurthy, E V Sen, S K Material type: Book Publication details: New Delhi East west press 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P032. Place hold
	154.	Convergent technologies for the Asia-Pacific region. vol.1 by Conference on convergent technologies for the Asia-Pacific region(Bangalore 2003) Material type: Book Publication details: New Delhi Allied Publishers Private Limited 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.38106 P031.1. Place hold
	155.	Autonomous systems and intelligent agents in power system control and operations by C Rehtanz by Rehtanz, C Material type: Book Publication details: New York Spinger-Verlag 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.317 P033. Place hold
	156.	Computer software and applications. COMPSAC 2003. Proceedings by IEEE International computer software and applications conference (27 2003 Dallas) Material type: Book Publication details: Los Alamitos IEEE 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.3 P03 "SER". Place hold
	157.	Getting started with MATLAB version 6 A quick introduction for Scientists and engineers by Rudra Pratap by Pratap, Rudra Material type: Book Publication details: New York Oxford University Press 2003 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.369 P02;1 R(T). Place hold
	158.	Multimedia Computing, communications and applications by Ralf Steinmetz and Klara Nahrstedt by Steinmetz, Ralf Nahrstedt, Klara Series: Innovative Technology series Material type: Book Publication details: Singapore Pearson Education 1995 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 006.6 N9511;1 R(T). Place hold
	159.	Design patterns elements of reusable object-oriented software by Erich Gamma, et al., by Gamma, Erich Helm, Richard Johnson, Ralph Series: Addison-Wesley Professional Computing Series Material type: Book Publication details: Singapore Pearson Education 1995 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N953;4. Place hold
	160.	Design patterns Elements of reusable object-oriented software by Erich Gamma, et al., by Gamma, Erich Helm, Richard Johnson, Ralph Series: Addison-Wesley Professional Computing Series Material type: Book Publication details: Singapore Pearson Education 1995 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.1 N953;3 R(T). Place hold

Refine your search

Availability

Authors

Holding libraries

Item types

Series

Your search returned 376 results.