ERROR: Record not found
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)
Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Volltextzugriff (PDF)
Logical methods in computer science, 2007-11, Vol.3, Issue 4
2007
Volltextzugriff (PDF)
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Volltextzugriff (PDF)
Theoretical computer science, 2011-09, Vol.412 (38), p.5095-5110
2011
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021-12, Vol.351
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-07, Vol.250 (Proc. QAPL 2017), p.25-38
2017
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)
1, 2020
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)
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
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)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Computer Science, Software Engineering
- Networking And Internet Architecture
- Coalgebra
- Humans
- Logic
- Science & Technology - Other Topics
- Male
- Mathematics
- Physical Sciences
- Software Engineering
- Adult
- Female
- Mathematics, Applied
- Patients
- Rheumatology
Kollektion
- Ingenta Connect
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- ACM Digital Library Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Complete
- IEEE Electronic Library (IEL)【Remote access available】
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford University Press Journals Current
- IngentaConnect Journals
- Wiley-Blackwell Journals
- NUS Single-Journal Subscriptions
- JSTOR Complete Journals
- Wiley Online Library
- Taylor & Francis:Master (3349 titles)
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Logical Methods In Computer Science
- Theoretical Computer Science
- Sigplan Notices
- Acta Medica Portuguesa
- Integrative And Comparative Biology
- International Journal On Software Tools For Technology Transfer
- Journal Of Logic And Computation
- Journal Of Logical And Algebraic Methods In Programming
Neu hinzugefügt