skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

The formal semantics of programming languages an introduction

G Winskel

Cambridge Mit Press 1993

Localização: IME - Inst. Matemática e Estatística    (QA816 W777f )(Acessar)

2
Seminar on Concurrency Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
Seminar on Concurrency Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

Seminar on Concurrency Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

Seminar on Concurrency (1984 Carnegie-Mellon University) S. D Brookes (Stephen D.); A. W Roscoe; G Winskel (Glynn)

Berlin Springer-Verlag New York c1985

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.197 ) e outros locais(Acessar)

3
Automata, Languages and Programming
Automata, Languages and Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming

International Colloquium on Automata, Languages, and Programming Kim G Larsen; Sven Skyum; Glynn Winskel; European Association for Theoretical Computer Science.

Springer Berlin Heidelberg 1998

Acesso online

4
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

International Colloquium on Automata, Languages and Programming (25th 1998 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); Sven Skyum 1946-; G Winskel

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer London c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1443 ) e outros locais(Acessar)

5
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures

Fiore, M. ; Gambino, N. ; Hyland, M. ; Winskel, G.

Selecta mathematica (Basel, Switzerland), 2018-07, Vol.24 (3), p.2791-2830 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9–11, 1984

Brookes, Stephen D ; Roscoe, Andrew William ; Winskel, Glynn Brookes, Stephen D. ; Roscoe, Andrew William ; Winskel, Glynn

Berlin, Heidelberg: Springer Berlin Heidelberg 1985

Texto completo disponível

Citações Citado por
7
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Larsen, Kim G ; Skyum, Sven ; Winskel, Glynn Larsen, Kim G. ; Skyum, Sven ; Winskel, Glynn

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

Citações Citado por
8
The cartesian closed bicategory of generalised species of structures
The cartesian closed bicategory of generalised species of structures
Material Type:
Artigo 		Adicionar ao Meu Espaço

The cartesian closed bicategory of generalised species of structures

Fiore, M ; Gambino, N ; Hyland, M ; Winskel, G

Journal of the London Mathematical Society, 2008-02, Vol.77 (1), p.203-220 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
9
Events, Causality and Symmetry
Events, Causality and Symmetry
Material Type:
Artigo 		Adicionar ao Meu Espaço

Events, Causality and Symmetry

Winskel, G.

Computer journal, 2011-01, Vol.54 (1), p.42-57 [Periódico revisado por pares]

Oxford: Oxford Publishing Limited (England)

Texto completo disponível

Citações Citado por
10
Quantum counting
Quantum counting
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Quantum counting

Brassard, Gilles ; HØyer, Peter ; Tapp, Alain

Automata, Languages and Programming, 1998, p.820-831 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (94)
  2. Artigos  (32)
  3. Book Chapters  (18)
  4. Livros  (8)
  5. Dissertações  (2)
  6. Reports  (1)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1987  (11)
  2. 1987Até1993  (14)
  3. 1994Até2000  (93)
  4. 2001Até2009  (22)
  5. Após 2009  (18)
  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.