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...Computers and electronics in agriculture, 2023-07, Vol.210, p.107897, Article 107897
2023
Volltextzugriff (PDF)
Information and computation, 2020-12, Vol.275, p.104588, Article 104588
2020
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2022-03, Vol.44 (1), p.1-50
2022
Volltextzugriff (PDF)
Frontiers in psychology, 2021-03, Vol.12, p.646170-646170
2021
Volltextzugriff (PDF)
International journal of foundations of computer science, 2016-02, Vol.27 (2), p.215-233
2016
Volltextzugriff (PDF)
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 2007, p.161-170
2007
Volltextzugriff (PDF)
Communications biology, 2023-11, Vol.6 (1), p.1146-1146, Article 1146
2023
Volltextzugriff (PDF)
Mathematical Foundations of Computer Science 2014, p.377-389
Volltextzugriff (PDF)
Information and computation, 2017-04, Vol.253, p.257-271
2017
Volltextzugriff (PDF)
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, p.1150-1153
2019
Volltextzugriff (PDF)
LATIN 2010: Theoretical Informatics, p.96-107
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.299-314
Volltextzugriff (PDF)
Proceedings of the ... AAAI Conference on Artificial Intelligence, 2023, Vol.37 (5), p.6330-6337
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-08, Vol.161 (Proc. GandALF 2014), p.74-87
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-07, Vol.87 (Proc. FIT 2012), p.34-47
2012
Volltextzugriff (PDF)
Static Analysis, p.129-145
Volltextzugriff (PDF)
Neuropsychiatrie de l'enfance et de l'adolescence, 2020-03, Vol.68 (2), p.106-113
2020
Volltextzugriff (PDF)
Computer Aided Verification, p.477-492
Volltextzugriff (PDF)
Computer Aided Verification, p.629-644
Volltextzugriff (PDF)
Journal of computer security, 2014-01, Vol.22 (6), p.961-996
2014
Volltextzugriff (PDF)
SIGPLAN notices, 2011-01, Vol.46 (1), p.283-294
2011
Volltextzugriff (PDF)
Data and Applications Security and Privacy XXXI, p.41-62
Volltextzugriff (PDF)
Information and computation, 2008-09, Vol.206 (9), p.1161-1177
2008
Volltextzugriff (PDF)
International journal of methods in psychiatric research, 2011-03, Vol.20 (1), p.e6-e18
2011
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, p.174-191
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Mathematics
- Automata
- Computer Science, Information Systems
- Physical Sciences
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Concurrent Program
- Mathematics, Applied
- Algorithmics. Computability. Computer Arithmetics
- Engineering
- Logic
- Model Checking
- Software
Kollektion
- IngentaConnect
- SpringerLink Series
- ACM Digital Library
- EZB Electronic Journals Library
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- eBooks on EBSCOhost
- MEDLINE
- IngentaConnect Journals
- Journals@Ovid Full Text
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Journals
- EBSCO_Psychology & Behavioral Sciences Collection
- Wiley Online Library
- Nature - Journals : Nature ; Nature Climate Change
- SpringerLink
Zeitschrift / Serie
- Information And Computation
- Sigplan Notices
- Acm Sigplan Notices
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Acm Transactions On Programming Languages And Systems
- Communications Biology
- Computers And Electronics In Agriculture
- Frontiers In Psychology
- Iee Proceedings. Computers And Digital Techniques