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
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Hyper-automaton system applied to geometry demonstration environment
Hyper-automaton system applied to geometry demonstration environment
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Hyper-automaton system applied to geometry demonstration environment

MACHADO, Julio P ; NOTARE, Marcia R ; COSTA, Simone A ; DIVERIO, Tiaraju A ; MENEZES, P. Blauth

Lecture notes in computer science, 2001, p.457-468 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
2
Composing Transitions into Transactions in UML Diagrams
Composing Transitions into Transactions in UML Diagrams
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Composing Transitions into Transactions in UML Diagrams

Machado, Júlio Pereira ; Menezes, Paulo Blauth

Computer Aided Systems Theory – EUROCAST 2005, 2005, p.50-55 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Computational Simulation of Categorical Constructions
Computational Simulation of Categorical Constructions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computational Simulation of Categorical Constructions

Vieira, Rodrigo Born ; Menezes, Paulo Blauth

Computer Aided Systems Theory – EUROCAST 2005, 2005, p.44-49 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
4
Computation of Partial Automata Through Span Composition
Computation of Partial Automata Through Span Composition
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Computation of Partial Automata Through Span Composition

Roggia, Karina Girardi ; Hoff, Marnes Augusto ; Menezes, Paulo Blauth

Computer Aided Systems Theory – EUROCAST 2005, 2005, p.15-20 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
Approximation problems categories
Approximation problems categories
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Approximation problems categories

DOS SANTOS LEAL, Liara Aparecida ; MORAES CLAUDIO, Dalcidio ; VIEIRA TOSCANI, Laira ; BLAUTH MENEZES, Paulo

Lecture notes in computer science, 2005, p.9-14 [Periódico revisado por pares]

New York, NY: Springer

Sem texto completo

Citações Citado por
6
Mapping Nautilus language into java: Towards a specification and programming environment for distributed systems
Mapping Nautilus language into java: Towards a specification and programming environment for distributed systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Mapping Nautilus language into java: Towards a specification and programming environment for distributed systems

NAOTO FUZITAKI, Claudio ; BLAUTH MENEZES, Paulo ; PEREIRA MACHADO, Julio ; DA COSTA, Simone André

Lecture notes in computer science, 2003, p.243-252 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
7
Characterizing the software development process: A new approach based on Kolmogorov complexity
Characterizing the software development process: A new approach based on Kolmogorov complexity
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Characterizing the software development process: A new approach based on Kolmogorov complexity

CAMPANI, Carlos A. P ; BLAUTH MENEZES, Paulo

Lecture notes in computer science, 2001, p.242-256 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
8
Optimization problems categories
Optimization problems categories
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Optimization problems categories

APARECIDA DOS SANTOS LEAL, Liara ; BLAUTH MENEZES, Paulo ; MORAES CLAUDIO, Dalcidio ; VIEIRA TOSCANI, Laira

Lecture notes in computer science, 2001, p.285-299 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por

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

Buscando em bases de dados remotas. Favor aguardar.