|
|
9121.
|
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).
|
|
|
9122.
|
Countering Counterfeit Trade
: Illicit Market Insights, Best-Practice Strategies, and Management Toolbox /
: [electronic resource] :
by Staake, Thorsten [author.] | Fleisch, Elgar [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVIII, 232 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).
|
|
|
9123.
|
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).
|
|
|
9124.
|
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).
|
|
|
9125.
|
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).
|
|
|
9126.
|
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).
|
|
|
9127.
|
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).
|
|
|
9128.
|
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).
|
|
|
9129.
|
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).
|
|
|
9130.
|
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).
|
|
|
9131.
|
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).
|
|
|
9132.
|
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).
|
|
|
9133.
|
Constructing Ambient Intelligence
: AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers /
: [electronic resource] :
by Mühlhäuser, Max [editor.] | Ferscha, Alois [editor.] | Aitenbichler, Erwin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XI, 470 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).
|
|
|
9134.
|
Software Process Improvement
: 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings /
: [electronic resource] :
by O’Connor, Rory V [editor.] | Baddoo, Nathan [editor.] | Smolander, Kari [editor.] | Messnarz, Richard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 213 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).
|
|
|
9135.
|
Modelling, Computation and Optimization in Information Systems and Management Sciences
: Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings /
: [electronic resource] :
by Le Thi, Hoai An [editor.] | Bouvry, Pascal [editor.] | Pham Dinh, Tao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 618 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).
|
|
|
9136.
|
Leveraging Applications of Formal Methods, Verification and Validation
: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /
: [electronic resource] :
by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 869 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).
|
|
|
9137.
|
Systems and Virtualization Management. Standards and New Technologies
: Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings /
: [electronic resource] :
by Boursas, Latifa [editor.] | Carlson, Mark [editor.] | Hommel, Wolfgang [editor.] | Sibilla, Michelle [editor.] | Wold, Kes [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 135 p. online resource.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.Other title: Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008. Proceedings.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
9138.
|
Enterprise Information Systems
: 9th International Conference, ICEIS 2007, Funchal, Madeira, June 12-16, 2007, Revised Selected Papers /
: [electronic resource] :
by Filipe, Joaquim [editor.] | Cordeiro, José [editor.] | Cardoso, Jorge [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XV, 379 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).
|
|
|
9139.
|
Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis
: AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers /
: [electronic resource] :
by Collins, John [editor.] | Faratin, Peyman [editor.] | Parsons, Simon [editor.] | Rodriguez-Aguilar, Juan A [editor.] | Sadeh, Norman M [editor.] | Shehory, Onn [editor.] | Sklar, Elizabeth [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XII, 241 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).
|
|
|
9140.
|
The Practice of Enterprise Modeling
: First IFIP WG 8.1 Working Conference, PoEM 2008, Stockholm, Sweden, November 12-13, 2008. Proceedings /
: [electronic resource] :
by Stirna, Janis [editor.] | Persson, Anne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: X, 231 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).
|
