skip to main content
Idioma:
Resultados 1 2 3 4 next page
Refinado por: Base de dados/Biblioteca: DOAB: Directory of Open Access Books remover assunto: System Design remover Springer Books 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
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
3
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
4
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
5
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 I
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 I
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 I

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

Cham: Springer Nature 2021

Texto completo disponível

Citações Citado por
6
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

Vojnar, Tomás ; Zhang, Lijun

Cham: Springer International Publishing AG 2019

Texto completo disponível

Citações Citado por
7
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

Citações Citado por
8
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Beyer, Dirk ; Huisman, Marieke Huisman, Marieke ; Beyer, Dirk

Cham: Springer Nature 2018

Texto completo disponível

Citações Citado por
9
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held As Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Beyer, Dirk ; Huisman, Marieke ; Kordon, Fabrice ; Steffen, Bernhard

Cham: Springer International Publishing AG 2019

Texto completo disponível

Citações Citado por
10
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Material Type:
Livro 		Adicionar ao Meu Espaço

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Fisman, Dana ; Rosu, Grigore Rosu, Grigore ; Fisman, Dana

Cham: Springer Nature 2022

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 next page

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

Buscando em bases de dados remotas. Favor aguardar.