Your search returned 3610 results. Subscribe to this search

Not what you expected? Check for suggestions
|
161. Agent-Oriented Software Engineering V [electronic resource] : 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers / edited by James Odell, Paolo Giorgini, Jörg P. Müller.

by Odell, James [editor.] | Giorgini, Paolo [editor.] | Müller, Jörg P [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

Place hold Log in to add tags. Add to cart
162. Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings / edited by Radhia Cousot.

by Cousot, Radhia [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

163. Information Networking. Convergence in Broadband and Mobile Networking [electronic resource] : International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings / edited by Cheeha Kim.

by Kim, Cheeha [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

164. COTS-Based Software Systems [electronic resource] : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings / edited by Xavier Franch, Daniel Port.

by Franch, Xavier [editor.] | Port, Daniel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

165. Inconsistency Tolerance [electronic resource] / edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub.

by Bertossi, Leopoldo [editor.] | Hunter, Anthony [editor.] | Schaub, Torsten [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

166. Formal Approaches to Agent-Based Systems [electronic resource] : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / edited by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff.

by Hinchey, Michael G [editor.] | Rash, James L [editor.] | Truszkowski, Walter F [editor.] | Rouff, Christopher A [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

167. Differential Evolution [electronic resource] : A Practical Approach to Global Optimization / by Kenneth V. Price, Rainer M. Storn, Jouni A. Lampinen.

by Price, Kenneth V [author.] | Storn, Rainer M [author.] | Lampinen, Jouni A [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

168. Trustworthy Global Computing [electronic resource] : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / edited by Rocco De Nicola, Davide Sangiorgi.

by Nicola, Rocco De [editor.] | Sangiorgi, Davide [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

169. Web Engineering [electronic resource] : 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings / edited by David Lowe, Martin Gaedke.

by Lowe, David [editor.] | Gaedke, Martin [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

170. Extreme Programming and Agile Processes in Software Engineering [electronic resource] : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings / edited by Hubert Baumeister, Michele Marchesi, Mike Holcombe.

by Baumeister, Hubert [editor.] | Marchesi, Michele [editor.] | Holcombe, Mike [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

171. SDL 2005: Model Driven [electronic resource] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings / edited by Andreas Prinz, Rick Reed, Jeanne Reed.

by Prinz, Andreas [editor.] | Reed, Rick [editor.] | Reed, Jeanne [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

172. The Semantic Web: Research and Applications [electronic resource] : Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings / edited by Asunción Gómez-Pérez, Jérôme Euzenat.

by Gómez-Pérez, Asunción [editor.] | Euzenat, Jérôme [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

173. Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Martin Steffen, Gianluigi Zavattaro.

by Steffen, Martin [editor.] | Zavattaro, Gianluigi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

174. Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau.

by Ciardo, Gianfranco [editor.] | Darondeau, Philippe [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

175. Distributed Applications and Interoperable Systems [electronic resource] : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings / edited by Lea Kutvonen, Nancy Alonistioti.

by Kutvonen, Lea [editor.] | Alonistioti, Nancy [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

176. Principles of Distributed Systems [electronic resource] : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / edited by Teruo Higashino.

by Higashino, Teruo [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

177. Component-Based Software Development for Embedded Systems [electronic resource] : An Overview of Current Research Trends / edited by Colin Atkinson, Christian Bunse, Hans-Gerhard Gross, Christian Peper.

by Atkinson, Colin [editor.] | Bunse, Christian [editor.] | Gross, Hans-Gerhard [editor.] | Peper, Christian [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

178. Formal Modeling and Analysis of Timed Systems [electronic resource] : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings / edited by Paul Pettersson, Wang Yi.

by Pettersson, Paul [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

179. Product Focused Software Process Improvement [electronic resource] : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings / edited by Frank Bomarius, Seija Komi-Sirviö.

by Bomarius, Frank [editor.] | Komi-Sirviö, Seija [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

180. Architecting Dependable Systems III [electronic resource] / edited by Rog�rio de Lemos, Cristina Gacek, Alexander Romanovsky.

by Lemos, Rog�rio de [editor.] | Gacek, Cristina [editor.] | Romanovsky, Alexander [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Bangalore University Library (1).

Copyright © 2019 Bangalore University, Bangalore. All Rights Reserved.
You are Visitor No.
Web Counter

Powered by Koha