|
641.
|
E-Business and Telecommunication Networks
: Third International Conference, ICETE 2006, Set�bal, Portugal, August 7-10, 2006. Selected Papers /
: [electronic resource] :
by Filipe, Joaquim [editor.1 ] | Obaidat, Mohammad S [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVII, 372 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
642.
|
Model-Driven Testing
: [electronic resource] /
by Baker, Paul [author.] | Dai, Zhen Ru [author.] | Grabowski, Jens [author.] | Haugen, Øystein [author.] | Schieferdecker, Ina [author.] | Williams, Clay [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 184 p. 94 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).
|
|
643.
|
The Art of Artificial Evolution
: A Handbook on Evolutionary Art and Music /
: [electronic resource] :
by Romero, Juan [editor.] | Machado, Penousal [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 459 p. 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).
|
|
644.
|
Decision Procedures
: An Algorithmic Point of View /
: [electronic resource] :
by Kroening, Daniel [author.] | Strichman, Ofer [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 306 p. 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).
|
|
645.
|
Logics of Specification Languages
: [electronic resource] /
by Bjørner, Dines [editor.] | Henson, Martin C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXII, 624 p. 69 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).
|
|
646.
|
Software Architecture
: [electronic resource] /
by Qin, Zheng [author.] | Zheng, Xiang [author.] | Xing, Jiankuan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 337 p. 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).
|
|
647.
|
Software Evolution
: [electronic resource] /
by Mens, Tom [author.] | Demeyer, Serge [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 347 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
648.
|
Web Component Development with Zope 3
: [electronic resource] /
by Weitershausen, Philipp von [author.] | SpringerLink (Online service). Edition: Third edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 564 p. 48 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).
|
|
649.
|
Unfoldings
: A Partial-Order Approach to Model Checking /
: [electronic resource] :
by Esparza, Javier [author.] | Heljanko, Keijo [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 172 p. 51 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).
|
|
650.
|
Enterprise Information Systems
: 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers /
: [electronic resource] :
by Manolopoulos, Yannis [editor.1] | Filipe, Joaquim [editor.1] | Constantopoulos, Panos [editor.1] | Cordeiro, Jos� [editor.2 ] | SpringerLink (Online service)0. Source: Springer eBooks08Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 466 p. online resource.Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
651.
|
Rationale-Based Software Engineering
: [electronic resource] /
by Burge, Janet E [author.] | Carroll, John M [author.1] | McCall, Raymond [author.1] | Mistrik, Ivan [author.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXXV, 316 p. 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).
|
|
652.
|
Ajax in Oracle JDeveloper
: [electronic resource] /
by Vohra, Deepak [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 224 p. 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).
|
|
653.
|
The Testing Network
: An Integral Approach to Test Activities in Large Software Projects /
: [electronic resource] :
by Henry, Pierre [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 438 p. 180 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).
|
|
654.
|
Enterprise Applications and Services in the Finance Industry
: 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers /
: [electronic resource] :
by Veit, Daniel J [editor.] | Kundisch, Dennis [editor.] | Weitzel, Tim [editor.] | Weinhardt, Christof [editor.] | Rabhi, Fethi A [editor.] | Rajola, Federico [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 191 p. 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).
|
|
655.
|
Semantic Service Provisioning
: [electronic resource] /
by Kuropka, Dominik [editor.] | Staab, Steffen [editor.] | Tröger, Peter [editor.] | Weske, Mathias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 226 p. 71 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).
|
|
656.
|
TestGoal
: Result-Driven Testing /
: [electronic resource] :
by De Grood, Derk-Jan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XXIV, 397 p. 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).
|
|
657.
|
Information Systems and e-Business Technologies
: 2nd International United Information Systems Conference UNISCON 2008 Klagenfurt, Austria, April 22–25, 2008 Proceedings /
: [electronic resource] :
by Kaschek, Roland [editor.] | Kop, Christian [editor.] | Steinberger, Claudia [editor.] | Fliedl, Günther [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 592 p. 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).
|
|
658.
|
Business Information Systems
: 11th International Conference, BIS 2008, Innsbruck, Austria, May 5-7, 2008. Proceedings /
: [electronic resource] :
by Abramowicz, Witold [editor.] | Fensel, Dieter [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 484 p. 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).
|
|
659.
|
Active Knowledge Modeling of Enterprises
: [electronic resource] /
by Lillehagen, Frank [author.] | Krogstie, John [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 436 p. 148 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).
|
|
660.
|
Transdisciplinary Digital Art. Sound, Vision and the New Screen
: Digital Art Weeks and Interactive Futures 2006/2007, Zurich, Switzerland and Victoria, BC, Canada. Selected Papers /
: [electronic resource] :
by Adams, Randy [editor.] | Gibson, Steve [editor.] | Arisona, Stefan Müller [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 501 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: Digital ArtWeeks and Interactive Futures 2006/2007 Zurich, Switzerland and Victoria, BC, Canada Selected Papers.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|