skip to main content

Sair
Identificação

Idioma:

Resultados de 11 a 20 de 117 para Busca Geral

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

previous page

1 Resultados 2 3 4 5

next page

Mostrar Somente

Recursos Online (82)
Revistas revisadas por pares (87)

Refinado por: Base de dados/Biblioteca: Lecture Notes in Computer Science Archive (through to 1996)

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
11	Material Type: Capítulo de Livro		Randomness Tests: Theory and Practice Blass, Andreas ; Cégielski, Patrick ; Dershowitz, Nachum ; Droste, Manfred ; Finkbeiner, Bernd Fields of Logic and Computation III, 2020, Vol.12180, p.258-290 [Periódico revisado por pares] Switzerland: Springer International Publishing AG Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
12	Material Type: Capítulo de Livro		Horn Clause Solvers for Program Verification Beklemishev, Lev D ; Blass, Andreas ; Dershowitz, Nachum ; Finkbeiner, Bernd ; Schulte, Wolfram Fields of Logic and Computation II, 2015, Vol.9300, p.24-51 [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
13	Material Type: Livro		Primitive rewriting DERSHOWITZ, Nachum Lecture notes in computer science, 2005, p.127-147 New York: Springer Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
14	Material Type: Livro		Verification: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Dershowitz, Nachum Berlin, Heidelberg: Springer Berlin / Heidelberg 2004 Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
15	Material Type: Livro		Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009, Proceedings Calude, Christian S ; da Costa, Jose Felix Gomes ; Dershowitz, Nachum ; Freire, Elisabete ; Rozenberg, Grzegorz Berlin, Heidelberg: Springer Berlin / Heidelberg 2009 Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
16	Material Type: Capítulo de Livro		Computability and Stability for Hybrid Algorithms Dershowitz, Nachum ; Retchkiman Königsberg, Zvi Advances in Swarm Intelligence, p.395-401 [Periódico revisado por pares] Cham: Springer International Publishing Sem texto completo Serviços Detalhes Resenhas & Tags Nº de Citações Citações Citado por
17	Material Type: Ata de Congresso		Open. Closed. Open Dershowitz, Nachum Lecture notes in computer science, 2005, p.376-393 [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
18	Material Type: Capítulo de Livro		Matching with a Hierarchical Ontology Choueka, Yaacov ; Dershowitz, Nachum ; Tal, Liad Language, Culture, Computation. Computing - Theory and Technology, p.395-398 [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
19	Material Type: Ata de Congresso		On Lazy Commutation Dershowitz, Nachum Languages: From Formal to Natural, p.59-82 [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
20	Material Type: Capítulo de Livro		A Scalable Algorithm for Minimal Unsatisfiable Core Extraction Dershowitz, Nachum ; Hanna, Ziyad ; Nadel, Alexander Lecture notes in computer science, 2006, p.36-41 [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 11 a 20 de 117 para Busca Geral

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

previous page

1 Resultados 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 (82)
Revistas revisadas por pares (87)

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