Sortiert nach
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2020, p.1-7
2020
- Link zum Volltext
2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2018, p.3869-3873
2018
- Link zum Volltext
Automated Reasoning, p.330-345
Link zum Volltext
Principles of Security and Trust, p.226-246
Link zum Volltext
Runtime Verification, p.31-47
Link zum Volltext
Automated Deduction - CADE-25, p.467-481
Link zum Volltext
Document Analysis and Recognition – ICDAR 2021 Workshops, p.141-146
Link zum Volltext
Formal Methods: Foundations and Applications, p.23-36
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Link zum Volltext
2020 IEEE Wireless Communications and Networking Conference (WCNC), 2020, p.1-5
2020
- Link zum Volltext
IEEE INFOCOM 2018 - IEEE Conference on Computer Communications, 2018, p.360-368
2018
- Link zum Volltext
Theoretical Aspects of Computing - ICTAC 2015, p.165-183
Link zum Volltext
Computers Helping People with Special Needs, p.168-175
- Papadopoulos, Konstantinos
- Charitakis, Konstantinos
- Kartasidou, Lefkothea
- Kouroupetroglou, Georgios
- Sakalli Gumus, Suad
- Stylianidis, Efstratios
- Stiefelhagen, Rainer
- Müller, Karin
- Yilmaz, Engin
- Jaworek, Gerhard
- Polimeras, Christos
- Sayin, Utku
- Oikonomidis, Nikolaos
- Lithoxopoulos, Nikolaos
- Penaz, Petr
- Miesenberger, Klaus
- Bühler, Christian
Link zum Volltext
Computer Aided Verification, p.306-320
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7180, p.406-419
2012
Link zum Volltext
2023 IEEE Radar Conference (RadarConf23), 2023, p.1-5
2023
Link zum Volltext
2023 IEEE 97th Vehicular Technology Conference (VTC2023-Spring), 2023, p.1-6
2023
Link zum Volltext
AIP conference proceedings, 2018, Vol.1955 (1)
2018
Link zum Volltext
Frontiers in Handwriting Recognition, p.231-244
Link zum Volltext
Frontiers in Handwriting Recognition, p.112-121
Link zum Volltext
Automated Deduction - CADE-25, p.285-294
Link zum Volltext
2019 32nd International Conference on VLSI Design and 2019 18th International Conference on Embedded Systems (VLSID), 2019, p.335-340
2019
- Link zum Volltext
Advances in Ergonomics in Design, p.48-56
Link zum Volltext
Haptics: Science, Technology, and Applications, p.623-635
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Artificial Intelligence
- Telecommunications
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Function Symbol
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Predicate Symbol
- Physical Sciences
- Mathematics
- Theoretical Computing
- Software
- Artificial Intelligence
Kollektion
- SpringerLink Series
- IngentaConnect
- IEEE Xplore
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- ACM Digital Library
- IngentaConnect Journals
- Wiley Online Library All Obooks
- Business Source Ultimate
- Publisher website
- De Gruyter eBooks
- MEDLINE
- Springer Journals
- American Institute of Physics (AIP) Journals
- Taylor & Francis eBooks A-Z
- Electronic Journals Library
- ScienceDirect eBooks
- Journals@Ovid
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Full Collection