11
|
Material Type: Livro
|
|
Principles and practice of constraint programming--CP 2000 6th International Conference, CP 2000, Singapore, September 18-21, 2000 : proceedings
CP 2000 (2000 Singapore) Rina Dechter 1950-
Berlin Springer New York 2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1894 ) e outros locais(Acessar)
|
12
|
Material Type: Livro
|
|
Generic programming International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27-May 1, 1998 : selected papers
International Seminar on Generic Programming (1998 Dagstuhl Castle) Mehdi Jazayeri; R Loos 1938- (Rüdiger); David R Musser
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1766 ) e outros locais(Acessar)
|
13
|
Material Type: Livro
|
|
New trends in constraints joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
Krzysztof R Apt 1949-; European Research Consortium for Informatics and Mathematics; Compulog-Net
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.1865 ) e outros locais(Acessar)
|
14
|
Material Type: Livro
|
|
Mathematics of program construction 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
International Conference on the Mathematics of Program Construction (2000 Ponte de Lima, Portugal) Roland C Backhouse 1948-; José N Oliveira
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1837 ) e outros locais(Acessar)
|
15
|
Material Type: Livro
|
|
Tried & true object development practical approaches with UML
Ari Jaaksi; Juha-Markus Aalto; Ari Aalto; Kimmo Vatto
Cambridge Cambridge University Press New York 1999
Localização:
IME - Inst. Matemática e Estatística
(QA754.4 J11t )(Acessar)
|
16
|
Material Type: Livro
|
|
Genetic programming Second European Workshop, EuroGP '99, Göteborg, Sweden, May 26-27, 1999 : proceedings
EuroGP '99 (2nd 1999 Göteborg, Sweden) Riccardo Poli 1961-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1598 ) e outros locais(Acessar)
|
17
|
Material Type: Livro
|
|
Genetic programming III Darwinian invention and problem solving
John R Koza
San Francisco Morgan Kaufmann 1999
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.8 G2861 )(Acessar)
|
18
|
Material Type: Livro
|
|
Principles and practice of constraint programming--CP'99 5th international conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 : proceedings
CP'99 (1999 Alexandria, Va.) Joxan Jaffar 1957-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1713 e.1 )(Acessar)
|
19
|
Material Type: Livro
|
|
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1589 e.1 ) e outros locais(Acessar)
|
20
|
Material Type: Livro
|
|
Rethinking smart objects building artificial intelligence with objects
Daniel W. Rasmus
Cambridge Cambridge University Press New York SIGS Books c1999
Localização:
IME - Inst. Matemática e Estatística
(QA754.4 R225r )(Acessar)
|