Refine your search

Your search returned 721 results. Subscribe to this search

|
201. Hybrid Systems: Computation and Control (vol. # 3927) [Recurso electrónico] / 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings edited by Joao Hespanha, Ashish Tiwari. by Hespanha, Joao. 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
202. Relational Methods in Computer Science [Recurso electrónico] / 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin by MacCaull, Wendy. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

203. Engineering Self-Organising Systems (vol. # 3910) [Recurso electrónico] / Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers edited by Sven A. Brueckner, Giovanni Di Marzo Serugendo, Davi by Brueckner, Sven A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

204. Security in Pervasive Computing (vol. # 3934) [Recurso electrónico] / Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings edited by John A. Clark, Richard F. Paige, Fiona A.C. Polack, Phillip J. Brooke. by Clark, John A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

205. Software Engineering for Multi-Agent Systems IV [Recurso electrónico] / Research Issues and Practical Applications edited by Alessandro GarciaRicardo Choren, Carlos Lucena, Paolo Giorgini et al. by Garcia, Alessandro. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

206. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [Recurso electrónico] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers edited by Gilles Barthe, Benj by Barthe, Gilles. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

207. Advances in Grid and Pervasive Computing [Recurso electrónico] / First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings edited by Yeh-Ching Chung, José E. Moreira. by Chung, Yeh-Ching. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

208. Pervasive Computing (vol. # 3968) [Recurso electrónico] / 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006, Proceedings edited by Kenneth P. Fishkin, Bernt Schiele, Paddy Nixon, Aaron Quigley. by Fishkin, Kenneth P. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

209. Wired (vol. # 3970) [Recurso electrónico] / 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006, Proceedings edited by Thomas Braun, Georg Carle, Sonia Fahmy, Yevgeni Koucheryavy. by Braun, Thomas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

210. Computer Music Modeling and Retrieval (vol. # 3902) [Recurso electrónico] / Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, Revised Papers edited by Richard Kronland-Martinet, Thierry Voinier, SÃļvi Ystad. by Kronland-Martinet, Richard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

211. Rapid Integration of Software Engineering Techniques (vol. # 3943) [Recurso electrónico] / Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers edited by Nicolas Guelfi, Anthony Savi by Guelfi, Nicolas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

212. Computational Science and Its Applications - ICCSA 2006 (vol. # 3980) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan by Gavrilova, Marina. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

213. Computational Science and Its Applications - ICCSA 2006 (vol. # 3981) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan by Gavrilova, Marina. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

214. Computational Science and Its Applications - ICCSA 2006 (vol. # 3982) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Ta by Gavrilova, Marina. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

215. Computational Science and Its Applications - ICCSA 2006 (vol. # 3983) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan by Gavrilova, Marina. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

216. Computational Science and Its Applications - ICCSA 2006 (vol. # 3984) [Recurso electrónico] / International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V edited by Marina GavrilovaOsvaldo Gervasi, Vipin Kumar, C.J. Kenneth Tan by Gavrilova, Marina. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

217. Agent-Oriented Software Engineering VI [Recurso electrónico] / 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers edited by JÃœrg P. MÃơller, Franco Zambonelli. by MÃơller, JÃœrg P. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

218. Parallel Processing and Applied Mathematics [Recurso electrónico] / 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers edited by Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Wasni by Wyrzykowski, Roman. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

219. Interactive Systems. Design Specification, and Verification [Recurso electrónico] / 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers edited by Stephen W. Gilroy, Michael D. Harrison. by Gilroy, Stephen W. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

220. Testing of Communicating Systems (vol. # 3964) [Recurso electrónico] / 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings edited by M. Ãœmit Uyar, Ali Y. Duale, Mariusz A. Fecko. by Uyar, M. Ãœmit. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha