Sortiert nach
Cybersecurity (Singapore), 2023-12, Vol.6 (1), p.10-7, Article 10
2023
Link zum Volltext
IEEE access, 2021, Vol.9, p.83067-83079
2021
Link zum Volltext
J.UCS (Annual print and CD-ROM archive ed.), 2023-01, Vol.29 (12), p.1461-1481
2023
Link zum Volltext
Journal of cloud computing : advances, systems and applications, 2019-12, Vol.8 (1), p.1-13, Article 19
2019
Link zum Volltext
IEEE MICRO, 2023-07, Vol.43 (4), p.37-44
2023
- Link zum Volltext
IEEE transactions on dependable and secure computing, 2022-07, Vol.19 (4), p.1-1
2022
- Link zum Volltext
Theoretical computer science, 2023-10, Vol.976, p.114126, Article 114126
2023
Link zum Volltext
IEEE transactions on parallel and distributed systems, 2010-12, Vol.21 (12), p.1793-1807
2010
- Link zum Volltext
Proceedings of the ACM on measurement and analysis of computing systems, 2018-06, Vol.2 (2), p.1-30
2018
Link zum Volltext
Future generation computer systems, 2020-09, Vol.110, p.119-134
- Blanquer, Ignacio
- Brasileiro, Francisco
- Brito, Andrey
- Calatrava, Amanda
- Carvalho, André
- Fetzer, Christof
- Figueiredo, Flavio
- Guimarães, Ronny Petterson
- Marinho, Leandro
- Meira, Wagner
- Silva, Altigran
- Alberich-Bayarri, Ángel
- Camacho-Ramos, Eduardo
- Jimenez-Pastor, Ana
- Ribeiro, Antonio Luiz L.
- Nascimento, Bruno Ramos
- Silva, Fábio
2020
Link zum Volltext
Informatik-Spektrum, 2019-10, Vol.42 (5), p.358-359
2019
Link zum Volltext
Informatik-Spektrum, 2019-10, Vol.42 (5), p.358-359
2019
Link zum Volltext
IEEE transactions on parallel and distributed systems, 1999-06, Vol.10 (6), p.642-657
1999
- Link zum Volltext
Proceedings of the VLDB Endowment, 2011-08, Vol.4 (12), p.1462-1465
2011
Link zum Volltext
Formal Methods and Software Engineering, p.268-283
Link zum Volltext
Transactional Memory. Foundations, Algorithms, Tools, and Applications, p.245-267
Link zum Volltext
IEEE transactions on computers, 2003-02, Vol.52 (2), p.99-112
2003
- Link zum Volltext
Journal of parallel and distributed computing, 2010-10, Vol.70 (10), p.1053-1067
2010
Link zum Volltext
Stabilization, Safety, and Security of Distributed Systems, p.222-238
Link zum Volltext
Lecture notes in computer science, 2003, p.186-190
2003
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.416-439
Link zum Volltext
Journal of parallel and distributed computing, 2010, Vol.70 (10), p.1053-1067
2010
Link zum Volltext
Microprocessors and microsystems, 2015-11, Vol.39 (8), p.1174-1189
2015
Link zum Volltext
IEEE transactions on software engineering, 2004-08, Vol.30 (8), p.547-560
2004
- Link zum Volltext
Dependable Computing, p.2-3
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Computer Science, Hardware & Architecture
- Educational: Mathematics & Numeracy
- Engineering
- Engineering, Electrical & Electronic
- Software
- Security
- Algorithms
- Arithmetic Code
- Clocks
- Computer Networks
- Hardware
- Transactional Memory
- Application Software
- Cloud Computing
Kollektion
- IngentaConnect Journals
- Ebook Central Perpetual and DDA
- SpringerLink Series
- IEEE Electronic Library (IEL)
- Springer Books
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- ACM Digital Library Complete
- Springer Nature - Complete Springer Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Journals
- Wiley Online Library Full Collection 2018
- Ovid Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
- UTB Scholars
Zeitschrift / Serie
Neu hinzugefügt