Your search returned 31 results.

Sort
Results
Unifying Theories of Programming [Recurso electrónico] / First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers edited by Steve Dunne, Bill Stoddart.

by Dunne, Steve | Stoddart, Bill | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4010Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Coordination Models and Languages (vol. # 3454) [Recurso electrónico] / 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings edited by Jean-Marie Jacquet, Gian Pietro Picco.

by Jacquet, Jean-Marie | Picco, Gian Pietro | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3454Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

CONCUR 2006 - Concurrency Theory [Recurso electrónico] / 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 edited by Christel Baier, Holger Hermanns.

by Baier, Christel | Hermanns, Holger | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4137Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

CONCUR 2005 - Concurrency Theory [Recurso electrónico] / 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings edited by MartÃ{u037F}n Abadi, Luca de Alfaro.

by Abadi, MartÃ{u037F}n | de Alfaro, Luca | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3653Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

CONCUR 2007 - Concurrency Theory [Recurso electrónico] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by LuÃ{u037F}s Caires, Vasco T. Vasconcelos.

by Caires, LuÃ{u037F}s | Vasconcelos, Vasco T | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4703Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

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).

Series: Lecture Notes in Computer Science ; 3666Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Recent Advances in Parallel Virtual Machine and Message Passing Interface [Recurso electrónico] : 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings. Franck Cappello, Thomas Herault, Ja

by Cappello, Franck | Dongarra, Jack | Herault, Thomas | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4757Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192) [Recurso electrónico] / 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings edited by Bernd Mohr, Jesper Larsson

by Mohr, Bernd | Dongarra, Jack | Larsson TrÃÞff, Jesper | Worringen, Joachim | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4192Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Distributed Computing (vol. # 4167) [Recurso electrónico] / 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings edited by Shlomi Dolev.

by Dolev, Shlomi | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4167Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Distributed Computing (vol. # 3724) [Recurso electrónico] / 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings edited by Pierre Fraigniaud.

by Fraigniaud, Pierre | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3724Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Distributed Computing [Recurso electrónico] : 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007. Proceedings / edited by Andrzej Pelc.

by Pelc, Andrzej | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4731Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.

Coordination Models and Languages [Recurso electrónico] / 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Amy L. Murphy, Jan Vitek.

by Murphy, Amy L | Vitek, Jan | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4467Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.

Coordination Models and Languages (vol. # 4038) [Recurso electrónico] / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Paolo Ciancarini, Herbert Wiklicky.

by Ciancarini, Paolo | Wiklicky, Herbert | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4038Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

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).

Series: Lecture Notes in Computer Science ; 2481Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

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).

Series: Lecture Notes in Computer Science ; 3602Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Job Scheduling Strategies for Parallel Processing (vol. # 3277) [Recurso electrónico] / 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers edited by Dror Feitelson, Larry Rudolph, Uwe Schwiegels

by Feitelson, Dror | Rudolph, Larry | Schwiegelshohn, Uwe | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3277Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Applications of Evolutionary Computing (vol. # 3449) [Recurso electrónico] / Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC edited by JÃơrgen BrankeStefano Cagnoni, David W. Corne, Rolf Drechsler et al.

by Branke, JÃơrgen | Cagnoni, Stefano | Corne, David W | Drechsler, Rolf | Jin, Yaochu | Machado, Penousal | Marchiori, Elena | Romero, Juan | Rothlauf, Franz | Smith, George D | Squillero, Giovanni | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3449Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Reconfigurable Computing: Architectures, Tools and Applications [Recurso electrónico] : 8th International Symposium, ARC 2012, Hong Kong, China, March 19-23, 2012. Proceedings / edited by Oliver C. S. Choy, Ray C. C. Cheung, Peter Athanas, Kentaro Sano.

by Choy, Oliver C. S | Cheung, Ray C C | Athanas, Peter | Sano, Kentaro.

Series: Lecture Notes in Computer Science ; 7199Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.

Job Scheduling Strategies for Parallel Processing (vol. # 3834) [Recurso electrónico] / 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers edited by Dror Feitelson, Eitan Frachtenberg, Larry Ru

by Feitelson, Dror | Frachtenberg, Eitan | Rudolph, Larry | Schwiegelshohn, Uwe | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3834Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.

Applications of Evolutionary Computing (vol. # 3907) [Recurso electrónico] / EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings edited by Franz Roth

by Rothlauf, Franz | Branke, JÃơrgen | Cagnoni, Stefano | Costa, Ernesto | Cotta, Carlos | Drechsler, Rolf | Lutton, Evelyne | Machado, Penousal | Moore, Jason H | Romero, Juan | Smith, George D | Squillero, Giovanni | Takagi, Hideyuki | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3907Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.

Pages

Powered by Koha