skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: tipo de recurso: Livros remover nível superior: Revistas revisadas por pares remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings
Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Parallel Problem Solving from Nature - PPSN VII: 7th International Conference, Granada, Spain, September 7-11, 2002, Proceedings

Merelo, Juan J ; Adamidis, Panagiotis ; Beyer, Hans-Georg Guervós, Juan Julián Merelo ; Adamidis, Panagiotis ; Beyer, Hans-Georg ; Fernández-Villacañas, José-Luis ; Schwefel, Hans-Paul

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por
2
Contracts for System Design
Contracts for System Design
Material Type:
Livro 		Adicionar ao Meu Espaço

Contracts for System Design

Benveniste, Albert ; Caillaud, Benoît ; Nickovic, Dejan ; Passerone, Roberto ; Raclet, Jean-Baptiste ; Reinkemeier, Philipp ; Sangiovanni-Vincentelli, Alberto ; Damm, Werner ; Henzinger, Thomas A. ; Larsen, Kim G.

Foundations and Trends in Electronic Design Automation, 2018, Vol.12 (2-3), p.124-400 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
3
Parallel Problem Solving from Nature-PPSN VI: 6th International Conference, Paris, France, September 18-20 2000 Proceedings
Parallel Problem Solving from Nature-PPSN VI: 6th International Conference, Paris, France, September 18-20 2000 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Parallel Problem Solving from Nature-PPSN VI: 6th International Conference, Paris, France, September 18-20 2000 Proceedings

Schoenauer, Marc ; Deb, Kalyanmoy ; Rudolph, Günther ; Yao, Xin ; Lutton, Evelyne ; Merelo, Juan Julian ; Schwefel, Hans-Paul Lutton, Evelyne ; Merelo, Juan Julian ; Schoenauer, Marc ; Deb, Kalyanmoy ; Yao, Xin ; Rudolph, Günther ; Schwefel, Hans-Paul

Berlin, Heidelberg: Springer Berlin / Heidelberg 2000

Texto completo disponível

Citações Citado por
4
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

Oliveira, José Nuno ; Zave, Pamela Zave, Pamela ; Oliveira, José Nuno

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

Citações Citado por
5
Evolutionary Programming VII: 7th International Conference, EP98 San Diego, California, USA, March 25–27, 1998 Proceedings
Evolutionary Programming VII: 7th International Conference, EP98 San Diego, California, USA, March 25–27, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Evolutionary Programming VII: 7th International Conference, EP98 San Diego, California, USA, March 25–27, 1998 Proceedings

Porto, V. W ; Saravanan, N ; Waagen, D ; Eiben, A. E Saravanan, N. ; Waagen, D. ; Porto, V. W. ; Eiben, A. E.

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
6
New Approaches in Software Measurement: 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings
New Approaches in Software Measurement: 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

New Approaches in Software Measurement: 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings

Dumke, Reiner ; Abran, Alain Abran, Alain ; Dumke, Reiner

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
7
Evolutionary Programming VI: 6th International Conference, EP97 Indianapolis, Indiana, USA, April 13–16, 1997 Proceedings
Evolutionary Programming VI: 6th International Conference, EP97 Indianapolis, Indiana, USA, April 13–16, 1997 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Evolutionary Programming VI: 6th International Conference, EP97 Indianapolis, Indiana, USA, April 13–16, 1997 Proceedings

Angeline, Peter J ; Reynolds, Robert G ; McDonnell, John R ; Eberhart, Russ McDonnell, John R. ; Eberhart, Russ ; Angeline, Peter J. ; Reynolds, Robert G.

Berlin, Heidelberg: Springer Berlin Heidelberg 1997

Texto completo disponível

Citações Citado por
8
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Hunt, Warren A., Jr ; Somenzi, Fabio Hunt, Warren A. ; Somenzi, Fabio

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Texto completo disponível

Citações Citado por
9
Database Theory - ICDT'99: 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings
Database Theory - ICDT'99: 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Database Theory - ICDT'99: 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings

Beeri, Catriel ; Buneman, Peter Beeri, Catriel ; Buneman, Peter

Berlin, Heidelberg: Springer Berlin / Heidelberg 1998

Texto completo disponível

Citações Citado por
10
Bit-interleaved coded modulation
Bit-interleaved coded modulation
Material Type:
Livro 		Adicionar ao Meu Espaço

Bit-interleaved coded modulation

Guillén i Fàbregas, A ; Martinez, Alfonso ; Caire, G

Foundations and trends in communications and information theory, 2008, Vol.5 (1-2), p.1-153 [Periódico revisado por pares]

Hanover, Mass: Now Publishers

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.