skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: tipo de recurso: Livros remover autor: Kittler, Josef remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings

Flatt, Matthew ; Guo, Hai-Feng Guo, Hai-Feng ; Flatt, Matthew

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
2
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Hutchison, David ; Kanade, Takeo ; Kittler, Josef

Berlin/Heidelberg: Springer Berlin / Heidelberg 2007

Sem texto completo

Citações Citado por
3
Aliasing in Object-Oriented Programming: Types, Analysis and Verification
Aliasing in Object-Oriented Programming: Types, Analysis and Verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Aliasing in Object-Oriented Programming: Types, Analysis and Verification

Clarke, David ; Wrigstad, Tobias ; Noble, James Clarke, David ; Noble, James ; Wrigstad, Tobias

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
4
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures

Boer, Frank S. de ; Bonsangue, Marcello M ; Graf, Susanne ; de Roever, Willem-Paul de Roever, Willem-Paul ; Bonsangue, Marcello M. ; Graf, Susanne ; de Boer, Frank S.

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
5
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools: First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings

Poole, Stephen ; Hernandez, Oscar ; Shamis, Pavel Hernandez, Oscar ; Shamis, Pavel ; Poole, Stephen

Netherlands: Springer Nature 2014

Texto completo disponível

Citações Citado por
6
Transactions on Pattern Languages of Programming III
Transactions on Pattern Languages of Programming III
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions on Pattern Languages of Programming III

Noble, James ; Johnson, Ralph ; Zdun, Uwe ; Wallingford, Eugene Noble, James ; Johnson, Ralph ; Zdun, Uwe ; Wallingford, Eugene

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
7
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Van Hung, Dang ; Ogawa, Mizuhito Van Hung, Dang ; Ogawa, Mizuhito

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
8
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and Logic Programming: 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Codish, Michael ; Sumii, Eijiro Codish, Michael ; Sumii, Eijiro

Netherlands: Springer Nature 2014

Texto completo disponível

Citações Citado por
9
Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Language Engineering: 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Erwig, Martin ; Paige, Richard F ; Van Wyk, Eric Van Wyk, Eric ; Erwig, Martin ; Paige, Richard F

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
10
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings

Badger, Julia M ; Rozier, Kristin Yvonne Badger, Julia M ; Rozier, Kristin Yvonne

Netherlands: Springer Nature 2014

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. Recursos Online (55)
  2. Revistas revisadas por pares (3)

Data de Publicação 

De até
Refinar
  1. Antes de2005  (2)
  2. 2005Até2006  (3)
  3. 2007Até2008  (9)
  4. 2009Até2013  (37)
  5. Após 2013  (22)
  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.