Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 40 results. Subscribe to this search

|
1. Event-Triggered and Time-Triggered Control Paradigms : [electronic resource] /

by Obermaisser, Roman [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 153 p. 46 illus. online resource.Publisher: Boston, MA : Springer US : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

2. Quantitative Measure for Discrete Event Supervisory Control : [electronic resource] /

by Ray, Asok [editor.] | Phoha, Vir V [editor.] | Phoha, Shashi P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 264 p. online resource.Publisher: New York, NY : Springer New York, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

3. Software Process Modeling : [electronic resource] /

by Acu�a, Silvia T [editor.1 ] | Juristo, Natalia [editor.2 ] | SpringerLink (Online service)0.

Source: Springer eBooks08Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIV, 208 p. 59 illus. online resource.Boston, MA : Springer US, 2005. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

4. A Software Process Model Handbook for Incorporating People’s Capabilities : [electronic resource] /

by Acuña, Silvia Teresita [author.] | Juristo, Natalia [author.] | Moreno, Ana María [author.] | Mon, Alicia [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVIII, 324 p. 90 illus. online resource.Publisher: Boston, MA : Springer US, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

5. Software Configuration Management Using Vesta : [electronic resource] /

by Heydon, Allan [author.] | Mann, Timothy [author.] | Levin, Roy [author.] | Yu, Yuan [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVIII, 262 p. 50 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

6. Security Management, Integrity, and Internal Control in Information Systems : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference / : [electronic resource] :

by Dowland, Paul [editor.] | Furnell, Steve [editor.] | Thuraisingham, Bhavani [editor.] | Wang, X. Sean [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 372 p. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

7. From Model-Driven Design to Resource Management for Distributed Embedded Systems : IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11–13, 2006, Braga, Portugal / : [electronic resource] :

by Kleinjohann, Bernd [editor.] | Kleinjohann, Lisa [editor.] | Machado, Ricardo J [editor.] | Pereira, Carlos E [editor.] | Thiagarajan, P. S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 274 p. 98 illus. online resource.Publisher: Boston, MA : Springer US, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

8. Intelligent Document Retrieval : Exploiting Markup Structure / : [electronic resource] :

by Kruschwitz, Udo [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 198 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

9. Requirements Engineering : [electronic resource] /

by Hull, Elizabeth [author.] | Jackson, Kenneth [author.] | Dick, Jeremy [author.] | SpringerLink (Online service).

Edition: Second Edition.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XVI, 198 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

10. Constituents of Modern System-safety Thinking : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005 / : [electronic resource] :

by Redmill, Felix [editor.] | Anderson, Tom [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 226 p. online resource.Publisher: London : Springer London, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

11. Developments in Risk-based Approaches to Safety : Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006 / : [electronic resource] :

by Redmill, Felix [editor.] | Anderson, Tom [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 292 p. 68 illus. online resource.Publisher: London : Springer London, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

12. Analyzing Computer System Performance with Perl::PDQ : [electronic resource] /

by Gunther, Neil J [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXIII, 436 p. 176 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

13. Web Engineering : [electronic resource] /

by Mendes, Emilia [editor.] | Mosley, Nile [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 440 p. 143 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

14. Performance Analysis of Network Architectures : [electronic resource] /

by Tutsch, Dietmar [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 245 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

15. High Availability and Disaster Recovery : Concepts, Design, Implementation / : [electronic resource] :

by Schmidt, Klaus [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 410 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

16. Model-based Fault Diagnosis Techniques : Design Schemes, Algorithms, and Tools / : [electronic resource] :

by Ding, Steven X [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 473 p. 56 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

17. A Graph-Theoretic Approach to Enterprise Network Dynamics : [electronic resource] /

by Bunke, Horst [author.] | Dickinson, Peter J [author.1] | Kraetzl, Miro [author.1] | Wallis, Walter D [author.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 226 p. 110 illus. online resource.Publisher: Boston, MA : Birkh�user Boston, 2007. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

18. The Safety of Systems : Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 / : [electronic resource] :

by Redmill, Felix [editor.] | Anderson, Tom [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 262 p. 61 illus. online resource.Publisher: London : Springer London, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

19. Guerrilla Capacity Planning : A Tactical Approach to Planning for Highly Scalable Applications and Services / : [electronic resource] :

by Gunther, Neil J [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XX, 253 p. 108 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

20. Test and Analysis of Web Services : [electronic resource] /

by Baresi, Luciano [editor.] | Nitto, Elisabetta Di [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 478 p. 140 illus. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha