skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2012) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Giannakopoulou, Dimitra ; Mery, Dominique Giannakopoulou, Dimitra ; Mery, Dominique ; Méry, Dominique ; Giannakopoulou, Dimitra

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
2
Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings
Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings

Bechet, Denis ; Dikovsky, Alexandre Dikovsky, Alexandre ; Bechet, Denis ; Béchet, Denis ; Dikovsky, Alexander

Berlin, Heidelberg: Springer Nature 2012

Texto completo disponível

Citações Citado por
3
Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings
Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings

Hussmann, Heinrich Hussmann, Heinrich

Berlin, Heidelberg: Springer Berlin / Heidelberg 2001

Texto completo disponível

Citações Citado por
4
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Arbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter Csaba

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
5
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

Jhala, Ranjit ; Igarashi, Atsushi Igarashi, Atsushi ; Jhala, Ranjit

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
6
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Gill, Andy ; Hage, Jurriaan Hage, Jurriaan ; Gill, Andy

Berlin, Heidelberg: Springer Nature 2012

Texto completo disponível

Citações Citado por
7
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings

Hawblitzel, Chris ; Miller, Dale Miller, Dale ; Hawblitzel, Chris

Berlin, Heidelberg: Springer Nature 2012

Texto completo disponível

Citações Citado por
8
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Mine, Antoine ; Schmidt, David Mine, Antoine ; Schmidt, David

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
9
Computational issues in fluid construction grammar: a new formalism for the representation of lexicons and grammars
Computational issues in fluid construction grammar: a new formalism for the representation of lexicons and grammars
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational issues in fluid construction grammar: a new formalism for the representation of lexicons and grammars

STEELS, Luc

Springer 2014

Texto completo disponível

Citações Citado por
10
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Fisher, Michael ; van der Torre, Leon ; Dastani, Mehdi ; Governatori, Guido van der Torre, Leon ; Governatori, Guido ; Fisher, Michael ; Dastani, Mehdi

Netherlands: Springer Nature 2012

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 (4)

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

Buscando em bases de dados remotas. Favor aguardar.