Sortiert nach
Formal methods in system design, 2021-08, Vol.57 (2), p.157-177
2021
Link zum Volltext
Innovations in systems and software engineering, 2022-09, Vol.18 (3), p.471-481
2022
Link zum Volltext
Automated Technology for Verification and Analysis, p.249-265
Link zum Volltext
2021 Formal Methods in Computer Aided Design (FMCAD), 2021, p.14-23
2021
Link zum Volltext
2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2022, p.80-83
2022
- Link zum Volltext
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022, p.381-395
2022
Link zum Volltext
2018 Formal Methods in Computer Aided Design (FMCAD), 2018, p.1-10
2018
Link zum Volltext
Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, 2020, p.813-825
2020
Link zum Volltext
Acta medica Saliniana, 2023-02, Vol.52 (1-2)
2023
Link zum Volltext
Acta medica Saliniana, 2023, Vol.52 (1/2), p.18-23
2023
Link zum Volltext
30th Scientific-Experts Conference of Agriculture and Food Industry, p.132-140
Link zum Volltext
2021 29th Telecommunications Forum (TELFOR), 2021, p.1-4
2021
Link zum Volltext
2019 18th International Symposium INFOTEH-JAHORINA (INFOTEH), 2019, p.1-4
2019
Link zum Volltext
30th Scientific-Experts Conference of Agriculture and Food Industry, p.59-68
Link zum Volltext
2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO), 2020, p.442-445
2020
Link zum Volltext
32nd Scientific-Expert Conference of Agriculture and Food Industry, 2023, p.171-182
2023
Link zum Volltext
32nd Scientific-Expert Conference of Agriculture and Food Industry, 2023, p.56-71
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Engineering
- Algorithms
- Biofeedback
- Boolean Algebra
- Calculus
- Circuit Protection
- Computer Science, Software Engineering
- Engineering, Electrical & Electronic
- Masking
- Side-Channel Attacks
- Wearable Device
- Agriculture
- Algae Meal
- Alternations
- Amino Acids
- Antioxidants
Kollektion
- IEEE Electronic Library (IEL)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library Complete
- EZB Electronic Journals Library
- SpringerLink Journals (MCLS)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Ingenta
- SpringerLink Series
Zeitschrift / Serie