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 (2013) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Wolff, Burkhard ; Gaudel, Marie-Claude ; Feliachi, Abderrahmane Gaudel, Marie-Claude ; Wolff, Burkhard ; Feliachi, Abderrahmane

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
2
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers

Arbab, Farhad ; Sirjani, Marjan

Berlin, Heidelberg: Springer Berlin Heidelberg 2013

Texto completo disponível

Citações Citado por
3
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Binder, Walter ; Bodden, Eric ; Löwe, Welf L'we, Welf ; Binder, Walter ; Bodden, Eric

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
4
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Artemov, Sergei ; Nerode, Anil Artemov, Sergei ; Nerode, Anil

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
5
Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings

Shan, Chung-chien Shan, Chung-chien

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
6
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Giacobazzi, Roberto ; Berdine, Josh ; Mastroeni, Isabella Mastroeni, Isabella ; Berdine, Josh ; Giacobazzi, Roberto

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
7
Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Grossi, Davide ; Roy, Olivier ; Huang, Huaxin Grossi, Davide ; Roy, Olivier ; Huang, Huaxin

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
8
Generative and transformational techniques in software engineering IV: international summer school, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers
Generative and transformational techniques in software engineering IV: international summer school, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Generative and transformational techniques in software engineering IV: international summer school, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers

Lammel, Ralf ; Saraiva, Joao ; Visser, Joost

Springer 2015

Texto completo disponível

Citações Citado por
9
Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computational Logic in Multi-Agent Systems: 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings

Leite, João ; Son, Tran Cao ; Torroni, Paolo ; van der Torre, Leon ; Woltran, Stefan Leite, Jo'o ; Torroni, Paolo ; Son, Tran Cao ; van der Torre, Leon

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
10
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Bertacco, Valeria ; Legay, Axel Bertacco, Valeria ; Legay, Axel

Netherlands: Springer Nature 2013

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

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

Buscando em bases de dados remotas. Favor aguardar.