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...Transactions on Edutainment XV, p.173-208
Volltextzugriff (PDF)
Scalable Uncertainty Management, p.50-63
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.2, p.109-118
2015
Volltextzugriff (PDF)
Concurrency and computation, 2014-09, Vol.26 (14), p.2432-2455
2014
Volltextzugriff (PDF)
ACM computing surveys, 2017-02, Vol.49 (4), p.1-35
2017
Volltextzugriff (PDF)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015, Vol.2, p.303-306
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-04, Vol.248 (Proc. DICE-FOPARA 2017), p.24-37
2017
Volltextzugriff (PDF)
ACM transactions on mathematical software, 2010-04, Vol.37 (2), p.1-21
2010
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, p.93-112
Volltextzugriff (PDF)
Journal of symbolic computation, 2021-03, Vol.103, p.22-45
2021
Volltextzugriff (PDF)
Future generation computer systems, 2018-03, Vol.80, p.430-447
2018
Volltextzugriff (PDF)
Artificial intelligence in medicine, 2022-12, Vol.134, p.102438-102438, Article 102438
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-08, Vol.62 (Proc. SOS 2011), p.17-29
2011
Volltextzugriff (PDF)
Logical methods in computer science, 2009-05, Vol.5, Issue 2
2009
Volltextzugriff (PDF)
Proceedings of the 8th Computer Science Education Research Conference, 2019, p.50-57
2019
Volltextzugriff (PDF)
NASA Formal Methods, 2021, p.304-321
2021
Volltextzugriff (PDF)
Interactive Theorem Proving, p.135-151
Volltextzugriff (PDF)
Computer languages, systems & structures, 2015-12, Vol.44, p.166-180
2015
Volltextzugriff (PDF)
Advances in Service-Oriented and Cloud Computing, p.93-110
Volltextzugriff (PDF)
Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021, Vol.12946, p.390-393
2021
Volltextzugriff (PDF)
Science of computer programming, 2015-11, Vol.111, p.363-364
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Software Engineering
- Functional Language
- Programming Languages
- Computer Software
- Engineering
- Logics And Meanings Of Programs
- Mathematics
- Proof Assistant
- Abstract Interpretation
- Computer Science, Artificial Intelligence
- Congresses
Kollektion
- Connected Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Ebook Central Perpetual and DDA
- ACM Digital Library
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- IEEE Electronic Library (IEL)
- Access via ScienceDirect (Elsevier)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- MEDLINE
- Journals@Ovid Full Text
- SpringerNature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Journals
- Access via Business Source (EBSCOhost)
- Wiley Online Library
Zeitschrift / Serie
- Acm Transactions On Mathematical Software
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Functional Programming
- Lecture Notes In Computer Science
- Science Of Computer Programming
- Acm Computing Surveys
- Acm Inroads
- Artificial Intelligence In Medicine