skip to main content

Idioma:

1 - 10 de 2.006 para null

Ordenado por: Ordenado por: TítuloOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Recursos Online (1.465)
Revistas revisadas por pares (1.988)

Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science)

remover

tipo de recurso: Book Chapters

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Capítulo de Livro		3-D Computer Animation Csuri, Charles A. Advances In Computers, 1977, Vol.16, p.1-55 [Periódico revisado por pares] United States: Elsevier Science & Technology Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Capítulo de Livro		3–D Visualization of Software Structure Staples, Mathew L. ; Bieman, James M. Advances In Computers, 1999, Vol.49, p.95-141 [Periódico revisado por pares] United States: Elsevier Science & Technology Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Capítulo de Livro		A 90k gate “CLB” for Parallel Distributed Computing Schulman, Bruce ; Pechanek, Gerald Rolim, Jose ; Rolim, José Lecture notes in computer science, 2000, Vol.1800, p.831-838 [Periódico revisado por pares] Germany: Springer Berlin / Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Capítulo de Livro		A-FAST: Autonomous Flow Approach to Scheduling Tasks Nandy, Sagnik ; Carter, Larry ; Ferrante, Jeanne Bougé, Luc ; Prasanna, Viktor K. High Performance Computing - HiPC 2004, 2004, p.363-374 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
5	Material Type: Capítulo de Livro		A-GWL: Abstract Grid Workflow Language Fahringer, Thomas ; Pllana, Sabri ; Villazon, Alex Dongarra, Jack ; van Albada, Geert Dick ; Bubak, Marian ; Sloot, Peter M. A. Computational Science - ICCS 2004, p.42-49 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Capítulo de Livro		Abstract BDDs: A Technique for Using Abstraction in Model Checking Clarke, Edmund ; Jha, Somesh ; Lu, Yuan ; Wang, Dong Pierre, Laurence ; Kropf, Thomas Correct Hardware Design and Verification Methods, 1999, p.172-187 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Capítulo de Livro		Abstract State Machines for the Composition of Architectural Styles Sünbül, Asuman Bjøner, Dines ; Zamulin, Alexandre V. ; Broy, Manfred Perspectives of System Informatics, p.54-61 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Capítulo de Livro		Abstraction by Symbolic Indexing Transformations Melham, Thomas F. ; Jones, Robert B. Aagaard, Mark D. ; O’Leary, John W. Formal Methods in Computer-Aided Design, 2002, p.1-18 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Capítulo de Livro		Abstraction for Shape Analysis with Fast and Precise Transformers Lev-Ami, Tal ; Immerman, Neil ; Sagiv, Mooly Ball, Thomas ; Jones, Robert B. Computer Aided Verification, 2006, p.547-561 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
10	Material Type: Capítulo de Livro		Abstraction-Raising Transformation for Generating Analysis Models Sabetta, Antonino ; Petriu, Dorina C. ; Grassi, Vincenzo ; Mirandola, Raffaela Bruel, Jean-Michel Lecture notes in computer science, 2006, p.217-226 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por

1 - 10 de 2.006 para null

Ordenado por: Ordenado por: TítuloOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Mostrar Somente

Recursos Online (1.465)
Revistas revisadas por pares (1.988)

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento