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...1st Edition 2021, 2021
Volltextzugriff (PDF)
1st ed. 2020., 2020
Volltextzugriff (PDF)
Theoretical computer science, 2011-09, Vol.412 (38), p.5095-5110
2011
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2023-02, Vol.25 (1), p.75-76
2023
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.39-58
2020
Volltextzugriff (PDF)
Journal of computer and system sciences, 2015-08, Vol.81 (5), p.859-879
2015
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.3-21
2020
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.96-114
2020
Volltextzugriff (PDF)
Journal of pure and applied algebra, 2015-08, Vol.219 (8), p.3110-3148
2015
Volltextzugriff (PDF)
Model Checking Software, p.45-62
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.169-186
2020
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.208-224
2020
Volltextzugriff (PDF)
Model Checking Software, p.81-98
Volltextzugriff (PDF)
Model Checking Software, p.140-156
Volltextzugriff (PDF)
Model Checking Software, p.120-139
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.59-77
2020
Volltextzugriff (PDF)
Theoretical computer science, 2011, Vol.412 (38), p.5095-5110
2011
Volltextzugriff (PDF)
Model Checking Software, p.101-119
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.22-38
2020
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.227-235
2020
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.78-95
2020
Volltextzugriff (PDF)
Journal of logic and computation, 2019-06, Vol.29 (4), p.417-418
2019
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.189-207
2020
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.150-168
2020
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2020, p.133-149
2020
Volltextzugriff (PDF)
Aktive Filter
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
- Networking And Internet Architecture
- Coalgebra
- Mathematics
- Software Engineering
- Life Sciences & Biomedicine
- Mathematics, Applied
- Physical Sciences
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Model Checking
- Natural Transformation
- Science & Technology - Other Topics
- Algorithms
Kollektion
- Ingenta
- SpringerLink Series
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford University Press Journals Current
- MEDLINE
- Journals@Ovid Complete
- Springer Nature - Complete Springer Journals
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Journal Of Logic And Computation
- Journal Of Logical And Algebraic Methods In Programming
- Science Of Computer Programming
- Acta Médica Portuguesa
- Allergologia Et Immunopathologia
- Free Radical Biology & Medicine
- Frontiers In Oncology
Neu hinzugefügt