|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
Advanced Functional Programming [Recurso electrónico] / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures edited by Tarmo Uustalu, Varmo Vene. by Uustalu, Tarmo | Vene, Varmo | 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
|
|
6.
|
Declarative Programming for Knowledge Management [Recurso electrónico] / 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers by Umeda, Masanobu | Bartenstein, Oskar | Geske, Ulrich | Seipel, Dietmar | Takata, Osamu | Wolf, Armin | 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
|
|
7.
|
Software Process Improvement [Recurso electrónico] : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Kari Smolander, Richard Messnarz. by Oâ€{u3BEE}nor, Rory V | Baddoo, Nathan | Smolander, Kari | Messnarz, Richard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Texto completo Availability: No items available
|
|
8.
|
Implementation and Application of Functional Languages [Recurso electrónico] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Zoltán Horváth, Viktória Zsók, Andrew Butterfield. by Horváth, Zoltán | Butterfield, Andrew | Zsók, Viktória | 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
|
|
9.
|
|
|
10.
|
Logics in Artificial Intelligence [Recurso electrónico] / 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings edited by Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa. by Fisher, Michael | Konev, Boris | Lisitsa, Alexei | van der Hoek, Wiebe | 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
|
|
11.
|
Implementation and Application of Functional Languages (vol. # 3474) [Recurso electrónico] / 16th International Workshop, IFL 2004, LÃơbeck, Germany, September 8-10, 2004, Revised Selected Papers edited by Clemens Grelck, Frank Huch, Greg Mich by Grelck, Clemens | Huch, Frank | Michaelson, Greg | Trinder, Phil | 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
|
|
12.
|
Implementation and Application of Functional Languages (vol. # 4015) [Recurso electrónico] / 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers edited by Andrew Butterfield, Clemens Grelck, by Butterfield, Andrew | Grelck, Clemens | Huch, Frank | 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
|
|
13.
|
Languages and Compilers for Parallel Computing (vol. # 2481) [Recurso electrónico] / 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers edited by Bill Pugh, Chau-Wen Tseng. by Pugh, Bill | Tseng, Chau-Wen | 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
|
|
14.
|
|
|
15.
|
Logic Programming and Nonmonotonic Reasoning [Recurso electrónico] / 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings edited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina. by Baral, Chitta | Greco, Gianluigi | Leone, Nicola | Terracina, Giorgio | 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
|
|
16.
|
Languages and Compilers for High Performance Computing [Recurso electrónico] / 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers edited by Rudolf Eigenmann, Zhiyuan Li, Samuel P. M by Eigenmann, Rudolf | Li, Zhiyuan | Midkiff, Samuel P | 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
|
|
17.
|
Multiagent System Technologies (vol. # 3550) [Recurso electrónico] / Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings edited by Torsten EymannMichael N. Huhns, Franziska KlÃơgl, Matthias Klusch et al. by Eymann, Torsten | Huhns, Michael N | KlÃơgl, Franziska | Klusch, Matthias | Lamersdorf, Winfried | 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
|
|
18.
|
|
|
19.
|
Software Engineering for Multi-Agent Systems V [Recurso electrónico] : Research Issues and Practical Applications / edited by Ricardo Choren, Alessandro Garcia, Holger Giese, Ho-fung Leung, Carlos Lucena, Alexander Romanovsky. by Choren, Ricardo | Garcia, Alessandro | Giese, Holger | Leung, Ho-fung | Lucena, Carlos | Romanovsky, Alexander | 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
|
|
20.
|
|