skip to main content

Idioma:

Resultados de 1 a 10 de 1.705 para Busca Geral

Ordenado por: Ordenado por: AutorOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Recursos Online (1.067)
Revistas revisadas por pares (1.652)

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		Propositional temporal interval logic is PSPACE complete Aaby, A. A. ; Narayana, K. T. 9th International Conference on Automated Deduction, 1988, p.218-237 [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
2	Material Type: Capítulo de Livro		A Hazards-Based Correctness Statement for Pipelined Circuits Aagaard, Mark D. Correct Hardware Design and Verification Methods, 2003, p.66-80 [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
3	Material Type: Capítulo de Livro		On Horizontal Specification Architectures and Their Aspect-Oriented Implementations Aaltonen, Timo ; Katara, Mika ; Kurki-Suonio, Reino ; Mikkonen, Tommi Transactions on Aspect-Oriented Software Development II, p.1-29 [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
4	Material Type: Capítulo de Livro		Exploring Potential Benefits of 3D FPGA Integration Ababei, Cristinel ; Maidee, Pongstorn ; Bazargan, Kia Field Programmable Logic and Application, 2004, p.874-880 [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
5	Material Type: Capítulo de Livro		Eager Markov Chains Abdulla, Parosh Aziz ; Ben Henda, Noomene ; Mayr, Richard ; Sandberg, Sven Automated Technology for Verification and Analysis, 2006, p.24-38 [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
6	Material Type: Capítulo de Livro		Decidability and Complexity Results for Timed Automata via Channel Machines Abdulla, Parosh Aziz ; Deneux, Johann ; Ouaknine, Joël ; Worrell, James Automata, Languages and Programming, 2005, p.1089-1101 [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
7	Material Type: Capítulo de Livro		Simulation-Based Iteration of Tree Transducers Abdulla, Parosh Aziz ; Legay, Axel ; d’Orso, Julien ; Rezine, Ahmed Lecture notes in computer science, 2005, p.30-44 [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
8	Material Type: Capítulo de Livro		Varicella-Zoster Virus Vaccine: Molecular Genetics Abendroth, Allison ; Arvin, Ann M ; Moffat, Jennifer F Current topics in microbiology and immunology, 2010, Vol.342, p.323-340 [Periódico revisado por pares] Germany: Springer Berlin / Heidelberg Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
9	Material Type: Capítulo de Livro		General Matrix-Matrix Multiplication Using SIMD Features of the PIII Aberdeen, Douglas ; Baxter, Jonathan Euro-Par 2000 Parallel Processing, 2000, p.980-983 [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
10	Material Type: Capítulo de Livro		Relational Semantics for Higher-Order Programs Aboul-Hosn, Kamal ; Kozen, Dexter Lecture notes in computer science, 2006, p.29-48 [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

Resultados de 1 a 10 de 1.705 para Busca Geral

Ordenado por: Ordenado por: AutorOr 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

Expandir Meus Resultados

Expandir meus resultados

Mostrar Somente

Recursos Online (1.067)
Revistas revisadas por pares (1.652)

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