skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Unifying Heterogeneous State-Spaces with Lenses
Unifying Heterogeneous State-Spaces with Lenses
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Unifying Heterogeneous State-Spaces with Lenses

Foster, Simon ; Zeyda, Frank ; Woodcock, Jim Wang, Farn ; Sampaio, Augusto

Theoretical Aspects of Computing – ICTAC 2016, p.295-314 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Dynamic Logic with Binders and Its Application to the Development of Reactive Systems

Madeira, Alexandre ; Barbosa, Luis S. ; Hennicker, Rolf ; Martins, Manuel A. Wang, Farn ; Sampaio, Augusto

Theoretical Aspects of Computing – ICTAC 2016, p.422-440 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Hybrid Automata as Coalgebras
Hybrid Automata as Coalgebras
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Hybrid Automata as Coalgebras

Neves, Renato ; Barbosa, Luis S. Wang, Farn ; Sampaio, Augusto

Theoretical Aspects of Computing – ICTAC 2016, p.385-402 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Behavioural Models for FMI Co-simulations
Behavioural Models for FMI Co-simulations
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Behavioural Models for FMI Co-simulations

Cavalcanti, Ana ; Woodcock, Jim ; Amálio, Nuno Wang, Farn ; Sampaio, Augusto

Theoretical Aspects of Computing – ICTAC 2016, p.255-273 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Derived-Term Automata for Extended Weighted Rational Expressions
Derived-Term Automata for Extended Weighted Rational Expressions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Derived-Term Automata for Extended Weighted Rational Expressions

Demaille, Akim Wang, Farn ; Sampaio, Augusto

Theoretical Aspects of Computing – ICTAC 2016, p.351-369 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Soundly Proving B Method Formulæ Using Typed Sequent Calculus
Soundly Proving B Method Formulæ Using Typed Sequent Calculus
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Soundly Proving B Method Formulæ Using Typed Sequent Calculus

Halmagrand, Pierre Wang, Farn ; Sampaio, Augusto

Theoretical Aspects of Computing – ICTAC 2016, p.196-213 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Synthesis of Petri Nets with Whole-Place Operations and Localities
Synthesis of Petri Nets with Whole-Place Operations and Localities
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Synthesis of Petri Nets with Whole-Place Operations and Localities

Kleijn, Jetty ; Koutny, Maciej ; Pietkiewicz-Koutny, Marta Wang, Farn ; Sampaio, Augusto

Theoretical Aspects of Computing – ICTAC 2016, p.103-120 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
ProofScript: Proof Scripting for the Masses
ProofScript: Proof Scripting for the Masses
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

ProofScript: Proof Scripting for the Masses

Obua, Steven ; Scott, Phil ; Fleuriot, Jacques Wang, Farn ; Sampaio, Augusto

Theoretical Aspects of Computing – ICTAC 2016, p.333-348 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Robot Football Team from Minho University
Robot Football Team from Minho University
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Robot Football Team from Minho University

Machado, Carlos ; Costa, Ilídio ; Sampaio, Sérgio ; Ribeiro, Fernando Veloso, Manuela ; Pagello, Enrico ; Kitano, Hiroaki

Lecture notes in computer science, 2000, p.731-734 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Nursery Systems and Management
Nursery Systems and Management
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Nursery Systems and Management

Coyle, Shawn D ; Alston, Dallas E ; Sampaio, Céelia M. S New, Michael Bernard ; Kutty, Methil Narayanan ; D'Abramo, Louis R ; Valenti, Wagner Cotroni ; Tidwell, James H ; Kutty, Methil Narayanan ; New, Michael Bernard ; Valenti, Wagner Controni ; D'Abramo, Louis R ; Tidwell, James H

Freshwater Prawns, 2009, p.108-126

Oxford, UK: Wiley‐Blackwell

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (60)

Data de Publicação 

De até
Refinar
  1. Antes de1991  (7)
  2. 1991Até2000  (11)
  3. 2001Até2009  (29)
  4. 2010Até2017  (130)
  5. Após 2017  (24)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (212)
  2. Japonês  (2)
  3. Francês  (1)
  4. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.