Refine your search

Your search returned 218 results. Subscribe to this search

|
121. Task Models and Diagrams for Users Interface Design [Recurso electrónico] : 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers / edited by Karin Coninx, Kris Luyten, Kevin A. Schneider. by Coninx, Karin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

Log in to add tags. Add to cart
122. Perspectives of Systems Informatics [Recurso electrónico] : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers / edited by Irina Virbitskaite, Andrei Voronkov. by Virbitskaite, Irina. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

123. Agent-Oriented Software Engineering VII [Recurso electrónico] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers / edited by Lin Padgham, Franco Zambonelli. by Padgham, Lin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

124. Formal Methods Applications and Technology [Recurso electrónico] / 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification by Brim, Lubos. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

125. Programming Multi-Agent Systems [Recurso electrónico] : 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Rafael H. Bordini, Mehdi Dastani, JÃơrgen Dix, Amal El Fallah Seghrouchni. by Bordini, Rafael H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

126. Distributed Applications and Interoperable Systems [Recurso electrónico] / 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings edited by Jadwiga Indulska, Kerry Raymond. by Indulska, Jadwiga. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

127. Model Driven Architecture- Foundations and Applications [Recurso electrónico] / Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings edited by David Akehurst, Regis Vogel, Richard Paige. by Akehurst, David. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

128. Formal Methods for Open Object-Based Distributed Systems [Recurso electrónico] / 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings edited by Marcello M. Bonsangue, Einar Broch Johnsen. by Bonsangue, Marcello M. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

129. Web Reasoning and Rule Systems [Recurso electrónico] / First International Conference, RR 2007, Innsbruck, Austria, June 7-8, 2007, Proceedings edited by Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie. by Marchiori, Massimo. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

130. Testing of Software and Communicating Systems [Recurso electrónico] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings. Alexandre Petrenko by Petrenko, Alexandre. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

131. Human-Computer Interaction. Interaction Design and Usability [Recurso electrónico] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I / edited by Julie A. Jacko. by Jacko, Julie A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

132. Human-Computer Interaction. Interaction Platforms and Techniques [Recurso electrónico] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II / edited by Julie A. Jacko. by Jacko, Julie A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

133. Human-Computer Interaction. HCI Intelligent Multimodal Interaction Environments [Recurso electrónico] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part III / edited by Julie A. Jacko. by Jacko, Julie A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

134. Human-Computer Interaction. HCI Applications and Services [Recurso electrónico] : 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV / edited by Julie A. Jacko. by Jacko, Julie A. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

135. Rewriting, Computation and Proof [Recurso electrónico] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, HélÃn̈e Kirchner. by Comon-Lundh, Hubert. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

136. Integrated Formal Methods [Recurso electrónico] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings / edited by Jim Davies, Jeremy Gibbons. by Davies, Jim. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

137. Universal Acess in Human Computer Interaction. Coping with Diversity [Recurso electrónico] : 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China. by Stephanidis, Constantine. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

138. Computer Aided Verification [Recurso electrónico] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings / edited by Werner Damm, Holger Hermanns. by Damm, Werner. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

139. Model Checking Software [Recurso electrónico] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings / edited by Dragan Bosnacki, Stefan Edelkamp. by Bosnacki, Dragan. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

140. Algebraic Biology [Recurso electrónico] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia. by Anai, Hirokazu. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 Availability: No items available:

Powered by Koha