Refine your search

Your search returned 721 results. Subscribe to this search

|
181. Unifying the Software Process Spectrum [Recurso electrónico] / International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005 Revised Selected Papers edited by Mingshu Li, Barry Boehm, Leon J. Osterweil. by Li, Mingshu. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Log in to add tags. Add to cart
182. SOFSEM 2006: Theory and Practice of Computer Science [Recurso electrónico] / 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings edited by JirÃ{u037F} WiedermannGerard by Wiedermann, JirÃ{u037F}. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

183. Satellite Events at the MoDELS 2005 Conference [Recurso electrónico] / MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers edit by Bruel, Jean-Michel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

184. Software Engineering Research and Applications [Recurso electrónico] / Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Revised Selected Papers edited by Walter Dosch, Roger Y. Lee, Chisu Wu. by Dosch, Walter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

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

186. Formal Concept Analysis (vol. # 3874) [Recurso electrónico] / 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings edited by Rokia Missaoui, JÃơrg Schmid. by Missaoui, Rokia. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

187. Hardware and Software, Verification and Testing [Recurso electrónico] / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal. by Ur, Shmuel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

188. Programming Multi-Agent Systems (vol. # 3862) [Recurso electrónico] / Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal by Bordini, Rafael H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

189. Independent Component Analysis and Blind Signal Separation [Recurso electrónico] / 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006, Proceedings edited by Justinian Rosca, Deniz Erdogmus, Jose C. Principe, Simon Ha by Rosca, Justinian. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

190. Architecture of Computing Systems - ARCS 2006 [Recurso electrónico] / 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings edited by Werner Grass, Bernhard Sick, Klaus Waldschmidt. by Grass, Werner. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

191. Defence Applications of Multi-Agent Systems [Recurso electrónico] / International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

192. Computer Supported Cooperative Work in Design II [Recurso electrónico] / 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers edited by Weiming ShenKuo-Ming Chao, Zongkai Lin, Jean-Paul A. BarthÃs̈ e by Shen, Weiming. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

193. Transactions on Aspect-Oriented Software Development I [Recurso electrónico] / edited by Awais Rashid, Mehmet Aksit. by Rashid, Awais. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

194. Foundations of Software Science and Computational Structures (vol. # 3921) [Recurso electrónico] / 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn by Aceto, Luca. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

195. Compiler Construction (vol. # 3923) [Recurso electrónico] / 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings] by Mycroft, Alan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

196. Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) [Recurso electrónico] / 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V by Hermanns, Holger. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

197. Fundamental Approaches to Software Engineering (vol. # 3922) [Recurso electrónico] / 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March by Baresi, Luciano. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

198. Programming Languages and Systems (vol. # 3924) [Recurso electrónico] / 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European edited by Peter Sestoft. by Sestoft, Peter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

199. Model Checking Software (vol. # 3925) [Recurso electrónico] / 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings edited by Antti Valmari. by Valmari, Antti. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

200. Declarative Agent Languages and Technologies III [Recurso electrónico] / Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Pao by Baldoni, Matteo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha