skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Books remover 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
Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures
Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Engineering: International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures

De Lucia, Andrea ; Ferrucci, Filomena Ferrucci, Filomena ; De Lucia, Andrea

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
2
Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings

Van Gorp, Pieter ; Ritter, Tom ; Rose, Louis M

Berlin, Heidelberg: Springer Berlin / Heidelberg 2013

Texto completo disponível

Citações Citado por
3
Languages and Compilers for Parallel Computing: 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Languages and Compilers for Parallel Computing: 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Languages and Compilers for Parallel Computing: 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised Selected Papers

Rajopadhye, Sanjay ; Mills Strout, Michelle Rajopadhye, Sanjay ; Mills Strout, Michelle

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
4
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Liu, Shaoying Liu, Shaoying

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
5
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
6
SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings

Khendek, Ferhat ; Toeroe, Maria ; Gherbi, Abdelouahed ; Reed, Rick Reed, Rick ; Khendek, Ferhat ; Gherbi, Abdelouahed ; Toeroe, Maria

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
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

Ayala, José L ; Shang, Delong ; Yakovlev, Alex Ayala, Jos' L ; Shang, Delong ; Yakovlev, Alex

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
9
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Brat, Guillaume ; Rungta, Neha ; Venet, Arnaud Venet, Arnaud ; Brat, Guillaume ; Rungta, Neha

Netherlands: Springer Nature 2013

Texto completo disponível

Citações Citado por
10
Languages and Compilers for Parallel Computing: 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
Languages and Compilers for Parallel Computing: 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Languages and Compilers for Parallel Computing: 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers

Kasahara, Hironori ; Kimura, Keiji Kimura, Keiji ; Kasahara, Hironori

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.