skip to main content
Idioma:
Mostrar Somente
Refinado por: Biblioteca: ICMC - Inst. Ciên. Mat. Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Adapting a software product line engineering process for certifying safety critical embedded systems
Adapting a software product line engineering process for certifying safety critical embedded systems
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Adapting a software product line engineering process for certifying safety critical embedded systems

Rosana 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, 2012

Berlin, Heidelberg Springer-Verlag 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD 2311301 ) e outros locais(Acessar)

2
Advances in genetic programming
Advances in genetic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in genetic programming

Kenneth E Kinnear; Peter J Angeline

Cambridge, Mass. MIT Press c1994-c1996

Localização: FCFRP - Fac. Ciên. Farm. Ribeirão Preto    (681.3.06 K55a ) e outros locais(Acessar)

3
Density continuous functions
Density continuous functions
Material Type:
Livro 		Adicionar ao Meu Espaço

Density continuous functions

Krzystof Ciesielski Lee Larson; Krzystof M Oxtaszewski

Providence Ams 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Mem v.515 ex.1 ) e outros locais(Acessar)

4
Differential equations, dynamical systems, and control science a festschrift in honor of Lawrence Markus
Differential equations, dynamical systems, and control science a festschrift in honor of Lawrence Markus
Material Type:
Livro 		Adicionar ao Meu Espaço

Differential equations, dynamical systems, and control science a festschrift in honor of Lawrence Markus

L Markus (Lawrence), 1922-2020; K. D Elworthy; W. N Everitt (William Norrie), 1924-; E. B Lee (Ernest Bruce), 1932-

New York M. Dekker c1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (34-01 D569 e.1 ) e outros locais(Acessar)

5
Genetic and evolutionary computation--GECCO 2004 Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings
Genetic and evolutionary computation--GECCO 2004 Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Genetic and evolutionary computation--GECCO 2004 Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings

Genetic 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 Holland

Berlin Springer New York c2004

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

6
Implementation and application of automata 9th international conference, CIAA 2004, Kingston, Canada, July 22-24 2004 : revised selected papers
Implementation and application of automata 9th international conference, CIAA 2004, Kingston, Canada, July 22-24 2004 : revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and application of automata 9th international conference, CIAA 2004, Kingston, Canada, July 22-24 2004 : revised selected papers

CIAA 2004 (2004 Kingston, Ont.) Alexander Okhotin; Kai Salomaa; Sheng Yü; Michael Domaratzki

Berlin Springer New York c2005

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

7
Incorporating certification in feature modelling of an unmanned aerial vehicle product line
Incorporating certification in feature modelling of an unmanned aerial vehicle product line
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Incorporating certification in feature modelling of an unmanned aerial vehicle product line

Rosana 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, 2012

New York, NY ACM 2012

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2301483 ) e outros locais(Acessar)

8
Intelligent agents and multi-agent systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 2002 : proceedings
Intelligent agents and multi-agent systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 2002 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Intelligent agents and multi-agent systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 2002 : proceedings

Pacific Rim International Workshop on Multi-Agents (5th 2002 Tokyo, Japan) Kazuhiro Kuwabara 1959-; Jaeho Lee 1959-

Berlin Springer New York 2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2413 ) e outros locais(Acessar)

9
Introduction to Topological Manifolds
Introduction to Topological Manifolds
Introduction to Topological Manifolds
Material Type:
Livro 		Adicionar ao Meu Espaço

Introduction to Topological Manifolds

John M. Lee S Axler; Sheldon J Axler; F. W Gehring; K. A Ribet

Dordrecht Springer New York 2000

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

10
Multiobjective evolutionary algorithms and applications
Multiobjective evolutionary algorithms and applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Multiobjective evolutionary algorithms and applications

K. C. Tan E. F Khor; T. H Lee 1958- (Tong H.)

London Springer 2005

Localização: EPBC - Esc. Politécnica-Bib Central    (519.851 T153m ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (13)
  2. Artigos  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2000  (3)
  2. 2000Até2001  (1)
  3. 2002Até2003  (1)
  4. 2004Até2005  (5)
  5. Após 2005  (6)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.