Sortiert nach
ELLIIT: the Linköping-Lund initiative on IT and mobile communication, 2022, Vol.13512
1, 2022
Link zum Volltext
Model Checking, Synthesis, and Learning, 2022, Vol.13030, p.97-114
2022
Link zum Volltext
Optics express, 2021-03, Vol.29 (7), p.11254-11267
2021
Link zum Volltext
12th International Conference on Software Engineering and Formal Methods (SEFM'14), Grenoble, France. Lecture Notes in Computer Science, 2014, Vol.8702, p.378-392
2014
Link zum Volltext
Principles of Systems Design, 2022, Vol.13660, p.494-510
2022
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, p.228
2022
Link zum Volltext
Ad hoc networks, 2013-11, Vol.11 (8), p.2661-2674
2013
Link zum Volltext
Pattern recognition letters, 2014-06, Vol.42 (1), p.11-24
2014
Link zum Volltext
CAV 2023: Computer Aided Verification, 2023, p.18
2023
Link zum Volltext
Ai communications, 2021, Vol.34 (1), p.1
2021
Link zum Volltext
IEEE transactions on robotics, 2016-02, Vol.32 (1), p.1-19
2016
- Link zum Volltext
Computer Aided Verification - 35th International Conference, {CAV} 2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}, 2023, p.184
2023
Link zum Volltext
CAV 2023: Computer Aided Verification, 2023, p.281
2023
Link zum Volltext
Formal Methods in Outer Space, 2021, p.89-107
2021
Link zum Volltext
Future generation computer systems, 2018, Vol.80, p.250
2018
Link zum Volltext
Mechanical systems and signal processing, 2021-04, Vol.151, p.107398, Article 107398
2021
Link zum Volltext
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 2022, Vol.13701 LNCS, p.174-187
2022
Link zum Volltext
Lecture Notes in Computer Science book series (LNCS,volume 13703), 2022, p.82-96
2022
Link zum Volltext
IEEE sensors journal, 2013-10, Vol.13 (10), p.3711-3720
2013
- Link zum Volltext
Nucleic acids research, 2019-01, Vol.47 (D1), p.D259
2019
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, p.152-169
2019
Link zum Volltext
Journal of cleaner production, 2021-05, Vol.297, p.126655, Article 126655
2021
Link zum Volltext
Expert systems with applications, 2024-03, Vol.237, p.121443, Article 121443
2024
Link zum Volltext
IEEE access, 2019, Vol.7, p.12928
2019
Link zum Volltext
Journal of field robotics, 2020-09, Vol.37 (6), p.1027-1039
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Datavetenskap
- Technology
- Science & Technology
- Information Technology
- Teknikvetenskap
- Informationsteknik
- Computer Science, Theory & Methods
- Data- Och Informationsvetenskap
- Naturvetenskap
- Natural Sciences
- Computer And Information Science
- Engineering
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Engineering, Electrical & Electronic
- Computer Science, Artificial Intelligence
- Telecommunications
- Software
- Computer Science, Hardware & Architecture
Kollektion
- IngentaConnect
- IEEE Xplore
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Springer Book Series
- ACM Digital Library
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- SpringerNature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Wiley Online Library
- EBSCOhost Business Source Ultimate
- Wiley Online Library Full Collection 2018
- Taylor & Francis
- Taylor & Francis Online
- SAGE Complete
Zeitschrift / Serie
Neu hinzugefügt