skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Introduction to computational science modeling and simulation for the sciences
Material Type:
Livro
Adicionar ao Meu Espaço

Introduction to computational science modeling and simulation for the sciences

Angela B. Shiflet author George W Shiflet 1947- author

Princeton Princeton University Press c2014

Localização: IME - Inst. Matemática e Estatística    (QA700 S555i e.3 )(Acessar)

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

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

5
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: EPMN - Esc. Politécnica-Bib Eng Mecan    (007.52 In8s 13. ) e outros locais(Acessar)

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

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

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
Fundamentals of Scientific Computing
Fundamentals of Scientific Computing
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamentals of Scientific Computing

Bertil Gustafsson

Springer Berlin Heidelberg 2011

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

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

Data de Publicação 

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

Buscando em bases de dados remotas. Favor aguardar.