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 methods in system design, 2022-08, Vol.61 (1), p.63-89
2022
Volltextzugriff (PDF)
Software and systems modeling, 2024-04, Vol.23 (2), p.285-287
2024
Volltextzugriff (PDF)
ACM computing surveys, 2017-10, Vol.50 (5), p.1-39, Article 76
2017
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2024-09, Vol.46 (3), p.1-50, Article 9
2024
Volltextzugriff (PDF)
Formal aspects of computing, 2021-08, Vol.33 (4-5), p.617-636
2021
Volltextzugriff (PDF)
Scientific programming, 2016-01, Vol.2016 (2016), p.1-9
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2014-12, Vol.10, Issue 4, p.1-29
2014
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.783-802
2022
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-01, Vol.62 (1), p.93-126
2019
Volltextzugriff (PDF)
Fundamenta informaticae, 2018-01, Vol.159 (3), p.197-256
2018
Volltextzugriff (PDF)
Acta informatica, 2017-06, Vol.54 (4), p.343-378
2017
Volltextzugriff (PDF)
Journal of magnetism and magnetic materials, 2004-12, Vol.283 (2-3), p.409-414
2004
Volltextzugriff (PDF)
Journal of computer and system sciences, 2012-05, Vol.78 (3), p.823-852
2012
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2015-02, Vol.17 (1), p.107-119
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-08, Vol.223 (Proc. ICE 2016), p.51-66
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.302 (Proc. VORTEX 2018), p.1-15
2019
Volltextzugriff (PDF)
Service-Oriented and Cloud Computing, 2017, Vol.10465, p.143-158
2017
Volltextzugriff (PDF)
Fundamentals of Software Engineering, 2015, Vol.9392, p.191-206
2015
Volltextzugriff (PDF)
Acta informatica, 2018-09, Vol.55 (6), p.459-460
2018
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1997-09, Vol.19 (5), p.685-725
1997
Volltextzugriff (PDF)
Fundamentals of Software Engineering, 2013, Vol.8161, p.1-16
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-12, Vol.104 (Proc. ICE 2012), p.99-113
2012
Volltextzugriff (PDF)
Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.203-234
2020
Volltextzugriff (PDF)
Lecture notes in computer science, 2019
2019
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Software Engineering
- Science & Technology - Other Topics
- Logic
- Physical Sciences
- Computer Science, Hardware & Architecture
- Mathematics
- Mathematics, Applied
- Computer Science, Artificial Intelligence
- Engineering
- Materials Science
- Model Check
Kollektion
- Ingenta.com
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Electronic Library Online
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- ACM Digital Library Complete
- MEDLINE
- NUS Single-Journal Subscriptions
- Ovid
- EBSCOhost Business Source Ultimate
- Oxford Journals Online Current
- Wiley-Blackwell Journals
- APS: American Physical Society E-Journals (Physics)
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Journal Of Logic And Computation
- Software And Systems Modeling
- Acm Transactions On Programming Languages And Systems
- Acta Informatica
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Environmental Science & Technology
- Fundamenta Informaticae
Neu hinzugefügt