skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Books remover assunto: System Design remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Material Type:
Livro 		Adicionar ao Meu Espaço

Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

Marwedel, Peter

Cham: Springer International Publishing AG 2021

Texto completo disponível

Citações Citado por
2
Enterprise Architecture Patterns: Practical Solutions for Recurring IT-Architecture Problems
Enterprise Architecture Patterns: Practical Solutions for Recurring IT-Architecture Problems
Material Type:
Livro 		Adicionar ao Meu Espaço

Enterprise Architecture Patterns: Practical Solutions for Recurring IT-Architecture Problems

Perroud, Thierry ; Inversini, Reto

Berlin, Heidelberg: Springer Berlin / Heidelberg 2013

Texto completo disponível

Citações Citado por
3
Cooperative Design, Visualization, and Engineering: First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings
Cooperative Design, Visualization, and Engineering: First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Cooperative Design, Visualization, and Engineering: First International Conference, CDVE 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings

Luo, Yuhua Luo, Yuhua

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Texto completo disponível

Citações Citado por
4
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Finkbeiner, Bernd ; Kovács, Laura

Cham: Springer Nature 2024

Texto completo disponível

Citações Citado por
5
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Finkbeiner, Bernd ; Kovács, Laura

Cham: Springer Nature 2024

Texto completo disponível

Citações Citado por
6
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
7
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

Groote, Jan Friso ; Larsen, Kim Guldstrand Groote, Jan Friso ; Larsen, Kim Guldstrand

Cham: Springer Nature 2021

Texto completo disponível

Citações Citado por
8
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II

Biere, Armin ; Parker, David

Cham: Springer International Publishing AG 2020

Texto completo disponível

Citações Citado por
9
Wireless Algorithms, Systems, and Applications: 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings
Wireless Algorithms, Systems, and Applications: 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Wireless Algorithms, Systems, and Applications: 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012, Proceedings

Wang, Xinbing ; Zheng, Rong ; Jing, Tao ; Xing, Kai Wang, Xinbing ; Xing, Kai ; Jing, Tao ; Zheng, Rong

Netherlands: Springer Nature 2012

Texto completo disponível

Citações Citado por
10
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

Biere, Armin ; Parker, David

Cham: Springer International Publishing AG 2020

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (397)
  2. Book Chapters  (37)
  3. Anais de Congresso  (14)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1987  (23)
  2. 1987Até1995  (47)
  3. 1996Até2004  (195)
  4. 2005Até2014  (256)
  5. Após 2014  (70)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (446)
  2. Alemão  (7)
  3. Francês  (2)
  4. Japonês  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.