Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Simulated evolution and learning First Asia-Pacific Conference, SEAL '96, Taejon, Korea, November 9-12, 1996 : selected papersSEAL '96 (1996 Taejæon-si, Korea) Xin Yao 1962-; Jong-Hwan Kim; T Furuhashi (Takeshi) 1954Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1285 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Functional programming, concurrency, simulation and automated reasoning international lecture series 1991-1992, McMaster University, Hamilton, Ontario, CanadaPeter E Lauer 1934-Berlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.693 e.1 ) e outros locais(Acessar) |
|
3 |
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) |
|
4 |
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) |
|
5 |
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) |
|
6 |
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) |
|
7 |
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) |
|
8 |
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) |
|
9 |
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. |