Refine your search

Your search returned 131 results. Subscribe to this search

|
101. Open Source Ecosystems: Diverse Communities Interacting [Recurso electrónico] : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, SkÃœvde, Sweden, June 3-6, 2009. Proceedings / edited by Cornelia Boldyreff, Kevin Crowston, BjÃœrn Lundell, Anthony I. Wasserman. by Boldyreff, Cornelia. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Availability: No items available:

Log in to add tags. Add to cart
102. Systems, Software and Services Process Improvement [Recurso electrónico] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings / edited by Andreas Riel, Rory Oâ€{u3BEE}nor, Serge Tichkiewitch, Richard Messnarz. by Riel, Andreas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010 Availability: No items available:

103. Software Process Improvement [Recurso electrónico] : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. Oâ€{u3BEE}nor, Nathan Baddoo, Kari Smolander, Richard Messnarz. by Oâ€{u3BEE}nor, Rory V. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 Availability: No items available:

104. Testbeds and Research Infrastructures. Development of Networks and Communities [Recurso electrónico] : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers / edited by Thomas Magedanz, Anastasius Gavras, Nguyen Huu Thanh, Jeffry S. Chase. by Magedanz, Thomas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 Availability: No items available:

105. 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. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009 Availability: No items available:

106. Testbeds and Research Infrastructure. Development of Networks and Communities [Recurso electrónico] : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers / edited by Thanasis Korakis, Hongbin Li, Phuoc Tran-Gia, Hong-Shik Park. by Korakis, Thanasis. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

107. 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. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

108. Empirical Software Engineering and Verification [Recurso electrónico] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio. by Meyer, Bertrand. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

109. 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. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

110. 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. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

111. 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. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

112. Verified Software: Theories, Tools, Experiments [Recurso electrónico] : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings / edited by Rajeev Joshi, Peter MÃ{uCB25}r, Andreas Podelski. by Joshi, Rajeev. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

113. Verification, Model Checking, and Abstract Interpretation [Recurso electrónico] : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings / edited by Viktor Kuncak, Andrey Rybalchenko. by Kuncak, Viktor. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

114. Wireless Sensor Networks [Recurso electrónico] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings / edited by Gian Pietro Picco, Wendi Heinzelman. by Picco, Gian Pietro. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

115. 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. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

116. Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [Recurso electrónico] : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings / edited by Jens B. Schmitt. by Schmitt, Jens B. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

117. 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 Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

118. 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. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

119. Tools and Algorithms for the Construction and Analysis of Systems [Recurso electrónico] : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24226}0ÑØ̕£ April 1, 2012. Proceedings / edited by Cormac Flanagan, Barbara KÃœnig. by Flanagan, Cormac. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

120. Programming Languages and Systems [Recurso electrónico] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings / edited by Helmut Seidl. by Seidl, Helmut. Material type Libro; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Availability: No items available:

Powered by Koha