Refine your search

Your search returned 570 results. Subscribe to this search

|
41. Computational Methods in Systems Biology (vol. # 3082) [Recurso electrónico] / International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers edited by Vincent Danos, Vincent Schachter. by Danos, Vincent. 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
42. Foundations of Software Science and Computational Structures (vol. # 3441) [Recurso electrónico] / 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edite by Sassone, Vladimiro. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

43. Compiler Construction (vol. # 3443) [Recurso electrónico] / 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 edited by Rastislav Bodik. by Bodik, Rastislav. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

44. Fundamental Approaches to Software Engineering (vol. # 3442) [Recurso electrónico] / 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April by Cerioli, Maura. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

45. High Performance Computing for Computational Science - VECPAR 2004 [Recurso electrónico] / 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers edited by Michel Daydé, Jack Dongarra, Vincente He by Daydé, Michel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

46. Programming Languages and Systems (vol. # 3444) [Recurso electrónico] / 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, by Sagiv, Mooly. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

47. Security in Pervasive Computing (vol. # 3450) [Recurso electrónico] / Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings edited by Dieter Hutter, Markus Ullmann. by Hutter, Dieter. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

48. ZB 2005: Formal Specification and Development in Z and B [Recurso electrónico] / 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings edited by Martin Henson, Steve King, Steve Schneider, Helen Treharne by Henson, Martin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

49. Operational Semantics for Timed Systems [Recurso electrónico] / A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems edited by Heinrich Rust. by Rust, Heinrich. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

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

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

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

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

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

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

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

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

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

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

Powered by Koha