Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 6288 results. Subscribe to this search

|
4941. Active Knowledge Modeling of Enterprises : [electronic resource] /

by Lillehagen, Frank [author.] | Krogstie, John [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; 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).

4942. Semantic Grid: Model, Methodology, and Applications : [electronic resource] /

by Wu, Zhao-hui [author.] | Chen, Hua-jun [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 230 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).

4943. 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 Book; Format: electronic available online remote; 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).

4944. 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 Book; Format: electronic available online remote; 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).

4945. 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 Book; Format: electronic available online remote; 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).

4946. 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 Book; Format: electronic available online remote; 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).

4947. 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 Book; Format: electronic available online remote; 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).

4948. 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 Book; Format: electronic available online remote; 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).

4949. 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 Book; Format: electronic available online remote; 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).

4950. 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 Book; Format: electronic available online remote; 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).

4951. 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 Book; Format: electronic available online remote; 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).

4952. 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 Book; Format: electronic available online remote; 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).

4953. Issues in Multi-Agent Systems : The AgentCities.ES Experience / : [electronic resource] :

by Moreno, Antonio [editor.1 ] | Pav�n, Juan [editor.2 ].

Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 229 p. online resource.Basel : Birkh�user Basel, 2008. Availability: Items available for loan: (1).

4954. Agent Technology and e-Health : [electronic resource] /

by Annicchiarico, Roberta [editor.1 ] | Cort�s, Ulises [editor.1 ] | [editor.2 ].

Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: V, 150 p. online resource.Basel : Birkh�user Basel, 2008. Availability: Items available for loan: (1).

4955. 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 Book; Format: electronic available online remote; 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).

4956. Defence Industry Applications of Autonomous Agents and Multi-Agent Systems : [electronic resource] /

by Pěchouček, Michal [editor.] | Thompson, Simon G [editor.] | Voos, Holger [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 166 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).

4957. CASCOM: Intelligent Service Coordination in the Semantic Web : [electronic resource] /

by Schumacher, Michael [editor.1] | Schuldt, Helko [editor.1] | Helin, Helkki [editor.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XXVI, 362 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).

4958. Bidding Strategies in Agent-Based Continuous Double Auctions : [electronic resource] /

by Ma, Huiye [author.] | Leung, Ho-fung [author.2] | SpringerLink (Online service)0.

Source: Springer eBooks0Material type: book Book; Format: electronic available online remote; Literary form: not fiction Description: VII, 140 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).

4959. Emerging Web Services Technology, Volume II : [electronic resource] /

by Gschwind, Thomas [editor.] | Pautasso, Cesare [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XII, 188 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).

4960. UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization : [electronic resource] /

by Geerdes, Hans-Florian [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: X, 186 p. online resource.Publisher: Wiesbaden : Vieweg+Teubner, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Powered by Koha