Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Formal aspects of computing, 2021-08, Vol.33 (4-5), p.729-761
2021
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023, p.729-741
2023
Volltextzugriff (PDF)
Discrete mathematics, 2020-02, Vol.343 (2), p.111657, Article 111657
2020
Volltextzugriff (PDF)
Theoretical computer science, 2017-08, Vol.688, p.2-23
2017
Volltextzugriff (PDF)
Formal aspects of computing, 2021-08, Vol.33 (4-5), p.729-761
2021
Volltextzugriff (PDF)
Distributed Computing and Networking, 2014, p.44-65
2014
Volltextzugriff (PDF)
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.786-797
2022
Volltextzugriff (PDF)
Discrete mathematics, 2019-01, Vol.342 (1), p.226-232
2019
Volltextzugriff (PDF)
Structural Information and Communication Complexity, 2016, Vol.9988, p.159-176
2016
Volltextzugriff (PDF)
Principles of Distributed Systems, 2014, p.453-468
2014
Volltextzugriff (PDF)
Palestine-Israel journal of politics, economics, and culture, 2010-01, Vol.16 (2), p.74-78
2010
Volltextzugriff (PDF)
Formal Methods, 2021, Vol.13047, p.163-181
2021
Volltextzugriff (PDF)
Formal Methods - the Next 30 Years, 2019, Vol.11800, p.83-100
2019
Volltextzugriff (PDF)
Pest management science, 2024-12, Vol.80 (12), p.6424-6436
2024
Volltextzugriff (PDF)
International immunology, 2011-07, Vol.23 (7), p.453-461
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Synthesis
- Distributed Algorithms
- Linearizability
- Shared Memory
- Specifications
- Synchronization
- Temporal Logic
- Algorithms
- Computer Science, Hardware & Architecture
- De Bruijn Sequence
- Ford Sequence
- Life Sciences & Biomedicine
- Mathematics
- Physical Sciences
- Prefer-Max Sequence
Kollektion
- IngentaConnect
- EZB-FREE-00999 freely available EZB journals
- Springer Book Series
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Access via ScienceDirect (Elsevier)
- EZB-NALI2-00462 Springer Archive NL
- IEEE Electronic Library (IEL)
- SpringerNature Journals
- Access via Wiley Online Library
- PAIS Index
- Access via Business Source (EBSCOhost)
- Access via Oxford University Press
- MEDLINE
- Oxford Journals 2020 Medicine
- Wiley Online Library Full Collection 2018
- Journals@Ovid Ovid Full Text