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 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang

New York, NY, USA: ACM 2020

Texto completo disponível

Citações Citado por
2
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

New York, NY, USA: ACM 2020

Texto completo disponível

Citações Citado por
3
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

New York, NY, USA: ACM 2019

Texto completo disponível

Citações Citado por
4
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015)

Salvaneschi, Guido ; De Meuter, Wolfgang ; Eugster, Patrick ; Ziarek, Lukasz

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, 2015, p.109-110

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
5
The RERS 2017 challenge and workshop (invited paper)
The RERS 2017 challenge and workshop (invited paper)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The RERS 2017 challenge and workshop (invited paper)

Jasper, Marc ; Fecke, Maximilian ; Steffen, Bernhard ; Schordan, Markus ; Meijer, Jeroen ; Pol, Jaco van de ; Howar, Falk ; Siegel, Stephen F.

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.11-20

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Nunes, Ingrid ; Zalila-Wenkstern, Rym ; Müller, Jörg P. ; Baldoni, Matteo

Cham: Springer International Publishing 2016

Texto completo disponível

Citações Citado por
7
First international workshop on privacy and security in programming (PSP)
First international workshop on privacy and security in programming (PSP)
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

First international workshop on privacy and security in programming (PSP)

Grandison, Tyrone W.A. ; Maximilien, Michael ; Hill, Raquel

Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity, 2014, p.83-84

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing

New York, NY, USA: ACM 2012

Texto completo disponível

Citações Citado por
9
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

New York, NY, USA: ACM 2015

Texto completo disponível

Citações Citado por
10
Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover
Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Theorem Proving for Functional Programmers: Sparkle: A Functional Theorem Prover

de Mol, Maarten ; van Eekelen, Marko ; Plasmeijer, Rinus Arts, Thomas ; Mohnen, Markus

Implementation of Functional Languages, 2002, p.55-71 [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.   

Mostrar Somente

  1. Revistas revisadas por pares (352)

Data de Publicação 

De até
Refinar
  1. Antes de1982  (55)
  2. 1982Até1991  (498)
  3. 1992Até2001  (1.203)
  4. 2002Até2012  (2.843)
  5. Após 2012  (1.850)
  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.