|
1.
|
|
|
2.
|
|
|
3.
|
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
|
|
4.
|
|
|
5.
|
|
|
6.
|
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
|
|
7.
|
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
|
|
8.
|
|
|
9.
|
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
|
|
10.
|
|
|
11.
|
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
|
|
12.
|
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
|
|
13.
|
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
|
|
14.
|
|
|
15.
|
Component-Based Software Engineering [Recurso electrónico] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Schmidt, Heinz W | Crnkovic, Ivica | Heineman, George T | Stafford, Judith A | 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
|
|
16.
|
Model Checking and Artificial Intelligence [Recurso electrónico] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers / edited by Stefan Edelkamp, Alessio Lomuscio. by Edelkamp, Stefan | Lomuscio, Alessio | 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
|
|
17.
|
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 | Hermenegildo, Manuel | 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.
|
Constraint Solving and Language Processing [Recurso electrónico] / First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers edited by Henning Christiansen, Peter Rossen Skadhauge, JÃ ̧ by Christiansen, Henning | Skadhauge, Peter Rossen | Villadsen, JÃŗgen | 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
|
|
20.
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666) [Recurso electrónico] / 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings edited by Beniamino Di Martino, Ja by Di Martino, Beniamino | Dongarra, Jack | KranzlmÃơller, Dieter | 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
|