|
|
1.
|
Object-Oriented Technology. ECOOP 2004 Workshop Reader
[Recurso electrónico] /
ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
edited by Jacques Malenfant, Bjarte M. Ãs̃tvold.
by Malenfant, Jacques.
 Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
2.
|
Global Computing
[Recurso electrónico] /
IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers
edited by Corrado Priami, Paola Quaglia.
by Priami, Corrado.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
3.
|
Inconsistency Tolerance
[Recurso electrónico] /
edited by Leopoldo Bertossi, Anthony Hunter, Torsten Schaub.
by Bertossi, Leopoldo.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
4.
|
Agent-Oriented Software Engineering V
[Recurso electrónico] /
5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers
edited by Paolo Giorgini, JÃœrg, P. MÃơller, James Odell.
by Giorgini, Paolo.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
5.
|
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)
[Recurso electrónico] /
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
edited by Gilles BartheLilian
by Barthe, Gilles.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
6.
|
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)
[Recurso electrónico] /
6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
edited by Radhia Cousot.
by Cousot, Radhia.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
7.
|
Practical Aspects of Declarative Languages (vol. # 3350)
[Recurso electrónico] /
7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
edited by Daniel Cabeza, Manuel Hermenegildo.
by Cabeza, Daniel.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
8.
|
Programming Multi-Agent Systems (vol. # 3346)
[Recurso electrónico] /
Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers
edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal El
by Bordini, Rafael H.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
9.
|
Formal Methods in Software and Systems Modeling
[Recurso electrónico] /
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
edited by Hans-JÃœrg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al.
by Kreowski, Hans-JÃœrg.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
10.
|
Agent Communication
[Recurso electrónico] /
International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004
edited by Frank Dignum, Marc-Philippe Huget, Rogier M. van Eijk.
by Dignum, Frank.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
11.
|
Multiparadigm Programming in Mozart
[Recurso electrónico] /
Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
edited by Peter Van Roy.
by Van Roy, Peter.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
12.
|
Hybrid Systems: Computation and Control (vol. # 3414)
[Recurso electrónico] /
8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
edited by Manfred Morari, Francesca Rossi, Lothar Thiele.
by Morari, Manfred.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
13.
|
Formal Approaches to Software Testing (vol. # 3395)
[Recurso electrónico] /
4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
edited by Jens Grabowski, Brian Nielsen.
by Grabowski, Jens.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
14.
|
Recent Advances in Constraints (vol. # 3419)
[Recurso electrónico] /
Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and
by Fages, FranÃ{u00A7}ois.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
15.
|
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
[Recurso electrónico] /
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
edited by Franz Baader, Andrei Voronkov.
by Baader, Franz.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
16.
|
Adaptive Agents and Multi-Agent Systems II
[Recurso electrónico] /
Adaptation and Multi-Agent Learning
edited by Eduardo Alonso, Dimitar Kazakov, Daniel Kudenko.
by Alonso, Eduardo.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
17.
|
Machines, Computations, and Universality
[Recurso electrónico] /
4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
edited by Maurice Margenstern.
by Margenstern, Maurice.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
18.
|
Theoretical Aspects of Computing - ICTAC 2004
[Recurso electrónico] /
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
edited by Keijiro Araki, Zhiming Liu.
by Araki, Keijiro.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
19.
|
Recent Trends in Algebraic Development Techniques
[Recurso electrónico] /
17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
edited by José Luiz Fiadeiro, Peter Mosses, Fernando Orejas.
by Fiadeiro, José Luiz.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
|
|
20.
|
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440)
[Recurso electrónico] /
11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Ed
by Halbwachs, Nicolas.
Archivo de ordenador; Format: electrónico
Publication:
Berlin Heidelberg :
Springer-Verlag GmbH.,
2005
Availability:
No items available:
|
