Sortiert nach
Nature communications, 2021-06, Vol.12 (1), p.4009-4009, Article 4009
2021
Link zum Volltext
Nature (London), 2018-07, Vol.559 (7713), p.246-249
2018
Link zum Volltext
Scientific reports, 2021-08, Vol.11 (1), p.17443-17443, Article 17443
2021
Link zum Volltext
Nature communications, 2023-04, Vol.14 (1), p.2086-2086, Article 2086
2023
Link zum Volltext
PLoS computational biology, 2024-03, Vol.20 (3), p.e1012008-e1012008
2024
Link zum Volltext
eLife, 2013-06, Vol.2, p.e00747-e00747
2013
Link zum Volltext
Proceedings of the National Academy of Sciences - PNAS, 2015-12, Vol.112 (51), p.15636-15641
2015
Link zum Volltext
PLoS computational biology, 2020-01, Vol.16 (1), p.e1007494-e1007494
2020
Link zum Volltext
Nature human behaviour, 2021-10, Vol.5 (10), p.1292
2021
Link zum Volltext
Scientific reports, 2022-01, Vol.12 (1), p.1526-1526, Article 1526
2022
Link zum Volltext
Nature communications, 2023-07, Vol.14 (1), p.4153-4153, Article 4153
2023
Link zum Volltext
PLoS computational biology, 2022-06, Vol.18 (6), p.e1010149-e1010149
2022
Link zum Volltext
Nature communications, 2017-01, Vol.8 (1), p.14114-14114, Article 14114
2017
Link zum Volltext
Scientific reports, 2017-03, Vol.7 (1), p.82-82, Article 82
2017
Link zum Volltext
Communications biology, 2019-04, Vol.2 (1), p.138-138, Article 138
2019
Link zum Volltext
Journal of applied physics, 2013-11, Vol.114 (17)
2013
Link zum Volltext
Computer Aided Verification, p.3-22
Link zum Volltext
NDT & E international : independent nondestructive testing and evaluation, 2011-11, Vol.44 (7), p.655-667
2011
Link zum Volltext
Applied spectroscopy, 2018-08, Vol.72 (8), p.1137-1169
2018
Link zum Volltext
Formal methods in system design, 2021-09, Vol.57 (3), p.401-428
2021
Link zum Volltext
ACM transactions on computational logic, 2010-07, Vol.11 (4), p.1-38
2010
Link zum Volltext
Nature communications, 2018-02, Vol.9 (1), p.555-8, Article 555
2018
Link zum Volltext
ACM transactions on programming languages and systems, 2018-05, Vol.40 (2), p.1-45, Article 7
2018
Link zum Volltext
PLoS computational biology, 2020-11, Vol.16 (11), p.e1008402-e1008402
2020
Link zum Volltext
Communications biology, 2018-01, Vol.1 (1), p.71-71, Article 71
2018
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology - Other Topics
- Physical Sciences
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Logic
- Mathematics
- Algorithms
- Humans
- Engineering
- Game Theory
- Exact Sciences And Technology
- Markov Decision Process
- Applied Sciences
- Games
- Mathematics, Applied
- Computer Science; Control Theory; Systems
Kollektion
- IngentaConnect_期刊（NSTL购买）
- Springer Books
- Free E-Journal (出版社公開部分のみ）
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals
- Springer journals
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Nature Journals
- Single Journals
- Nexis
- EBSCOhost Business Source Ultimate
- Wiley Online Library Journals Frontfile Complete
- JSTOR
Zeitschrift / Serie
- Information And Computation
- Logical Methods In Computer Science
- Plos Computational Biology
- Proceedings Of Acm On Programming Languages
- Acm Transactions On Computational Logic
- Electronic Proceedings In Theoretical Computer Science
- Formal Methods In System Design
- Journal Of Computer And System Sciences
- Theoretical Computer Science
- Journal Of The Acm
Neu hinzugefügt