Resultados da pesquisa

1

Hybrid systems computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding Livro

Hybrid systems computation and control : 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005 : proceedings /

2

Advances in information retrieval 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding Livro

Advances in information retrieval 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23 2005 : proceedings /

3

High performance computing for computational science VECPAR 2004 : 6th international conference, Valencia, Spain, June 28-30, 2004 : revised selected and invited papers /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding Livro

High performance computing for computational science VECPAR 2004 : 6th international conference, Valencia, Spain, June 28-30, 2004 : revised selected and invited papers /

4

Transactions on rough sets III

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Livro

5

Numerical analysis and its applications third international conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004 : revised selected papers /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Numerical analysis and its applications third international conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004 : revised selected papers /

6

Systems modeling and simulation theory and applications : third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Systems modeling and simulation theory and applications : third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers /

7

Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, planning in high autonomy systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised...

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, planning in high autonomy systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers /

8

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004 : revised selected and invited papers /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004 : revised selected and invited papers /

9

Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico livro electrónico

Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

10

Information Networking Convergence in Broadband and Mobile Networking : International Conference, ICOIN 2005, Jeju Island, Korea, January 31-February 2, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Information Networking Convergence in Broadband and Mobile Networking : International Conference, ICOIN 2005, Jeju Island, Korea, January 31-February 2, 2005 : proceedings /

11

Semantic Web Services and Web Process Composition First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004 : revised selected papers /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Semantic Web Services and Web Process Composition First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004 : revised selected papers /

12

Public Key Cryptography PKC 2005 : 8th international workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Public Key Cryptography PKC 2005 : 8th international workshop on Theory and Practice in Public Key Cryptography, Les Diablerets, Switzerland, January 23-26, 2005 : proceedings /

13

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

14

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers /

15

Embedded Systems Design the ARTIST Roadmap for Research and Development /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico livro electrónico

Embedded Systems Design the ARTIST Roadmap for Research and Development /

16

COTS-based software systems 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

COTS-based software systems 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings /

17

Evolutionary multi-criterion optimization third international conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Evolutionary multi-criterion optimization third international conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005 : proceedings /

18

Computational linguistics and intelligent text processing 6th international conference, CICLing 2005, Mexico City, Mexico, Februray 13-19, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Computational linguistics and intelligent text processing 6th international conference, CICLing 2005, Mexico City, Mexico, Februray 13-19, 2005 : proceedings /

19

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding Livro

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 : proceedings /

20

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings /

Publicado em 2005

Connect to electronic resource

Recurso Electrónico Conference Proceeding livro electrónico

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings /

Ferramentas de pesquisa:

Refinar resultados

Formato

Fonte

Ano da publicação

Sugestões de Tópicos

Tipo

Região

Período

Idioma

Autor

Área/Cota