|
101.
|
Adapting Proofs-as-Programs
: The Curry-Howard Protocol /
: [electronic resource] :
by Poernomo, Iman Hafiz [author.] | Wirsing, Martin [author.] | Crossley, John Newsome [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 420 p. 54 illus. 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).
|
|
102.
|
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).
|
|
103.
|
Open Source Systems
: IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy /
: [electronic resource] :
by Damiani, Ernesto [editor.] | Fitzgerald, Brian [editor.] | Scacchi, Walt [editor.] | Scotto, Marco [editor.] | Succi, Giancarlo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 351 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).
|
|
104.
|
Advanced Software Engineering: Expanding the Frontiers of Software Technology
: IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile /
: [electronic resource] :
by Ochoa, Sergio F [editor.] | Roman, Gruia-Catalin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 170 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).
|
|
105.
|
Quality of Protection
: Security Measurements and Metrics /
: [electronic resource] :
by Gollmann, Dieter [editor.] | Massacci, Fabio [editor.] | Yautsiukhin, Artsiom [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 198 p. 20 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).
|
|
106.
|
Project E-Society: Building Bricks
: 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11–13, 2006, Turku, Finland /
: [electronic resource] :
by Suomi, Reima [editor.] | Cabral, Regis [editor.] | Hampe, J. Felix [editor.] | Heikkilä, Arto [editor.] | Järveläinen, Jonna [editor.] | Koskivaara, Eija [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 454 p. 88 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).
|
|
107.
|
Virtual, Distributed and Flexible Organisations
: Studies in Organisational Semiotics /
: [electronic resource] :
by Liu, Kecheng [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 312 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).
|
|
108.
|
Enterprise Information Systems V
: [electronic resource] /
by Camp, Olivier [editor.] | Filipe, Joaquim B. L [editor.] | Hammoudi, Slimane [editor.] | Piattini, Mario [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 332 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).
|
|
109.
|
Engineering Theories of Software Intensive Systems
: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004 /
: [electronic resource] :
by Broy, Manfred [editor.] | Grünbauer, Johannes [editor.] | Harel, David [editor.] | Hoare, Tony [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 404 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).
|
|
110.
|
Enterprise Service Oriented Architectures
: Concepts, Challenges, Recommendations /
: [electronic resource] :
by McGovern, James [author.] | Sims, Oliver [author.] | Jain, Ashish [author.] | Little, Mark [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXVI, 408 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
111.
|
Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
: [electronic resource] /
by Seffah, Ahmed [editor.] | Gulliksen, Jan [editor.] | Desmarais, Michel C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXX, 391 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).
|
|
112.
|
SAT 2005
: Satisfiability Research in the Year 2005 /
: [electronic resource] :
by Giunchiglia, Enrico [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: VII, 293 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2006.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
113.
|
Autonomy Oriented Computing
: From Problem Solving to Complex Systems Modeling /
: [electronic resource] :
by Liu, Jiming [author.] | Jin, Xiaolong [author.] | Tsui, Kwok Ching [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXII, 216 p. 57 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).
|
|
114.
|
Introduction to Programming with Fortran
: [electronic resource] /
by Chivers, Ian D [author.] | Sleightholme, Jane [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 592 p. 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).
|
|
115.
|
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).
|
|
116.
|
Constructing Correct Software
: [electronic resource] /
by Cooke, John [author.] | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXI, 509 p. 100 illus. 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).
|
|
117.
|
Validated Designs for Object-oriented Systems
: [electronic resource] /
by Fitzgerald, John [author.] | Larsen, Peter Gorm [author.] | Mukherjee, Paul [author.] | Plat, Nico [author.] | Verhoef, Marcel [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 404 p. 65 illus. 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).
|
|
118.
|
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
: [electronic resource] /
by Besnard, Denis [editor.] | Gacek, Cristina [editor.] | Jones, Cliff B [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 306 p. 50 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).
|
|
119.
|
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).
|
|
120.
|
Interoperability of Enterprise Software and Applications
: [electronic resource] /
by Konstantas, Dimitri [editor.] | Bourrières, Jean-Paul [editor.] | Léonard, Michel [editor.] | Boudjlida, Nacer [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 466 p. 162 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).
|