skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

Resultados de 1 a 10 de 14  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page
Mostrar Somente
Refinado por: Nome da Publicação: Proceedings remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Checking sequence generation using state distinguishing subsequences
Checking sequence generation using state distinguishing subsequences
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Checking sequence generation using state distinguishing subsequences

Adenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)

Proceedings Washington : IEEE Computer Society, 2009

Washington, DC IEEE Computer Science 2009

Acesso online. A biblioteca também possui exemplares impressos.

2
Classical and quantum satisfiability
Classical and quantum satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Classical and quantum satisfiability

Anderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)

Proceedings Sydney : EPTCS, 2012

Sydney EPTCS 2012

Acesso online. A biblioteca também possui exemplares impressos.

3
Piecewise testable events
Piecewise testable events
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Piecewise testable events

Imre Simon 1943-2009 GI Conference: Automata Theory and Formal Languages: (2. 1975 Kaiserslautern)

Proceedings Berlin; Heidelberg : Springer, 1975

Berlin Heidelberg Springer 1975

Acesso online. A biblioteca também possui exemplares impressos.

4
A framework for software engineering experimental replications
A framework for software engineering experimental replications
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A framework for software engineering experimental replications

Manuel G. Mendonça José Carlos Maldonado; Maria Cristina Ferreira de Oliveira; Jeffrey Carver; Sandra Camargo Pinto Ferraz Fabbri; Forrest Shull; Guilherme Horta Travassos; Erika Nina Höhn; Victor R Basili 1940-; IEEE International Conference on Engineering of Complex Computer Science (13 2008 Belfast)

Proceedings Los Alamitos: IEEE, 2008

Los Alamitos IEEE 2008

Acesso online. A biblioteca também possui exemplares impressos.

5
Formalization of data stream clustering properties and analysis of algorithms
Formalization of data stream clustering properties and analysis of algorithms
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Formalization of data stream clustering properties and analysis of algorithms

Marcelo Keese Albertini Rodrigo Fernandes de Mello; World Congress in Computer Science, Computer Engineering, and Applied Computing - WORLDCOMP (22. 2012 Las Vegas); International Conference on Artificial Intelligence - ICAI (14. 2012 Las Vegas)

Proceedings Las Vegas : CSREA Press, 2012

Las Vegas CSREA Press 2012

Acesso online. A biblioteca também possui exemplares impressos.

6
Natural language in introductory programming an experimental study
Natural language in introductory programming an experimental study
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Natural language in introductory programming an experimental study

Osvaldo Luiz de Oliveira Ana Maria Monteiro; Norton Trevisan Roman; Annual Conference on Innovation and Technology in Computer Science Education - ACM ITiCSE (16. 2011 Darmstadt)

Proceedings Alpha : Sheridan Printing, 2011

Alpha 2011

Acesso online

7
From concrete to abstract? Problem domain in the learning to introductory programming
From concrete to abstract? Problem domain in the learning to introductory programming
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

From concrete to abstract? Problem domain in the learning to introductory programming

Osvaldo Luiz de Oliveira Ana Maria Monteiro; Norton Trevisan Roman; Annual Conference on Innovation and Technology in Computer Science Education - ACM ITiCSE (16. 2011 Darmstadt)

Proceedings Alpha : Sheridan Printing, 2011

Alpha 2011

Acesso online

8
A model-driven approach for promoting cloud PaaS portability
A model-driven approach for promoting cloud PaaS portability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A model-driven approach for promoting cloud PaaS portability

Elias Adriano Nogueira da Silva Renata Pontin de Mattos Fortes; Daniel Lucrédio; Annual International Conference on Computer Science and Software Engineering - CASCON (23. 2013 Markhan, Canada)

Proceedings Markhan : CAS Research/IBM Canada, 2013

Markham CAS Research/IBM Canada 2013

Acesso online. A biblioteca também possui exemplares impressos.

9
Modeling of a closed-loop maritime transportation system with discrete event simulation and multi-criteria decision analysis
Modeling of a closed-loop maritime transportation system with discrete event simulation and multi-criteria decision analysis
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Modeling of a closed-loop maritime transportation system with discrete event simulation and multi-criteria decision analysis

Rodolfo Celestino dos Santos Silva Thiago Barros Brito; Rui Carlos Botter 1958-; Newton Narciso Pereira; World Congress on Engineering and Computer Science - WCECS (2011 San Francisco, USA)

Proceedings San Francisco : International Association of Engineers, 2011

San Francisco International Association of Engineers - IAENG 2011

Acesso online

10
A systematic mapping about testing of functional programs
A systematic mapping about testing of functional programs
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A systematic mapping about testing of functional programs

Alexandre Ponce de Oliveira Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Júlio Cezar Estrella; Sarita Mazzini Bruschi; World Congress in Computer Science, Computer Engineering, and Applied Computing - WORLDCOMP 2015 (25th 2015 Las Vegas, Nevada, USA); International Conference on Software Engineering Research and Practice - SERP 2015 (13th 2015 Las Vegas, Nevada, USA)

Proceedings Las Vegas, Nevada, USA : CSREA Press, 2015

Las Vegas, Nevada, USA CSREA Press 2015

Acesso online. A biblioteca também possui exemplares impressos.

Resultados de 1 a 10 de 14  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (8)

Data de Publicação 

De até
Refinar
  1. Antes de2008  (1)
  2. 2008Até2008  (2)
  3. 2009Até2010  (2)
  4. 2011Até2012  (5)
  5. Após 2012  (4)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.