|
|
181.
|
Engineering Societies in the Agents World VI [Recurso electrónico] / 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers edited by Oguz Dikenelli, Marie-Pierre Gleizes, Alessandro by Dikenelli, Oguz | Gleizes, Marie-Pierre | Ricci, Alessandro | SpringerLink (Online service). Source: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
 Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
|
182.
|
|
|
|
183.
|
Formal Methods for Open Object-Based Distributed Systems (vol. # 3535) [Recurso electrónico] / 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 | Zavattaro, Gianluigi | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005Online access: Texto completo Availability: No items available
|
|
|
184.
|
Extreme Programming and Agile Processes in Software Engineering (vol. # 3556) [Recurso electrónico] / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings edited by Hubert Baumeister, Mike Holcombe, Michele Marc by Baumeister, Hubert | Holcombe, Mike | Marchesi, Michele | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
|
185.
|
FM 2005: Formal Methods [Recurso electrónico] / International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John | Hayes, Ian J | Tarlecki, Andrzej | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
|
186.
|
Distributed Applications and Interoperable Systems [Recurso electrónico] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings edited by Jadwiga Indulska, Kerry Raymond. by Indulska, Jadwiga | Raymond, Kerry | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available
|
|
|
187.
|
Formal Methods for Open Object-Based Distributed Systems [Recurso electrónico] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M | Johnsen, Einar Broch | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available
|
|
|
188.
|
|
|
|
189.
|
Coordination, Organizations, Institutions, and Norms in Agent Systems II [Recurso electrónico] : AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. by Noriega, Pablo | Boella, Guido | Boissier, Olivier | Dignum, Virginia | Fornara, Nicoletta | Matson, Eric | Vázquez-Salceda, Javier | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available
|
|
|
190.
|
Large-Scale Scientific Computing [Recurso electrónico] / 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski. by Lirkov, Ivan | Margenov, Svetozar | Wasniewski, Jerzy | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
|
191.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [Recurso electrónico] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers edited by Gilles Barthe, Benj by Barthe, Gilles | Gregoire, Benjamin | Huisman, Marieke | Lanet, Jean-Luis | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
|
192.
|
Software Process Change [Recurso electrónico] / International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings edited by Qing Wang by Wang, Qing | Pfahl, Dietmar | Raffo, David M | Wernick, Paul | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
|
193.
|
Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) [Recurso electrónico] / 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo by Abrahamsson, Pekka | Marchesi, Michele | Succi, Giancarlo | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available
|
|
|
194.
|
|
|
|
195.
|
|
|
|
196.
|
Genetic Programming (vol. # 3447) [Recurso electrónico] / 8th European Conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, Proceedings edited by Pierre ColletMaarten Keijzer, Andrea Tettamanzi, Marco Tomassini et al. by Collet, Pierre | Keijzer, Maarten | Tettamanzi, Andrea | Tomassini, Marco | van Hemert, Jano | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
|
197.
|
Advances in Grid Computing - EGC 2005 [Recurso electrónico] / European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers edited by M. BubakA.G. Hoekstra, T. Priol, A. Reinefeld et al. by Bubak, M | Hoekstra, A.G | Priol, T | Reinefeld, A | Sloot, P.M.A | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
|
198.
|
|
|
|
199.
|
|
|
|
200.
|
Progress in Artificial Intelligence [Recurso electrónico] / 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings edited by Carlos Bento, Amilcar Cardoso, Gael Dias. by Bento, Carlos | Cardoso, Amilcar | Dias, Gael | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|