Results
|
|
|
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 | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3452Source: Springer e-booksMaterial type:  Computer file; Format:
electronic
available online
 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
|
|
Logic for Programming, Aritficial Intelligence, and Reasoning [Recurso electrónico] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings edited by Miki Hermann, Andrei Voronkov. by Hermann, Miki | Voronkov, Andrei | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4246Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
|
|
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [Recurso electrónico] / AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul by Boissier, Olivier | Dignum, Virginia | Lindemann, Gabriela | Matson, Eric | Ossowski, Sascha | Padget, Julian | Sichman, Jaime | Vázquez-Salceda, Javier | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3913Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
|
Advances in Grid and Pervasive Computing [Recurso electrónico] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois. by Li, Ruixuan | Cao, Jiannong | Bourgeois, Julien. Series: Lecture Notes in Computer Science ; 7296Material type:  Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
Software Composition [Recurso electrónico] : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book. by Gschwind, Thomas | Paoli, Flavio | Gruhn, Volker | Book, Matthias. Series: Lecture Notes in Computer Science ; 7306Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
Formal Techniques for Distributed Systems [Recurso electrónico] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings / edited by Holger Giese, Grigore Rosu. by Giese, Holger | Rosu, Grigore. Series: Lecture Notes in Computer Science ; 7273Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
Formal Aspects of Component Software [Recurso electrónico] : 7th International Workshop, FACS 2010, Guimar©Ä{u5CEC} Portugal, October 14-16, 2010, Revised Selected Papers / edited by Lu©Æs̄ Soares Barbosa, Markus Lumpe. by Barbosa, Lu©Æs̄ Soares | Lumpe, Markus. Series: Lecture Notes in Computer Science ; 6921Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
Compiler Construction [Recurso electrónico] : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 Ì{u1498}£ April 1, 2012. Proceedings / edited by Michael OÌ{u1498}©Boyle. by OÌ{u1498}©Boyle, Michael. Series: Lecture Notes in Computer Science ; 7210Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
Advances in Software Engineering Techniques [Recurso electrónico] : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers / edited by Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka. by Szmuc, Tomasz | Szpyrka, Marcin | Zendulka, Jaroslav. Series: Lecture Notes in Computer Science ; 7054Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 3535Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer Science+Business Media, Inc., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
Rewriting Logic and Its Applications [Recurso electrónico] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Franciso Durán. by Durán, Franciso. Series: Lecture Notes in Computer Science ; 7571Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
Generative Programming and Component Engineering [Recurso electrónico] / 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings edited by Robert GlÃơck, Michael Lowry. by GlÃơck, Robert | Lowry, Michael | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3676Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
|
OpenMP in a Heterogeneous World [Recurso electrónico] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara M. Chapman, Federico Massaioli, Matthias S. MÃ{uCB25}r, Marco Rorro. by Chapman, Barbara M | Massaioli, Federico | MÃ{uCB25}r, Matthias S | Rorro, Marco. Series: Lecture Notes in Computer Science ; 7312Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
Generative and Transformational Techniques in Software Engineering [Recurso electrónico] / International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers edited by Ralf LÃÞmmel, João Saraiva, Joost Visser. by LÃÞmmel, Ralf | Saraiva, João | Visser, Joost | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4143Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 4531Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 4468Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.
|
|
|
|
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). Series: Lecture Notes in Computer Science ; 3808Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|