Sortiert nach
The International journal of robotics research, 2020-01, Vol.39 (1), p.73-99
2020
Link zum Volltext
ACM transactions on design automation of electronic systems, 2012-01, Vol.17 (1), p.1-21
2012
Link zum Volltext
Energies (Basel), 2020-05, Vol.13 (9), p.2409
2020
Link zum Volltext
JPhys photonics, 2024-01, Vol.6 (1), p.11001
2024
Link zum Volltext
IEEE access, 2020, Vol.8, p.79225-79238
2020
Link zum Volltext
A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus
2015
Link zum Volltext
IEEE embedded systems letters, 2018-09, Vol.10 (3), p.53-56
2018
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-04, Vol.248, p.2-3
2017
Link zum Volltext
ACM transactions on embedded computing systems, 2015-05, Vol.14 (3), p.1-25
2015
Link zum Volltext
IEEE transactions on intelligent transportation systems, 2022-11, Vol.23 (11), p.20538-20552
2022
Link zum Volltext
ACM transactions on embedded computing systems, 2018-06, Vol.17 (3), p.1-22
2018
Link zum Volltext
Computer journal, 2022-03, Vol.65 (3), p.718-735
2022
Link zum Volltext
ACM transactions on architecture and code optimization, 2017-04, Vol.14 (1), p.1-26
2017
Link zum Volltext
IEEE embedded systems letters, 2024-03, p.1-1
2024
- Link zum Volltext
IEEE embedded systems letters, 2022-09, Vol.14 (3), p.147-150
2022
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2021, Vol.348, p.54-72
2021
Link zum Volltext
Theory and practice of logic programming, 2015-07, Vol.15 (4-5), p.481-494
2015
Link zum Volltext
Formal aspects of computing, 2011-01, Vol.23 (1), p.73-89
2011
Link zum Volltext
2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC), 2019, p.232-233
2019
- Link zum Volltext
Formal aspects of computing, 2011, Vol.23 (1), p.73-89
2011
Link zum Volltext
Humanoid Robotics: A Reference, 2018, p.2397-2419
2018
Link zum Volltext
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems
2023
- Link zum Volltext
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2015, p.32-37
2015
- Link zum Volltext
Microprocessors and microsystems, 2016-11, Vol.47, p.278-286
2016
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Engineering
- Computer Science, Hardware & Architecture
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Computer Science, Theory & Methods
- Engineering, Electrical & Electronic
- Hardware
- Humans
- Immunology
- Software
- Computer Architecture
- Energy Consumption
- Safety
- Software Engineering
- Energy
- Energy Efficiency
- Mathematical Models
Kollektion
- IngentaConnect
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- IEEE Electronic Library (IEL)
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- ACM Digital Library
- Springer Books
- Springer Book Series
- Journals@Ovid Ovid Full Text
- Single Journals
- IngentaConnect Journals
- ScienceDirect Journals (5 years ago - present)
- Springer Online Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Nexis Uni
- Nature Journals Online
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- De Gruyter eBooks
- Business Source Ultimate
Zeitschrift / Serie
Neu hinzugefügt