skip to main content

Idioma:

Resultados de 1 a 10 de 18.389 para Busca Geral

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

Resultados 1 2 3 4 5

next page

Refinado por: tipo de recurso: Book Chapters

remover

nível superior: Revistas revisadas por pares

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Capítulo de Livro		A Hazards-Based Correctness Statement for Pipelined Circuits Aagaard, Mark D. Geist, Daniel ; Tronci, Enrico 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
2	Material Type: Capítulo de Livro		A Framework for Microprocessor Correctness Statements Aagaard, Mark D. ; Cook, Byron ; Day, Nancy A. ; Jones, Robert B. Melham, Tom ; Margaria, Tiziana Correct Hardware Design and Verification Methods, 2001, p.433-448 [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		Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving Aagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W. Pierre, Laurence ; Kropf, Thomas Correct Hardware Design and Verification Methods, 1999, p.202-218 [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
4	Material Type: Capítulo de Livro		Framework for Impact Analysis of Green Smart Grid Deployment in Energy Deficit Countries Aamir, Muhammad ; Uqaili, Muhammad Aslam ; Chowdhry, Bhawani Shankar ; Rub, Raiyah ; Ali, Andaleeb ; Siddiqui, Mehwish Chowdhry, Bhawani Shankar ; Hussain, Dil Muhammad Akbar ; Shaikh, Faisal Karim ; Memon, Aftab Ahmed ; Zeadally, Sherali ; Uqaili, Muhammad Aslam ; Memon, Aftab Ahmed ; Shaikh, Faisal Karim ; Uqaili, Muhammad Aslam ; Chowdhry, Bhawani Shankar ; Zeadally, Sherali ; Hussain, Dil Muhammad Akbar Communication Technologies, Information Security and Sustainable Development, 2014, Vol.414, p.1-12 [Periódico revisado por pares] Switzerland: Springer International Publishing AG 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		Knowledge-Intensive Case-Based Reasoning in CREEK Aamodt, Agnar Funk, Peter ; González Calero, Pedro A. Advances in Case-Based Reasoning, 2004, p.1-15 [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		Considering Hierarchical Hybrid Systems for Intelligent Animated Agents Aaron, Eric ; Metaxas, Dimitris Truszkowski, Walt ; Hinchey, Mike ; Rouff, Chris Innovative Concepts for Agent-Based Systems, p.215-229 [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		A parallel statistical cooling algorithm Aarts, E. H. L. ; de Bont, F. M. J. ; Habers, J. H. A. ; van Laarhoven, P. J. M. Vidal-Naquet, G. ; Monien, B. STACS 86, 1986, p.87-97 [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		Boltzmann machines and their applications Aarts, Emile H. L. ; Korst, Jan H. M. Treleaven, P. C. ; Nijman, A. J. ; de Bakker, J. W. PARLE Parallel Architectures and Languages Europe, 1987, p.34-50 [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		Forward modelling as a method for predicting the distribution of deep-marine sands: an example from the Peïra Cava Sub-basin Aas, Tor Even ; Basani, Riccardo ; Howell, John ; Hansen, Ernst Geological Society special publication, 2014, Vol.387 (1), p.247-269 [Periódico revisado por pares] London: The Geological Society of London 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		TPR: Three-D Place and Route for FPGAs Ababei, Cristinel Platzner, Marco ; Becker, Jürgen ; Vernalde, Serge Field Programmable Logic and Application, p.1172-1172 [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

Resultados de 1 a 10 de 18.389 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

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