Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Congresso
|
![]() |
Adapting a software product line engineering process for certifying safety critical embedded systemsRosana Teresinha Vaccare Braga Onofre Trindade Junior; Kalinka Regina Lucas Jaquie Castelo Branco; Luciano de Oliveira Neris; Jaejoon Lee; International Conference on Computer Safety, Reliability and Security (31. 2012 Magdeburg, Germany)Lecture Notes in Computer Science Berlin : Springer-Verlag v. 7612, p. 352-363, 2012Berlin, Heidelberg Springer-Verlag 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2311301 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Advances in genetic programmingKenneth E Kinnear; Peter J AngelineCambridge, Mass. MIT Press c1994-c1996Localização: FCFRP - Fac. Ciên. Farm. Ribeirão Preto (681.3.06 K55a ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Density continuous functionsKrzystof Ciesielski Lee Larson; Krzystof M OxtaszewskiProvidence Ams 1994Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Mem v.515 ex.1 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Differential equations, dynamical systems, and control science a festschrift in honor of Lawrence MarkusL Markus (Lawrence), 1922-2020; K. D Elworthy; W. N Everitt (William Norrie), 1924-; E. B Lee (Ernest Bruce), 1932-New York M. Dekker c1994Localização: ICMC - Inst. Ciên. Mat. Computação (34-01 D569 e.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Genetic and evolutionary computation--GECCO 2004 Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedingsGenetic and Evolutionary Computation Conference (6th 2004 Seattle, Wash.) Kalyanmoy Deb; Riccardo Poli; Wolfgang Banzhaf; Hans-Georg Beyer; Edmund Burke; Paul Darwen; D Dasgupta 1958- (Dipankar); Dario Floreano; James A Foster; Mark Harman; Pier Luca Lanzi 1967-; Lee Spector; Andrea Tettamanzi; Dirk Thierens; Andy M Tyrrell; Owen HollandBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Implementation and application of automata 9th international conference, CIAA 2004, Kingston, Canada, July 22-24 2004 : revised selected papersCIAA 2004 (2004 Kingston, Ont.) Alexander Okhotin; Kai Salomaa; Sheng Yü; Michael DomaratzkiBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
7 |
Material Type: Artigo de Congresso
|
![]() |
Incorporating certification in feature modelling of an unmanned aerial vehicle product lineRosana Teresinha Vaccare Braga Kalinka Regina Lucas Jaquie Castelo Branco; Onofre Trindade Junior; Jaejoon Lee; International Software Product Line Conference - SPLC 2012 (16. 2012 Salvador)Proceedings New York : ACM, 2012New York, NY ACM 2012Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2301483 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Intelligent agents and multi-agent systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 2002 : proceedingsPacific Rim International Workshop on Multi-Agents (5th 2002 Tokyo, Japan) Kazuhiro Kuwabara 1959-; Jaeho Lee 1959-Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2413 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Introduction to Topological ManifoldsJohn M. Lee S Axler; Sheldon J Axler; F. W Gehring; K. A RibetDordrecht Springer New York 2000Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Multiobjective evolutionary algorithms and applicationsK. C. Tan E. F Khor; T. H Lee 1958- (Tong H.)London Springer 2005Localização: EPBC - Esc. Politécnica-Bib Central (519.851 T153m ) e outros locais(Acessar) |