Refine your search

Your search returned 218 results. Subscribe to this search

|
41. Model Driven Architecture [Recurso electrónico] / European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and LinkÃœping, Sweden, June 10-11, 2004, Revised Selected Papers edi by Aksit, Mehmet. 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. Theorem Proving in Higher Order Logics [Recurso electrónico] / 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings edited by Joe Hurd, Tom Melham. by Hurd, Joe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

43. Cryptographic Hardware and Embedded Systems - CHES 2005 [Recurso electrónico] / 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings edited by Josyula R. Rao, Berk Sunar. by Rao, Josyula R. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

44. Static Analysis (vol. # 3672) [Recurso electrónico] / 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings edited by Chris Hankin, Igor Siveroni. by Hankin, Chris. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

45. Algebra and Coalgebra in Computer Science [Recurso electrónico] / First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings edited by José Luis Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten. by Fiadeiro, José Luis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

46. Formal Techniques for Computer Systems and Business Processes [Recurso electrónico] / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September by Bravetti, Mario. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

47. Software Composition (vol. # 3628) [Recurso electrónico] / 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers edited by Uwe Assmann, Thomas Gschwind, Oscar Nierstrasz. by Assmann, Uwe. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

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

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

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

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

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

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

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

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

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

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

59. Integrated Formal Methods [Recurso electrónico] / 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings edited by Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol. by Romijn, Judi M.T. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

60. Component Deployment [Recurso electrónico] / Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings edited by Alan Dearle, Susan Eisenbach. by Dearle, Alan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha