Resultados da busca - "embedded system"
Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
- Computer networking & communications 36
- Software Engineering 36
- Artificial intelligence 32
- Algorithms & data structures 28
- Computer science 25
- History of engineering & technology 20
- Computer programming / software development 14
- Technology: general issues 14
- Circuits & components 12
- Computer modelling & simulation 10
- Electrical engineering 10
- Mathematical theory of computation 10
- Embedded systems 8
- Expert systems / knowledge-based systems 8
- Systems analysis & design 8
- Chemistry 6
- Computer architecture & logic design 6
- Computing & information technology 6
- Databases 6
- Cooperating objects (Computer systems) 5
- Cyber-Physical Systems 5
- Computer hardware 4
- Computer networks 4
- Electronics engineering 4
- Energy 4
- Energy industries & utilities 4
- Natural language & machine translation 4
- Programming & scripting languages: general 4
- Software engineering 4
- Computer Engineering and Networks 3
-
41
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Publicado em 2023Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
42
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Publicado em 2023Assuntos: “…embedded systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro -
43
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Publicado em 2023Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
44
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Publicado em 2023Assuntos: “…embedded systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro -
45
Circuits and Systems Advances in Near Threshold Computing
Publicado em 2021Assuntos: “…embedded system…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
46
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Publicado em 2022Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
47
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Publicado em 2022Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
48
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Publicado em 2022Assuntos: “…embedded systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro -
49
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Publicado em 2022Assuntos: “…embedded systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro -
50
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Publicado em 2021Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
51
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Publicado em 2021Assuntos: “…embedded systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro -
52
Recent Advances in Embedded Computing, Intelligence and Applications
Publicado em 2022Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
53
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Publicado em 2021Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
54
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 o...
Publicado em 2022Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
55
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Publicado em 2022Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
56
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Publicado em 2022Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
57
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Publicado em 2022Assuntos: “…embedded systems…”
DOAB: download the publication
DOAB: description of the publication
Recurso Eletrônico Capítulo de Livro -
58
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Publicado em 2021Assuntos: “…embedded systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro -
59
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
Publicado em 2022Assuntos: “…embedded systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro -
60
Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Publicado em 2022Assuntos: “…embedded systems…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Recurso Eletrônico Capítulo de Livro