skip to main content

Sair
Identificação

Idioma:

Resultados de 1 a 10 de 57 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Mostrar Somente

Revistas revisadas por pares (37)

Refinado por: Base de dados/Biblioteca: IngentaConnect Journals

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		Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors Xu, Y. ; Cerny, E. ; Silburt, A. ; Coady, A. ; Liu, Y. ; Pownall, P. Correct Hardware Design and Verification Methods, 1999, p.110-124 [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		Eliminating Dead Code on Recursive Data Liu, Yanhong A. ; Stoller, Scott D. Lecture notes in computer science, 1999, p.211-231 [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		A Systematic Incrementalization Technique and Its Application to Hardware Design Johnson, Steven D. ; Liu, Yanhong A. ; Zhang, Yuchen Correct Hardware Design and Verification Methods, 1999, p.334-337 [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		Human Pacman: A Mobile Entertainment System with Ubiquitous Computing and Tangible Interaction over a Wide Outdoor Area Cheok, Adrian David ; Fong, Siew Wan ; Goh, Kok Hwee ; Yang, Xubo ; Liu, Wei ; Farzbiz, Farzam ; Li, Yu Human-Computer Interaction with Mobile Devices and Services, 2003, p.209-223 [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		Population Diversity in Permutation-Based Genetic Algorithm Zhu, Kenny Q. ; Liu, Ziwei Lecture notes in computer science, 2004, p.537-547 [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		Control-Based Quality Adaptation in Data Stream Management Systems Tu, Yi-Cheng ; Hefeeda, Mohamed ; Xia, Yuni ; Prabhakar, Sunil ; Liu, Song Database and Expert Systems Applications, 2005, p.746-755 [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		Combined single-pass conversion of methane via oxidative coupling and dehydroaromatization: a combination of La2O3/BaO and Mo/HZSM-5 catalysts Li, Y.-G. ; Liu, H.-M. ; Shen, W.-J. ; Bao, X.-H. ; Xu, Y.-D. Studies in Surface Science and Catalysis, 2004, Vol.147, p.583-588 [Periódico revisado por pares] Amsterdam: Elsevier Science & Technology 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		A Generic Parallel Pattern-Based System for Bioinformatics Liu, Weiguo ; Schmidt, Bertil Euro-Par 2004 Parallel Processing, 2004, p.989-996 [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		Sorting and Recognizing Cheques and Financial Documents Suen, Ching Y. ; Liu, Ke ; Strathy, Nick W. Document Analysis Systems: Theory and Practice, 1999, Vol.1655, p.173-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
10	Material Type: Capítulo de Livro		A Flexible Framework for Architecting XML Access Control Enforcement Mechanisms Luo, Bo ; Lee, Dongwon ; Lee, Wang-Chien ; Liu, Peng Lecture notes in computer science, 2004, p.133-147 [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 57 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr 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

Revistas revisadas por pares (37)

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