|
|
161.
|
Euro-Par 2011: Parallel Processing Workshops [Recurso electrónico] : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29- September 2, 2011, Revised Selected Papers, Part II / edited by Michael Alexander, Pasqua D'Ambra, Adam Belloum, George Bosilca, Mario Cannataro, Marco Danelutto, Beniamino Martino, Michael Gerndt, Emmanuel Jeannot, Raymond Namyst, Jean Roman, Stephen L. Scott, Jesper Larsson Traff, Geoffroy Vallée, Josef Weidendorfer. by Alexander, Michael | D'Ambra, Pasqua | Belloum, Adam | Bosilca, George | Cannataro, Mario | Danelutto, Marco | Martino, Beniamino | Gerndt, Michael | Jeannot, Emmanuel | Namyst, Raymond | Roman, Jean | Scott, Stephen L | Traff, Jesper Larsson | Vallée, Geoffroy | Weidendorfer, Josef. Material type:  Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
162.
|
Tests and Proofs [Recurso electrónico] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Brucker, Achim D | Julliand, Jacques. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
163.
|
|
|
|
164.
|
Tests and Proofs [Recurso electrónico] : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings / edited by Achim D. Brucker, Jacques Julliand. by Brucker, Achim D | Julliand, Jacques. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
165.
|
Applications of Evolutionary Computation [Recurso electrónico] : EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spain, April 11-13, 2012, Proceedings / edited by Cecilia Chio, Alexandros Agapitos, Stefano Cagnoni, Carlos Cotta, Francisco Fernández Vega, Gianni A. Caro, Rolf Drechsler, Anikó Ekárt, Anna I. Esparcia-Alcázar, Muddassar Farooq, William B. Langdon, Juan J. Merelo-Guervás, Mike Preuss, Hendrik Richter, Sara Silva, Anabela SimÃoes, Giovanni Squillero, Ernesto Tarantino, Andrea G. B. Tettamanzi, Julian Togelius, Neil Urquhart, A. ¿خima Uyar, Georgios N. Yannakakis. by Chio, Cecilia | Agapitos, Alexandros | Cagnoni, Stefano | Cotta, Carlos | Vega, Francisco Fern©Å{uE925}z | Caro, Gianni A | Drechsler, Rolf | Ekárt, Anikó | Esparcia-Alcázar, Anna I | Farooq, Muddassar | Langdon, William B | Merelo-Guervás, Juan J | Preuss, Mike | Richter, Hendrik | Silva, Sara | SimÃoes, Anabela | Squillero, Giovanni | Tarantino, Ernesto | Tettamanzi, Andrea G B | Togelius, Julian | Urquhart, Neil | Uyar, A ¿خima | Yannakakis, Georgios N. Material type: Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
166.
|
Computer Architecture [Recurso electrónico] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers / edited by Ana Lucia Varbanescu, Anca Molnos, Rob Nieuwpoort. by Varbanescu, Ana Lucia | Molnos, Anca | Nieuwpoort, Rob. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
167.
|
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. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
168.
|
Practical Aspects of Declarative Languages [Recurso electrónico] : 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings / edited by Claudio Russo, Neng-Fa Zhou. by Russo, Claudio | Zhou, Neng-Fa. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
169.
|
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. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
170.
|
Programming Multi-Agent Systems [Recurso electrónico] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers / edited by Rem Collier, JÃ{u29E5}n Dix, Peter Novák by Collier, Rem | Dix, JÃ{u29E5}n | Novák, Peter. Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
|
171.
|
S-BPM ONE â€{u04E5}tting the Stage for Subject-Oriented Business Process Management [Recurso electrónico] : First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers / edited by Hagen Buchwald, Albert Fleischmann, Detlef Seese, Christian Stary. by Buchwald, Hagen | Fleischmann, Albert | Seese, Detlef | Stary, Christian | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Heidelberg, 2010Online access: Texto completo Availability: No items available
|
|
|
172.
|
Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Haeng-Kon Kim, Muhammad Khurram Khan, Akingbehin Kiumi, Wai-chi Fang, Dominik Å{uC119}zak. by Kim, Tai-hoon | Kim, Haeng-Kon | Khan, Muhammad Khurram | Kiumi, Akingbehin | Fang, Wai-chi | Å{uC119}zak, Dominik | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Texto completo Availability: No items available
|
|
|
173.
|
Leveraging Knowledge for Innovation in Collaborative Networks [Recurso electrónico] : 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009. Proceedings / edited by Luis M. Camarinha-Matos, Iraklis Paraskakis, Hamideh Afsarmanesh. by Camarinha-Matos, Luis M | Paraskakis, Iraklis | Afsarmanesh, Hamideh | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available
|
|
|
174.
|
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. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available
|
|
|
175.
|
Transactions on Aspect-Oriented Software Development IX [Recurso electrónico] / edited by Gary T. Leavens, Shigeru Chiba, Michael Haupt, Klaus Ostermann, Eric Wohlstadter. by Leavens, Gary T | Chiba, Shigeru | Haupt, Michael | Ostermann, Klaus | Wohlstadter, Eric. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available
|
|
|
176.
|
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 | Quaglia, Paola | 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
|
|
|
177.
|
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 | MÃơller, JÃœrg, P | Odell, James | 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
|
|
|
178.
|
Multiagent System Technologies [Recurso electrónico] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings / edited by Paolo Petta, JÃœrg P. MÃơller, Matthias Klusch, Michael Georgeff. by Petta, Paolo | Georgeff, Michael | Klusch, Matthias | MÃơller, JÃœrg P | 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
|
|
|
179.
|
Engineering Societies in the Agents World VII [Recurso electrónico] : 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers. Gregory M. P. O'Hare, Alessandro Ricci, Michael J. O'Gr by O'Hare, Gregory M. P | Dikenelli, Oguz | O'Grady, Michael J | Ricci, Alessandro | 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
|
|
|
180.
|
Genetic Programming (vol. # 3905) [Recurso electrónico] / 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings edited by Pierre ColletMarco Tomassini, Marc Ebner, Steven Gustafson et al. by Collet, Pierre | Ebner, Marc | Ekárt, Anikó | Gustafson, Steven | Tomassini, Marco | 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
|