Refine your search

Your search returned 218 results. Subscribe to this search

|
81. Formal Methods for Hardware Verification [Recurso electrónico] / 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures edited by Bernardo, Marco. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Log in to add tags. Add to cart
82. Formal Approaches to Software Testing (vol. # 3997) [Recurso electrónico] / 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers edited by Wolfgang Grieskamp, Carsten Weise. by Grieskamp, Wolfgang. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

83. Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [Recurso electrónico] / 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Roberto Gorrieri, Heike Wehrheim. by Gorrieri, Roberto. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

84. Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) [Recurso electrónico] / 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings edited by Pekka Abrahamsson, Michele Marchesi, Giancarlo by Abrahamsson, Pekka. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

85. Distributed Applications and Interoperable Systems (vol. # 4025) [Recurso electrónico] / 6th IFIP WG 6.1 International Conference, DAIS 2006, Athens, Greece, June 14-16, 2006 edited by Frank Eliassen, Alberto Montresor. by Eliassen, Frank. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

86. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [Recurso electrónico] / AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Mul by Boissier, Olivier. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

87. Formal Methods and Stochastic Models for Performance Evaluation [Recurso electrónico] / Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings edited by András Horváth, Miklós Telek. by Horváth, András. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

88. Component-Based Software Engineering (vol. # 4063) [Recurso electrónico] / 9th International Symposium, CBSE 2006, VÃÞsteras, Sweden, June 29 - July 1, 2006, Proceedings edited by Ian GortonGeorge T. Heinemann, Ivica Crnkovic, Heinz W. Schmidt by Gorton, Ian. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

89. Mathematics of Program Construction [Recurso electrónico] / 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings edited by Tarmo Uustalu. by Uustalu, Tarmo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

90. Algebraic Methodology and Software Technology [Recurso electrónico] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings edited by Michael Johnson, Varmo Vene. by Johnson, Michael. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

91. ECOOP 2006 - Object-Oriented Programming [Recurso electrónico] / 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings edited by Dave Thomas. by Thomas, Dave. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

92. Architecting Systems with Trustworthy Components [Recurso electrónico] / International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski. by Reussner, Ralf H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

93. Model-Driven Architecture - Foundations and Applications [Recurso electrónico] / Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings edited by Jos Warmer. by Rensink, Arend. | Warmer, Jos. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

94. Agent Computing and Multi-Agent Systems [Recurso electrónico] / 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings edited by Zhongzhi Shi, Ramakoti Sadananada. by Shi, Zhongzhi. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

95. Formal Methods for Components and Objects (vol. # 4111) [Recurso electrónico] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures edited by Frank S. de Boer, Marcello M. Bonsangue, Susann by de Boer, Frank S. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

96. Automated Reasoning [Recurso electrónico] / Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Ulrich Furbach, Natarajan Shankar. by Furbach, Ulrich. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

97. FM 2006: Formal Methods [Recurso electrónico] / 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

98. Computer Aided Verification (vol. # 4144) [Recurso electrónico] / 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings edited by Thomas Ball, Robert B. Jones. by Ball, Thomas. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

99. Software Composition (vol. # 4089) [Recurso electrónico] / 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers edited by Welf LÃœwe, Mario SÃơdholt. by LÃœwe, Welf. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

100. Automotive Software- Connected Services in Mobile Networks [Recurso electrónico] / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers edited by Manfred Broy, Ingolf KrÃơger, Michael by Broy, Manfred. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha