Refine your search

Your search returned 570 results. Subscribe to this search

|
101. Data and Applications Security XIX [Recurso electrónico] / 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings edited by Sushil Jajodia, Duminda Wijesekera. by Jajodia, Sushil. 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
102. Model Checking Software (vol. # 3639) [Recurso electrónico] / 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid. by Godefroid, Patrick. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

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

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

106. Advanced Functional Programming [Recurso electrónico] / 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures edited by Tarmo Uustalu, Varmo Vene. by Uustalu, Tarmo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

107. Database and XML Technologies (vol. # 3671) [Recurso electrónico] / Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings edited by Zohra BellahsÃn̈eStéphane Bressan, Stefano Ceri, Ela Hunt e by BellahsÃn̈e, Zohra. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

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

110. Euro-Par 2005 Parallel Processing [Recurso electrónico] / 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings edited by José C. Cunha, Pedro D. Medeiros. by Cunha, José C. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

112. Multiagent System Technologies (vol. # 3550) [Recurso electrónico] / Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings edited by Torsten EymannMichael N. Huhns, Franziska KlÃơgl, Matthias Klusch et al. by Eymann, Torsten. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

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

114. UbiComp 2005: Ubiquitous Computing [Recurso electrónico] / 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005, Proceedings edited by Michael Beigl, Stephen Intille, Jun Rekimoto, Hideyuki Tokuda. by Beigl, Michael. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

115. Principles and Practice of Semantic Web Reasoning (vol. # 3703) [Recurso electrónico] / Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings edited by Francois Fages, Sylvain Soliman. by Fages, Francois. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

116. Automated Reasoning with Analytic Tableaux and Related Methods [Recurso electrónico] / International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings edited by Bernhard Beckert. by Beckert, Bernhard. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

117. Software Product Lines (vol. # 3714) [Recurso electrónico] / 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005, Proceedings edited by Henk Obbink, Klaus Pohl. by Obbink, Henk. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

118. Cooperative Design, Visualization, and Engineering (vol. # 3675) [Recurso electrónico] / Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005, Proceedings edited by Yuhua Luo. by Luo, Yuhua. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

119. Architecting Dependable Systems III [Recurso electrónico] / edited by Cristina Gacek, Rogério de Lemos, Alexander Romanovsky. by Gacek, Cristina. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

120. Model Driven Engineering Languages and Systems (vol. # 3713) [Recurso electrónico] / 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings edited by Lionel Briand, Clay Williams. by Briand, Lionel. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Powered by Koha