Refine your search

Your search returned 721 results. Subscribe to this search

|
141. Automated Technology for Verification and Analysis [Recurso electrónico] / Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings edited by Doron A. Peled, Yih-Kuen Tsay. by Peled, Doron A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
142. Distributed and Parallel Computing [Recurso electrónico] / 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings edited by Andrzej Goscinski, Michael by Goscinski, Andrzej. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

143. Conceptual Modeling - ER 2005 [Recurso electrónico] / 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings edited by Lois DelcambreChristian Kop, Heinrich C. Mayr, John Mylopoulos et al. by Delcambre, Lois. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

144. Computer Supported Cooperative Work in Design I [Recurso electrónico] / 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers edited by Jean-Paul A. BarthÃs̈, Tangqiu Li, Zongkai Lin, Weiming Shen. by BarthÃs̈, Jean-Paul A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

145. Computer and Information Sciences - ISCIS 2005 [Recurso electrónico] / 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings edited by Tunga GÃơngÃœr, Fikret GÃơrgen, Can Ãئzturan, Pinar Yolum. by GÃơngÃœr, Tunga. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

146. Advances in Biometric Person Authentication (vol. # 3781) [Recurso electrónico] / International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22 - 23, 2005, Proceedings edited by Gérard CholletStan Z. Li, Shar by Chollet, Gérard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

147. Dependable Computing [Recurso electrónico] / Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings edited by Aline Maria Santos Andrade, Flávio Morais de Assis Silva, Carlos Alberto Maziero, João Gabri by Andrade, Aline Maria Santos. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

148. Advanced Parallel Processing Technologies [Recurso electrónico] / 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings edited by Jiannong Cao, Wolfgang Nejdl, Ming Xu. by Cao, Jiannong. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

149. Advances in Informatics [Recurso electrónico] / 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings edited by Panayiotis Bozanis, Elias N. Houstis. by Bozanis, Panayiotis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

151. On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops [Recurso electrónico] / OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA. MIOS+INTEROP, ORM, PhDS, SeBGIS. SWWS. and WOSE 2005, Agia Napa, Cyprus, Oct by Herrero, Pilar. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

152. Parallel and Distributed Processing and Applications (vol. # 3758) [Recurso electrónico] / Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings edited by Jiannong CaoDaoxu Chen, Jack Dongarra, Minyi Guo et by Cao, Jiannong. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

153. Parallel and Distributed Processing and Applications - ISPA 2005 Workshops [Recurso electrónico] / ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings edited b by Chen, Guihai. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

154. Formal Methods and Software Engineering (vol. # 3785) [Recurso electrónico] / 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings edited by Richard Banach, Kung-Kiu Lau. by Banach, Richard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

155. Network and Parallel Computing [Recurso electrónico] / IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings edited by Wenbin Jiang, Hai Jin, Daniel Reed. by Jiang, Wenbin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

156. Self-Stabilizing Systems [Recurso electrónico] / 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 edited by Ted Herman, Sébastien Tixeuil. by Herman, Ted. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

157. Trustworthy Global Computing [Recurso electrónico] / International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers edited by Rocco De Nicola, Davide Sangiorgi. by De Nicola, Rocco. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

158. Model Driven Architecture - Foundations and Applications [Recurso electrónico] / First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings edited by Alan Hartman, David Kreische. by Hartman, Alan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

159. Software Process Improvement [Recurso electrónico] / 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005, Proceedings edited by Pekka Abrahamsson, Richard Messnarz, Ita Richardson. by Abrahamsson, Pekka. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

160. Middleware 2005 [Recurso electrónico] / ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings edited by Gustavo Alonso. by Alonso, Gustavo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha