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...ACM transactions on computational logic, 2024-04, Vol.25 (2), p.1-40, Article 11
2024
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2024-04, Vol.138, p.100944, Article 100944
2024
Volltextzugriff (PDF)
Logical methods in computer science, 2024-01, Vol.20, Issue 1
2024
Volltextzugriff (PDF)
Reversible Computation, p.3-9
Volltextzugriff (PDF)
Reversible Computation, p.105-123
Volltextzugriff (PDF)
Coordination Models and Languages, p.3-19
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2023-10, Vol.135, p.100890, Article 100890
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2023-08, Vol.19, Issue 3 (3)
2023
Volltextzugriff (PDF)
Reversible Computation, p.24-39
Volltextzugriff (PDF)
Lecture notes in computer science, 2023, Vol.14287, p.270-287
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2022, Vol.365, p.53-68
2022
Volltextzugriff (PDF)
Science of computer programming, 2022-06, Vol.218, p.102808, Article 102808
2022
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.205-219
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2022, Vol.13478, p.106-122
2022
Volltextzugriff (PDF)
2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), 2022, p.100-103
2022
Volltextzugriff (PDF)
IT professional, 2022-01, Vol.24 (1), p.74-80
2022
Volltextzugriff (PDF)
Formal Techniques for Distributed Objects, Components, and Systems, 2022, Vol.13273, p.31-49
2022
Volltextzugriff (PDF)
Coordination Models and Languages, 2022, Vol.LNCS - 13271, p.121-139
2022
Volltextzugriff (PDF)
Reversible Computation, 2022, Vol.LNCS-13354, p.187-203
2022
Volltextzugriff (PDF)
Information and computation, 2021-08, Vol.279, p.104611, Article 104611
2021
Volltextzugriff (PDF)
IT professional, 2021-05, Vol.23 (3), p.12-17
2021
Volltextzugriff (PDF)
Acta informatica, 2021-04, Vol.58 (1-2), p.1-34
2021
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2021-02, Vol.119, p.100620, Article 100620
2021
Volltextzugriff (PDF)
Formal Aspects of Component Software, p.82-92
Volltextzugriff (PDF)
Fundamenta informaticae, 2021-01, Vol.178 (3), p.229-266
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Programming / Software Development
- Programming Languages
- Computer Science, Information Systems
- Mathematical Theory Of Computation
- Software Engineering
- Formal Languages And Automata Theory
- Networking And Internet Architecture
- Mathematics
- Operational Semantic
- Logic
- Science & Technology - Other Topics
- Computer Architecture & Logic Design
- Parallel Composition
- Algorithms & Data Structures
- User Interface Design & Usability
Kollektion
- Ingenta Connect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library (IEL)
- ACM Digital Library Complete
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- SpringerLink Journals - AutoHoldings
- Business Source Ultimate
- MEDLINE
- Taylor & Francis eBooks A-Z
- NUS Single-Journal Subscriptions
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Science Of Computer Programming
- Journal Of Logical And Algebraic Methods In Programming
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Electronic Notes In Theoretical Computer Science
- Logical Methods In Computer Science
- Fundamenta Informaticae
- Information And Computation