Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Simulated evolution and learning Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL '98, Canberra, Australia, November 24-27, 1998 : selected papersSEAL '98 (1998 Canberra, Australia) Bob McKayBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1585 )(Acessar) |
|
12 |
Material Type: Livro
|
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 papersInternational Conference on AI, Simulation, and Planning in High Autonomy Systems (13th 2004 Cheju-do, Korea) Tag Gon KimBerlin Springer New York c2005Localização: EPBC - Esc. Politécnica-Bib Central (004.8 In8s 13. ) e outros locais(Acessar) |
|
13 |
Material Type: Livro
|
Formal modeling and analysis of timed systems 5th international conference, FORMATS 2007, Salzburg, Austria October 3-5, 2007 : proceedingsFORMATS 2007 (2007 Salzburg, Austria) Jean-Fran cois Raskin 1972; P. S ThiagarajanBerlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4763 ) e outros locais(Acessar) |
|
14 |
Material Type: Livro
|
Simulated evolution and learning 6th international conference, SEAL 2006, Hefei, China, October 15-18, 2006 : proceedingsSEAL 2006 (2006 Hefei Shi, China) Xiaodong Li; Shu-Heng Chen; Xufa Wang; Hussein Abbass; Hitoshi Iba; Guoliang Chen; Xin Yao; Tzai-Der WangBerlin Springer New York c2006Localização: IME - Inst. Matemática e Estatística (S L471c v.4247 )(Acessar) |
|
15 |
Material Type: Livro
|
Cooperative behavior in neural systems : Ninth Granada Lectures, Granada, Spain, 11-15 September 2006Granada 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 2007Localização: IF - Instituto de Física (MS AIP v.887 )(Acessar) |
|
16 |
Material Type: Livro
|
Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedingsFORMATS 2006 (2006 Paris, France) E. A Asarin (Evgeni i Aleksandrovich); Patricia Bouyer 1976Berlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4202 ) e outros locais(Acessar) |
|
17 |
Material Type: Livro
|
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 : proceedingsFORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
18 |
Material Type: Livro
|
Fundamentals of scientific computingBertil GustafssonBerlin Springer Heidelberg u.a. 2011Localização: IME - Inst. Matemática e Estatística (QA869 G982f )(Acessar) |
|
19 |
Material Type: Livro
|
The Simulation of human intelligenceDonald E Broadbent (Donald Eric)Oxford, UK Blackwell Cambridge, Mass. 1993Localização: IP - Instituto de Psicologia (BD418.3 B863s e.1 )(Acessar) |
|
20 |
Material Type: Livro
|
Supercomputing: Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, Revised Selected PapersVoevodin, Vladimir ; Sobolev, Sergey Sobolev, Sergey ; Voevodin, Vladimir ; Sobolev, Sergey ; Voevodin, VladimirCham: Springer Nature 2017Texto completo disponível |