Sortiert nach
ACM transactions on database systems, 2012-12, Vol.37 (4), p.1-46
2012
Link zum Volltext
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-30
2019
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 4
2021
Link zum Volltext
ACM transactions on programming languages and systems, 2019-06, Vol.41 (2), p.1-76, Article 12
2019
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-29
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-32
2018
Link zum Volltext
Theoretical computer science, 2018-11, Vol.750, p.24-37
2018
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.638-666, Article 22
2024
Link zum Volltext
SIGPLAN notices, 2016-04, Vol.51 (1), p.123-136
2016
Link zum Volltext
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.1-32, Article 1
2024
Link zum Volltext
SIGPLAN notices, 2015-12, Vol.50 (10), p.1-19
2015
Link zum Volltext
Automated Technology for Verification and Analysis, p.352-369
Link zum Volltext
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-31
2022
Link zum Volltext
Programming Languages and Systems, p.273-292
Link zum Volltext
2017 Formal Methods in Computer Aided Design (FMCAD), 2017, p.76-83
2017
- Link zum Volltext
The Lancet infectious diseases, 2020-05, Vol.20 (5), p.565-574
- To, Kelvin Kai-Wang
- Tsang, Owen Tak-Yin
- Leung, Wai-Shing
- Tam, Anthony Raymond
- Wu, Tak-Chiu
- Lung, David Christopher
- Yip, Cyril Chik-Yan
- Cai, Jian-Piao
- Chan, Jacky Man-Chun
- Chik, Thomas Shiu-Hong
- Lau, Daphne Pui-Ling
- Choi, Chris Yau-Chung
- Chen, Lin-Lei
- Chan, Wan-Mui
- Chan, Kwok-Hung
- Ip, Jonathan Daniel
- Ng, Anthony Chin-Ki
- Poon, Rosana Wing-Shan
- Luo, Cui-Ting
- Cheng, Vincent Chi-Chung
- Chan, Jasper Fuk-Woo
- Hung, Ivan Fan-Ngai
- Chen, Zhiwei
- Chen, Honglin
- Yuen, Kwok-Yung
2020
Link zum Volltext
PLoS pathogens, 2013-01, Vol.9 (1), p.e1003129-e1003129
2013
Link zum Volltext
Science (American Association for the Advancement of Science), 2015-09, Vol.349 (6255), p.1518-1521
2015
Link zum Volltext
Journal of climate, 2006-06, Vol.19 (12), p.2665-2690
2006
Link zum Volltext
PloS one, 2022-04, Vol.17 (4), p.e0267512-e0267512
2022
Link zum Volltext
Journal of clinical oncology, 2021-03, Vol.39 (7), p.840-859
2021
Link zum Volltext
PloS one, 2019-06, Vol.14 (6), p.e0218078-e0218078
2019
Link zum Volltext
Journal of clinical oncology, 2018-04, Vol.36 (12), p.1199-1206
- Lin, Jessica J
- Zhu, Viola W
- Yoda, Satoshi
- Yeap, Beow Y
- Schrock, Alexa B
- Dagogo-Jack, Ibiayi
- Jessop, Nicholas A
- Jiang, Ginger Y
- Le, Long P
- Gowen, Kyle
- Stephens, Philip J
- Ross, Jeffrey S
- Ali, Siraj M
- Miller, Vincent A
- Johnson, Melissa L
- Lovly, Christine M
- Hata, Aaron N
- Gainor, Justin F
- Iafrate, Anthony J
- Shaw, Alice T
- Ou, Sai-Hong Ignatius
2018
Link zum Volltext
Science (American Association for the Advancement of Science), 2014-03, Vol.343 (6176), p.1215-1215
2014
Link zum Volltext
Nature materials, 2020-12, Vol.19 (12), p.1362-1371
2020
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- EZB Free E-Journals
- IngentaConnect
- Journals@Ovid Full Text
- NUS Single-Journal Subscriptions
- Elsevier ScienceDirect Journals
- IngentaConnect Journals
- Wiley Blackwell Single Titles
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Nature
- Wiley Online Library
- SpringerLink (Online service)
- Nexis
- JSTOR Complete Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford Journals
- Oxford Journals 2020 Medicine
- EBSCOhost Psychology and Behavioral Sciences Collection
- Factiva
- IEL
- ACM Digital Library (Association for Computing Machinery)
Zeitschrift / Serie
Neu hinzugefügt