Refine your search

Your search returned 1661 results. Subscribe to this search

|
121. Information Security Practice and Experience (vol. # 3439) [Recurso electrónico] / First International Conference, ISPEC 2005, Singapore, April 11-14, 2005, Proceedings edited by Feng Bao, Robert H. Deng, HweeHwa Pang, Jianying Zhou. by Bao, Feng. 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. Typed Lambda Calculi and Applications [Recurso electrónico] / 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn. by Urzyczyn, Pawel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

123. Term Rewriting and Applications (vol. # 3467) [Recurso electrónico] / 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings edited by JÃơrgen Giesl. by Giesl, JÃơrgen. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

124. Coordination Models and Languages (vol. # 3454) [Recurso electrónico] / 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings edited by Jean-Marie Jacquet, Gian Pietro Picco. by Jacquet, Jean-Marie. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

125. Formal Methods for Mobile Computing [Recurso electrónico] / 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures edit by Bernardo, Marco. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

126. Dependable Computing - EDCC 2005 [Recurso electrónico] / 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings edited by Mario Dal Cin, Mohamed KaÃØniche, András Pataricza. by Dal Cin, Mario. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

127. Logical Aspects of Computational Linguistics [Recurso electrónico] / 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings edited by Philippe Blache, Joan Busquets, Richard Moot, Edward Stabler. by Blache, Philippe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

128. NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [Recurso electrónico] / 4th International IFIP-TC6 Networking Conference, Waterl by Almeroth, Kevin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

129. Scientific Applications of Grid Computing [Recurso electrónico] / First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers edited by Pilar Herrero, Maria S. Pérez, Victor Robles. by Herrero, Pilar. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

130. Rapid Integration of Software Engineering Techniques (vol. # 3475) [Recurso electrónico] / First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers edited by Nicolas Guelfi. by Guelfi, Nicolas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

131. Communicating Sequential Processes. The First 25 Years [Recurso electrónico] / Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders. by Abdallah, Ali E. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

132. Computational Science and Its Applications - ICCSA 2005 (vol. # 3480) [Recurso electrónico] / International Conference, Singapore, May 9-12, 2005, Proceedings, Part I edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá e by Gavrilova, Marina L. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

133. Computational Science and Its Applications - ICCSA 2005 Part II [Recurso electrónico] / International Conference, Singapore, May 9-12, 2005, Proceedings, Part II edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá et a by Gavrilova, Marina L. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

134. Computational Science and Its Applications - ICCSA 2005 (vol. # 3482) [Recurso electrónico] / International Conference, Singapore, May 9-12. 2005, Proceedings, Part III edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá by Gavrilova, Marina L. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

135. Computational Science and Its Applications - ICCSA 2005 (vol. # 3483) [Recurso electrónico] / International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV edited by Marina L. GavrilovaOsvaldo Gervasi, Vipin Kumar, Antonio Laganá by Gavrilova, Marina L. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

136. Advances in Artificial Intelligence (vol. # 3501) [Recurso electrónico] / 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005, Proceedings edited by Balázs Kégl by Kégl, Balázs. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

137. Research in Computational Molecular Biology (vol. # 3500) [Recurso electrónico] / 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings edited by Sorin IstrailSimon Kasif, Jill Mesirov, Satoru Miya by Istrail, Sorin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

138. Component-Based Software Engineering (vol. # 3489) [Recurso electrónico] / 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 edited by Ivica CrnkovicGeorge Heineman, Heinz W. Schmidt, Judith A. Stafford et al. by Crnkovic, Ivica. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

139. Foundations of Intelligent Systems (vol. # 3488) [Recurso electrónico] / 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings edited by Mohand-Said Hacid, Zbigniew W. Ras, Shusaku Tsumoto. by Hacid, Mohand-Said. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

140. Location- and Context-Awareness (vol. # 3479) [Recurso electrónico] / First International Workshop, LoCA 2005, Oberpfaffenhofen, Germany, May 12-13, 2005, Proceedings edited by Claudia Linnhoff-Popien, Thomas Strang. by Linnhoff-Popien, Claudia. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha