Sortiert nach
Science of computer programming, 2016-03, Vol.118, p.60-76
2016
Link zum Volltext
Observable properties of higher order functions that dynamically create local names, or: What's new?
2005
Link zum Volltext
Runtime Verification, p.339-358
Link zum Volltext
Theoretical computer science, 2008-01, Vol.390 (2), p.248-270
2008
Link zum Volltext
Theoretical computer science, 2018-09, Vol.741, p.1-2
2018
Link zum Volltext
IEEE transactions on computer-aided design of integrated circuits and systems, 2020-11, Vol.39 (11), p.3544-3554
2020
- Link zum Volltext
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-31
2019
Link zum Volltext
The 39th ACM International Conference on Design of Communication, 2021, p.382-383
2021
Link zum Volltext
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2024, p.52-59
2024
Link zum Volltext
2020 IEEE Symposium on Security and Privacy (SP), 2020, p.1003-1020
2020
- Link zum Volltext
Electronic notes in theoretical computer science, 2020-09, Vol.350, p.117-138
2020
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.185-199
Link zum Volltext
Lecture notes in computer science, 2005, p.262-277
2005
Link zum Volltext
Computer Science Logic, 2004, p.235-249
2004
Link zum Volltext
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.1-26
2005
Link zum Volltext
Foundations of Software Science and Computational Structures, 2005, p.155-169
2005
Link zum Volltext
2016 Formal Methods in Computer-Aided Design (FMCAD), 2016, p.33-40
2016
Link zum Volltext
Computational Methods in Systems Biology, p.103-122
Link zum Volltext
LISP and symbolic computation, 1996-02, Vol.9 (1), p.77-107
1996
Link zum Volltext
Computational Methods in Systems Biology, p.222-238
Link zum Volltext
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1, 2024, p.181-196
2024
Link zum Volltext
Typed Lambda Calculi and Applications, p.262-277
Link zum Volltext
2nd Edition, 2007
Link zum Volltext
Foundational and Practical Aspects of Resource Analysis, 2014, Vol.8552, p.1-18
2014
Link zum Volltext
Category Theory and Computer Science, 2005, p.106-126
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Biological And Medical Sciences
- Male
- Female
- Animals
- Fundamental And Applied Biological Sciences. Psychology
- Medical Sciences
- Biochemistry & Molecular Biology
- Oncology
- Technology
- Cell Line
- Science & Technology - Other Topics
- Physical Sciences
- Environmental Sciences & Ecology
- Multidisciplinary Sciences
- Adolescent
- Cell Biology
- Child
Kollektion
- MEDLINE
- Free E-Journal (出版社公開部分のみ）
- IngentaConnect Journals
- Ovid
- Single Journals
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library - AutoHoldings Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- JSTOR
- Ebook Central Perpetual and DDA
- Taylor & Francis Journals Auto-Holdings Collection
- eBooks on EBSCOhost
- Nature Journals
- Taylor & Francis
- Springer Book Series
- Taylor & Francis:Master (3349 titles)
- Springer Nature - Complete Springer Journals
- Oxford University Press Journals Current
Zeitschrift / Serie
Neu hinzugefügt