skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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)

3
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)

4
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)

5
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)

6
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)

7
Cooperative behavior in neural systems : Ninth Granada Lectures, Granada, Spain, 11-15 September 2006
Material Type:
Livro
Adicionar ao Meu Espaço

Cooperative behavior in neural systems : Ninth Granada Lectures, Granada, Spain, 11-15 September 2006

Granada Seminar on Computational Physics (9th : 2006) Pedro L Garrido; Joaquín Marro 1945-; Joaquín J Torres; European Physical Society.; American Institute of Physics.

Melville, N.Y. : American Institute of Physics 2007

Localização: IF - Instituto de Física    (MS AIP v.887 )(Acessar)

8
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
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.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
  1. Antes de1997  (1)
  2. 1997Até1998  (1)
  3. 1999Até2003  (1)
  4. 2004Até2005  (2)
  5. Após 2005  (4)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.