|
|
821.
|
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).
|
|
|
822.
|
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).
|
|
|
823.
|
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).
|
|
|
824.
|
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).
|
|
|
825.
|
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).
|
|
|
826.
|
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).
|
|
|
827.
|
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).
|
|
|
828.
|
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).
|
|
|
829.
|
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).
|
|
|
830.
|
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).
|
|
|
831.
|
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).
|
|
|
832.
|
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).
|
|
|
833.
|
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).
|
|
|
834.
|
Metrics for Process Models
: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness /
: [electronic resource] :
by Mendling, Jan [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XX, 194 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).
|
|
|
835.
|
Issues in Multi-Agent Systems
: The AgentCities.ES Experience /
: [electronic resource] :
by Moreno, Antonio [editor.1 ] | Pav�n, Juan [editor.2 ]. Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 229 p. online resource.Basel : Birkh�user Basel, 2008. Availability: Items available for loan: (1).
|
|
|
836.
|
Advanced Autonomic Networking and Communication
: [electronic resource] /
by Calisti, Monique [editor.1] | Meer, Sven van der [editor.1] | Strassner, John [editor.2] | SpringerLink (Online service)0. Source: Springer eBooks0Material type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 190 p. online resource.Publisher: Basel : Birkh�user Basel, 2008. Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
837.
|
Modelling and Applications in Mathematics Education
: The 14th ICMI Study /
: [electronic resource] :
by Blum, Werner [editor.] | Galbraith, Peter L [editor.] | Henn, Hans-Wolfgang [editor.] | Niss, Mogens [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XIV, 524 p. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
838.
|
Collective Beings
: [electronic resource] /
by Minati, Gianfranco [author.] | Pessa, Eliano [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XVI, 462 p. 26 illus. online resource.Publisher: Boston, MA : Springer US, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
839.
|
Space Exploration 2007
: [electronic resource] /
by Harvey, Brian [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: IX, 187 p. online resource.Publisher: New York, NY : Springer New York, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
|
840.
|
NASA’s Scientist-Astronauts
: [electronic resource] /
by Shayler, David J [author.] | Burgess, Colin [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Description: XLV, 543 p. online resource.Publisher: New York, NY : Praxis, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
