Refine your search

Your search returned 218 results. Subscribe to this search

|
101. Static Analysis (vol. # 4134) [Recurso electrónico] / 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings edited by Kwangkeun Yi. by Yi, Kwangkeun. 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
102. Web Services and Formal Methods [Recurso electrónico] / Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings edited by Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro. by Bravetti, Mario. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

103. Graph Transformations [Recurso electrónico] / Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings edited by Andrea CorradiniHartmut Ehrig, Ugo Montanari, Leila Ribeiro et al. by Corradini, Andrea. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

104. Modular Programming Languages [Recurso electrónico] / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings edited by David Lightfoot, Clemens Szyperski. by Lightfoot, David. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

105. Formal Modeling and Analysis of Timed Systems (vol. # 4202) [Recurso electrónico] / 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings edited by Eugene Asarin, Patricia Bouyer. by Asarin, Eugene. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

106. Variations on Constants [Recurso electrónico] / Flow Analysis of Sequential and Parallel Programs edited by Markus MÃơller-Olm. by MÃơller-Olm, Markus. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

107. Computer Safety, Reliability, and Security (vol. # 4166) [Recurso electrónico] / 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings edited by Janusz Górski. by Górski, Janusz. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

108. Formal Techniques for Networked and Distributed Systems - FORTE 2006 [Recurso electrónico] / 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings edited by Elie Najm, Jean-Francois Pradat-Peyre, Véroniq by Najm, Elie. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

109. Cryptographic Hardware and Embedded Systems - CHES 2006 [Recurso electrónico] / 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings edited by Louis Goubin, Mitsuru Matsui. by Goubin, Louis. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

110. Automated Technology for Vertification and Analysis [Recurso electrónico] / 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings edited by Susanne Graf, Wenhui Zhang. by Graf, Susanne. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

111. Formal Methods and Software Engineering (vol. # 4260) [Recurso electrónico] / 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings edited by Zhiming Liu, Jifeng He. by Liu, Zhiming. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

112. Logic for Programming, Aritficial Intelligence, and Reasoning [Recurso electrónico] / 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings edited by Miki Hermann, Andrei Voronkov. by Hermann, Miki. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

113. Theoretical Aspects of Computing - ICTAC 2006 [Recurso electrónico] / Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. by Barkaoui, Kamel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

114. Quality of Software Architectures [Recurso electrónico] / Second International Conference on Quality of Software Architectures, QoSA 2006, VÃÞsteras, Schweden, June 27-29, 2006, Revised Papers edited by Christine Hofmeister, Ivica Crnkovic, Ra by Hofmeister, Christine. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

115. Leveraging Applications of Formal Methods [Recurso electrónico] / First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers edited by Tiziana Maragria, Bernhard Steffen. by Maragria, Tiziana. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

116. Programming Languages and Systems (vol. # 4279) [Recurso electrónico] / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings edited by Naoki Kobayashi. by Kobayashi, Naoki. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

117. Formal Approaches to Software Testing and Runtime Verification [Recurso electrónico] / First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers edited by Klaus Havelund, by Havelund, Klaus. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

118. System Analysis and Modeling: Language Profiles [Recurso electrónico] / 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers edited by Reinhard Gotzhein, Rick Reed. by Gotzhein, Reinhard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

119. B 2007: Formal Specification and Development in B [Recurso electrónico] / 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings edited by Jacques Julliand, Olga Kouchnarenko. by Julliand, Jacques. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

120. Declarative Agent Languages and Technologies IV [Recurso electrónico] / 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers edited by Matteo Baldoni, Ulle Endriss. by Baldoni, Matteo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

Powered by Koha