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...Journal of hydroinformatics, 2023-07, Vol.25 (4), p.1256-1275
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-02, Vol.24 (1), p.49-65
2022
Volltextzugriff (PDF)
Science of computer programming, 2023-08, Vol.230, p.102992, Article 102992
2023
Volltextzugriff (PDF)
Science of computer programming, 2023-08, Vol.230, p.102987, Article 102987
2023
Volltextzugriff (PDF)
Fundamenta informaticae, 2023-10, Vol.189 (3-4), p.297-320
2023
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.106-122
Volltextzugriff (PDF)
Mathematical structures in computer science, 2012-08, Vol.22 (4), p.581-617
2012
Volltextzugriff (PDF)
2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2022, p.239-250
2022
Volltextzugriff (PDF)
Nonlinear analysis. Hybrid systems, 2024-08, Vol.53, p.101504, Article 101504
2024
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2016-08, Vol.18 (4), p.409-426
2016
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2019-10, Vol.107, p.177-178
2019
Volltextzugriff (PDF)
IEEE INFOCOM 2018 - IEEE Conference on Computer Communications, 2018, p.1799-1807
2018
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.69-81
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2020-10, Vol.22 (5), p.635-654
2020
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2018-10, Vol.20 (5), p.529-546
2018
Volltextzugriff (PDF)
Astronomy and astrophysics (Berlin), 2018-02, Vol.610, p.A73
2018
Volltextzugriff (PDF)
Icarus (New York, N.Y. 1962), 2020-05, Vol.341, p.113670, Article 113670
- Ferus, Martin
- Petera, Lukáš
- Koukal, Jakub
- Lenža, Libor
- Drtinová, Barbora
- Haloda, Jakub
- Matýsek, Dalibor
- Pastorek, Adam
- Laitl, Vojtěch
- Poltronieri, Renato Cassio
- Domingues, Marcelo Wagner
- Gonçalves, Gabriel
- del Olmo Sato, Rodrigo
- Knížek, Antonín
- Kubelík, Petr
- Křivková, Anna
- Srba, Jiří
- di Pietro, Carlos Augusto
- Bouša, Milan
- Vaculovič, Tomáš
- Civiš, Svatopluk
2020
Volltextzugriff (PDF)
2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC), 2023, p.64-70
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 1
2021
Volltextzugriff (PDF)
Computer Science Logic, 2006, p.89-103
2006
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2019-01, Vol.102, p.46-63
2019
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, p.33-47
Volltextzugriff (PDF)
2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2024, p.483-494
2024
Volltextzugriff (PDF)
IEEE INFOCOM 2024 - IEEE Conference on Computer Communications, 2024, p.2398-2407
2024
Volltextzugriff (PDF)
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
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- User Interface Design & Usability
- Physical Sciences
- Theoretical Computing
- Label Transition System
- Mathematics
- Model Check
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Software
- Mathematics, Applied
- Software Engineering
- Algorithms
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- IEEE/IET Electronic Library (IEL)
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Cambridge Journals Online (DEFF)
- IngentaConnect Journals
- Wiley Online Library All Obooks
- EBSCOhost Business Source Ultimate
- MEDLINE
- Journals@Ovid Full Text
- Publisher or Other Site
Zeitschrift / Serie
- Brics Report Series
- International Journal On Software Tools For Technology Transfer
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Fundamenta Informaticae
- Information And Computation
- Theoretical Computer Science
- Acta Informatica
- Icarus
- Journal Of Logical And Algebraic Methods In Programming
Neu hinzugefügt