skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Simulation remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Simulated evolution and learning 6th international conference, SEAL 2006, Hefei, China, October 15-18, 2006 : proceedings
Simulated evolution and learning 6th international conference, SEAL 2006, Hefei, China, October 15-18, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Simulated evolution and learning 6th international conference, SEAL 2006, Hefei, China, October 15-18, 2006 : proceedings

SEAL 2006 (2006 Hefei Shi, China) Xiaodong Li; Shu-Heng Chen; Xufa Wang; Hussein Abbass; Hitoshi Iba; Guoliang Chen; Xin Yao; Tzai-Der Wang

Berlin Springer New York c2006

Localização: IME - Inst. Matemática e Estatística    (S L471c v.4247 )(Acessar)

2
Simulated evolution and learning First Asia-Pacific Conference, SEAL '96, Taejon, Korea, November 9-12, 1996 : selected papers
Simulated evolution and learning First Asia-Pacific Conference, SEAL '96, Taejon, Korea, November 9-12, 1996 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Simulated evolution and learning First Asia-Pacific Conference, SEAL '96, Taejon, Korea, November 9-12, 1996 : selected papers

SEAL '96 (1996 Taejæon-si, Korea) Xin Yao 1962-; Jong-Hwan Kim; T Furuhashi (Takeshi) 1954

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1285 ) e outros locais(Acessar)

3
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedings

FORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S Thiagarajan

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4763 ) e outros locais(Acessar)

4
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday
Material Type:
Livro 		Adicionar ao Meu Espaço

Concurrency, graphs and models essays dedicated to Ugo Montanari on the occasion of his 65th birthday

Ugo Montanari; Pierpaolo Degano 1950-; Rocco De Nicola; José Meseguer

Berlin Springer New York c2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v5065 ) e outros locais(Acessar)

5
Simulated evolution and learning Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL '98, Canberra, Australia, November 24-27, 1998 : selected papers
Simulated evolution and learning Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL '98, Canberra, Australia, November 24-27, 1998 : selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Simulated evolution and learning Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL '98, Canberra, Australia, November 24-27, 1998 : selected papers

SEAL '98 (1998 Canberra, Australia) Bob McKay

Berlin Springer New York c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1585 )(Acessar)

6
Artificial intelligence and simulation 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers
Artificial intelligence and simulation 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Artificial intelligence and simulation 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004 : revised selected papers

International Conference on AI, Simulation, and Planning in High Autonomy Systems (13th 2004 Cheju-do, Korea) Tag Gon Kim

Berlin Springer New York c2005

Localização: EPBC - Esc. Politécnica-Bib Central    (004.8 In8s 13. ) e outros locais(Acessar)

7
Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Peter E Lauer 1934-

Berlin New York Springer-Verlag c1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.693 e.1 ) e outros locais(Acessar)

8
Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings

FORMATS 2006 (2006 Paris, France) E. A Asarin (Evgeni i Aleksandrovich); Patricia Bouyer 1976

Berlin Springer New York 2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4202 ) e outros locais(Acessar)

9
Principles of continuous system simulation analog, digital and hybrid simulation in a computer science perspective
Principles of continuous system simulation analog, digital and hybrid simulation in a computer science perspective
Material Type:
Livro 		Adicionar ao Meu Espaço

Principles of continuous system simulation analog, digital and hybrid simulation in a computer science perspective

Wolfgang Giloi

Stuttgart Teubner 1975

Localização: IME - Inst. Matemática e Estatística    (QA287 G488p )(Acessar)

10
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (9)

Data de Publicação 

De até
Refinar
  1. Antes de1990  (5)
  2. 1990Até1996  (7)
  3. 1997Até2002  (12)
  4. 2003Até2007  (26)
  5. Após 2007  (11)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (60)
  2. Francês  (1)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.