Sortiert nach
Proceedings of ACM on programming languages, , Vol.3 (POPL), p.1-32
Link zum Volltext
Journal of Clinical Microbiology, 2012-06, Vol.50 (6), p.1958-1963
2012
Link zum Volltext
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.215-258, Article 196
2023
Link zum Volltext
Parasites & vectors, 2012-06, Vol.5 (1), p.128-128, Article 128
2012
Link zum Volltext
Veterinary parasitology, 2012-09, Vol.188 (3-4), p.294-300
2012
Link zum Volltext
Logical methods in computer science, 2022-02, Vol.16, Issue 1
2022
Link zum Volltext
Logical methods in computer science, 2020-02, Vol.16 (1), p.15:1-15:58
2020
Link zum Volltext
Veterinary parasitology, 2011-12, Vol.183 (1-2), p.31-36
2011
Link zum Volltext
Proceedings of ACM on programming languages, 2017-08, Vol.1 (ICFP), p.1-28
2017
Link zum Volltext
ACM transactions on programming languages and systems, 2009-10, Vol.32 (1), p.1-56
2009
Link zum Volltext
ACM transactions on programming languages and systems, 2009-06, Vol.31 (5), p.1-61
2009
Link zum Volltext
Proceedings of ACM on programming languages, 2024, Vol.8 (POPL)
2024
Link zum Volltext
Science of computer programming, 2022-05, Vol.217 (102781), p.102781, Article 102781
2022
Link zum Volltext
Logical methods in computer science, 2012-03, Vol.8, Issue 1
2012
Link zum Volltext
Logical methods in computer science, 2012, Vol.8 (1), p.1-45
2012
Link zum Volltext
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
2008
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1179-1210, Article 40
2024
Link zum Volltext
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-31
2022
Link zum Volltext
Parasitology research (1987), 2011-08, Vol.109 (Suppl 1), p.87-96
2011
Link zum Volltext
CONCUR 2009 - Concurrency Theory, p.211-228
Link zum Volltext
Theoretical computer science, 2010-12, Vol.411 (51-52), p.4357
2010
Link zum Volltext
Lecture notes in computer science, 2005, p.1-20
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Male
- Female
- Technology
- Computer Science
- Middle Aged
- Adult
- Infectious Diseases
- Aged
- Immunology
- Computer Science, Software Engineering
- Programming Languages
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Microbiology
- Retrospective Studies
- Hiv Infections - Drug Therapy
Kollektion
- EZB Electronic Journals Library
- Ingenta
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library
- Single Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer eBooks Collection
- Wiley Online Library Journals Frontfile Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Full Collection 2018
- Oxford University Press Journals Current
- Oxford Journals 2020 Medicine
- IEEE Xplore Digital Library
- Sage Journals
Zeitschrift / Serie
Neu hinzugefügt