Your search returned 216 results.

Sort
Results
Programming Languages and Systems (vol. # 3780) [Recurso electrónico] / Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings edited by Kwangkeun Yi.

by Yi, Kwangkeun | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3780Source: 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 and Networking [Recurso electrónico] : 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings / edited by Luciano Bononi, Ajoy K. Datta, Stéphane Devismes, Archan Misra.

by Bononi, Luciano | Datta, Ajoy K | Devismes, Stéphane | Misra, Archan.

Series: Lecture Notes in Computer Science ; 7129Material 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.

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.

Series: Lecture Notes in Computer Science ; 7248Material 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.

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.

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

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

Series: Lecture Notes in Computer Science ; 3267Source: 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.

Reliable Software Technologies -- Ada-Europe 2006 [Recurso electrónico] / 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings edited by LuÃ{u037F}s Miguel Pinho, Michael González H

by Pinho, LuÃ{u037F}s Miguel | González Harbour, Michael | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4006Source: 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.

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.

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

Wireless Sensor Networks [Recurso electrónico] / Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings edited by Kay RÃœmer, Holger Karl, Friedemann Mattern.

by RÃœmer, Kay | Karl, Holger | Mattern, Friedemann | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3868Source: 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.

Programming Languages and Systems [Recurso electrónico] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings / edited by Ranjit Jhala, Atsushi Igarashi.

by Jhala, Ranjit | Igarashi, Atsushi.

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

ECOOP 2006 - Object-Oriented Programming [Recurso electrónico] / 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings edited by Dave Thomas.

by Thomas, Dave | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4067Source: 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.

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 I / 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.

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

Fundamentals of Software Engineering [Recurso electrónico] : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani.

by Arbab, Farhad | Sirjani, Marjan.

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

Reliable Software Technologies - Ada Europe 2007 [Recurso electrónico] / 12th Ada-Europe Intenational Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings edited by Nabil Abdennahder, Fabrice Kordon

by Abdennahder, Nabil | Kordon, Fabrice | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4498Source: 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.

Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett.

by Kim, Tai-hoon | Fang, Wai-Chi | Lee, Changhoon | Arnett, Kirk P | SpringerLink (Online service).

Series: Communications in Computer and Information Science ; 30Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.

Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service).

Series: Communications in Computer and Information Science ; 17Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Texto completo Availability: No items available.

ECOOP 2007 - Object-Oriented Programming [Recurso electrónico] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings / edited by Erik Ernst.

by Ernst, Erik | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 4609Source: 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.

ECOOP 2005 - Object-Oriented Programming [Recurso electrónico] / 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings edited by Andrew Black.

by Black, Andrew | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 3586Source: 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.

Logic for Programming, Artificial Intelligence, and Reasoning [Recurso electrónico] : 18th International Conference, LPAR-18, M©â{uDCA9}da, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bj©ırner, Andrei Voronkov.

by Bj©ırner, Nikolaj | Voronkov, Andrei.

Series: Lecture Notes in Computer Science ; 7180Material 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.

Pages

Powered by Koha