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...Logical methods in computer science, 2024-01, Vol.20, Issue 1
2024
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.276 (Proc. EXPRESS/SOS 2018), p.69-86
2018
Volltextzugriff (PDF)
Structured Object-Oriented Formal Language and Method, p.62-80
Volltextzugriff (PDF)
Science China. Information sciences, 2017-06, Vol.61 (1), p.95-108, Article 012102
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-08, Vol.255 (Proc. EXPRESS/SOS 2017), p.51-66
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023-09, Vol.387, p.149-167
2023
Volltextzugriff (PDF)
Journal of information processing (Tokyo), 2024, Vol.32, p.552-564
2024
Volltextzugriff (PDF)
Reversible Computation, p.204-212
Volltextzugriff (PDF)
Science of computer programming, 2019-03, Vol.172, p.135-159
2019
Volltextzugriff (PDF)
IEICE transactions on information and systems, 2012-01, Vol.E95.D (8)
2012
Volltextzugriff (PDF)
IEICE Transactions on Information and Systems, 2012/08/01, Vol.E95.D(8), pp.2053-2064
2012
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-10, Vol.69 (Proc. PLACES 2010), p.74-91
2011
Volltextzugriff (PDF)
Reversible Computation, p.181-200
Volltextzugriff (PDF)
New generation computing, 2018-07, Vol.36 (3), p.281-306
2018
Volltextzugriff (PDF)
IEICE Transactions on Information and Systems, 2012/05/01, Vol.E95.D(5), pp.1341-1341
2012
Volltextzugriff (PDF)
IEICE transactions on information and systems, 2012, Vol.E95.D (5), p.1341-1341
2012
Volltextzugriff (PDF)
Reversible Computation, 2020, p.272-279
2020
Volltextzugriff (PDF)
Coordination Models and Languages, p.99-118
Volltextzugriff (PDF)
Reversible Computation, p.218-232
Volltextzugriff (PDF)
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT
2020
Volltextzugriff (PDF)
2017 2nd International Conference on System Reliability and Safety (ICSRS), 2017, p.505-511
2017
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2022, Vol.13273, p.31-49
2022
Volltextzugriff (PDF)
Reversible Computation, p.1-14
Volltextzugriff (PDF)
14th Asia-Pacific Software Engineering Conference (APSEC'07), 2007, p.366-373
2007
Volltextzugriff (PDF)
Information and computation, 2009-02, Vol.207 (2), p.120-145
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Concurrency
- Exact Sciences And Technology
- Life Sciences & Biomedicine
- Control Systems
- Timed Automata
- Engineering
- Oncology
- Real-Time Systems
- Reversible Computation
- Software Engineering
- Theoretical Computing
- Automatic Control
- Automation
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- Springer Book Series
- Elsevier ScienceDirect Journals Complete
- IEEE Xplore
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- SpringerLink
- Wiley Online Library
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Ieice Transactions On Information And Systems
- Electronic Proceedings In Theoretical Computer Science
- Information And Computation
- Clinical Genitourinary Cancer
- Information And Media Technologies
- Journal Of Information Processing
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Embo Reports
- International Journal Of Clinical Oncology
Neu hinzugefügt