skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Engineering remover assunto: Computer Simulation remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Ludwig, André ; Cabello, Enrique ; van Sinderen, Marten ; Maciaszek, Leszek A. ; Cardoso, Jorge

Cham: Springer International Publishing 2019

Sem texto completo

Citações Citado por
2
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

Furia, Carlo A. ; Winter, Kirsten

Cham: Springer International Publishing 2018

Sem texto completo

Citações Citado por
3
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings

Rabe, Florian ; Hasan, Osman ; Geuvers, Herman ; England, Matthew ; Teschke, Olaf

Cham: Springer International Publishing 2017

Sem texto completo

Citações Citado por
4
Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers

Lorenz, Pascal ; Cardoso, Jorge ; Maciaszek, Leszek A ; van Sinderen, Marten van Sinderen, Marten ; Cardoso, Jorge ; Lorenz, Pascal ; Maciaszek, Leszek A ; Cardoso, Jorge ; Maciaszek, Leszek A. ; van Sinderen, Marten ; Lorenz, Pascal

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
5
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

Narkawicz, Anthony ; Dutle, Aaron ; Muñoz, César

Cham: Springer International Publishing 2018

Sem texto completo

Citações Citado por
6
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

Merino, Pedro ; Gallardo, María del Mar

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
7
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

James, Phillip ; Roggenbach, Markus Roggenbach, Markus ; James, Phillip

Cham: Springer International Publishing 2017

Sem texto completo

Citações Citado por
8
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Ahrendt, Wolfgang ; Tapia Tarifa, Silvia Lizeth

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
9
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Material Type:
Livro 		Adicionar ao Meu Espaço

It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

Rutten, Jan ; de Boer, Frank ; Bonsangue, Marcello

Cham: Springer International Publishing 2018

Sem texto completo

Citações Citado por
10
Power System Real-Time Emulation: A Practical Virtual Instrumentation to Complete Electric Power System Modeling
Power System Real-Time Emulation: A Practical Virtual Instrumentation to Complete Electric Power System Modeling
Material Type:
Artigo 		Adicionar ao Meu Espaço

Power System Real-Time Emulation: A Practical Virtual Instrumentation to Complete Electric Power System Modeling

Parizad, Ali ; Mohamadian, Sobhan ; Iranian, Mohamad Esmaeil ; Guerrero, Josep M.

IEEE transactions on industrial informatics, 2019-02, Vol.15 (2), p.889-900

Piscataway: IEEE

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 (1.039)
  2. Revistas revisadas por pares (945)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (971)
  2. Livros  (79)
  3. Anais de Congresso  (76)
  4. magazinearticle  (8)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1990  (16)
  2. 1990Até1997  (76)
  3. 1998Até2005  (85)
  4. 2006Até2014  (387)
  5. Após 2014  (609)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.133)
  2. Japonês  (48)
  3. Português  (3)
  4. Alemão  (3)
  5. Russo  (1)
  6. Espanhol  (1)
  7. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.