|
|
1.
|
Event-Triggered and Time-Triggered Control Paradigms
: [electronic resource] /
by Obermaisser, Roman [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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; Format:
electronic
available online
; 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).
|
