Refine your search

Your search returned 589 results. Subscribe to this search

|
121. High Performance Computing and Communications (vol. # 3726) [Recurso electrónico] / First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings edited by Beniamino Di Martino, Jack Dongarra, Omer F. Rana, L by Di Martino, Beniamino. 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
122. Quality of Software Architectures and Software Quality [Recurso electrónico] / First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, German by Becker, Steffen. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

123. Multi-Agent Systems and Applications IV [Recurso electrónico] / 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings edited by Michal Pechoucek, P by Pechoucek, Michal. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

124. Frontiers of Combining Systems [Recurso electrónico] / 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings edited by Bernhard Gramlich. by Gramlich, Bernhard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

125. Peer-to-Peer Systems IV [Recurso electrónico] / 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers edited by Miguel Castro, Robbert van Renesse. by Castro, Miguel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

126. Service Availability (vol. # 3694) [Recurso electrónico] / Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers edited by Miroslaw Malek, Edgar Nett, Neeraj Suri. by Malek, Miroslaw. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

127. Correct Hardware Design and Verification Methods [Recurso electrónico] / 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, SaarbrÃơcken, Germany, October 3-6, 2005, Proceedings edited by Dominique Borrione, Wolfgang Paul. by Borrione, Dominique. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

128. Formal Methods for Components and Objects (vol. # 3657) [Recurso electrónico] / Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures edited by Marcello M. Bonsangue, Frank S. de Boer, Willem- by Bonsangue, Marcello M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

129. Ad-Hoc, Mobile, and Wireless Networks (vol. # 3738) [Recurso electrónico] / 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings edited by Edgar Chávez, Violet R. Syrotiuk. by Chávez, Edgar. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

130. Generative Programming and Component Engineering [Recurso electrónico] / 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings edited by Robert GlÃơck, Michael Lowry. by GlÃơck, Robert. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

131. Formal Techniques for Networked and Distributed Systems - FORTE 2005 [Recurso electrónico] / 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings edited by Farn Wang. by Wang, Farn. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

132. Peer-to-Peer Systems and Applications [Recurso electrónico] / edited by Ralf Steinmetz, Klaus Wehrle. by Steinmetz, Ralf. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

133. Computer Safety, Reliability, and Security (vol. # 3688) [Recurso electrónico] / 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings edited by Gustav Dahll, Bjoern Axel Gran, Rune Winther. by Dahll, Gustav. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

134. 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:

135. 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:

136. 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:

137. 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:

138. 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:

139. 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:

140. 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:

Powered by Koha