Sortiert nach
Diabetologia, 2015-02, Vol.58 (2), p.393-401
2015
Link zum Volltext
Electronic proceedings in theoretical computer science, 2011-01, Vol.46 (Proc. FIT 2010), p.28-48
2011
Link zum Volltext
Journal of automated reasoning, 2010-03, Vol.44 (3), p.207-243
2010
Link zum Volltext
Information and computation, 2011-12, Vol.209 (12), p.1465-1490
2011
Link zum Volltext
ACM transactions on embedded computing systems, 2023-09, Vol.22 (5s), p.Article 152: 1-26
2023
Link zum Volltext
ACM transactions on embedded computing systems, 2021-06, Vol.20 (4), p.1-26
2021
Link zum Volltext
Synchronized Shared Memory and Black-box Procedural Abstraction: Towards a Formal Semantics of Blech
2022
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.446-465
Link zum Volltext
ACM transactions on embedded computing systems, 2023-09, Vol.22 (5s), p.1-26, Article 152
2023
Link zum Volltext
The Journal of biological chemistry, 2018-03, Vol.293 (13), p.4845-4859
2018
Link zum Volltext
ACM transactions on embedded computing systems, 2017-10, Vol.16 (5s), p.1-19
2017
Link zum Volltext
Cut-free Gentzen calculus for multimodal CK: Intuitionistic Modal Logic and Applications (IMLA 2008)
2011
Link zum Volltext
Journal of diabetes and its complications, 2017-02, Vol.31 (2), p.304-310
2017
Link zum Volltext
2018 18th International Conference on Application of Concurrency to System Design (ACSD), 2018, p.95-104
2018
- Link zum Volltext
ACM transactions on embedded computing systems, 2017-10, Vol.16 (5s), p.1-21
2017
Link zum Volltext
Models, Mindsets, Meta: The What, the How, and the Why Not?, p.45-67
Link zum Volltext
Formal methods in system design, 2012-06, Vol.40 (3), p.283-329
2012
Link zum Volltext
Theoretical computer science, 2011-03, Vol.412 (11), p.931-961
2011
Link zum Volltext
Information and computation, 2010, Vol.208 (6), p.634-651
2010
Link zum Volltext
ACM transactions on embedded computing systems, 2018-04, Vol.17 (2), p.1-26
2018
Link zum Volltext
Liver international, 2005-04, Vol.25 (2), p.294-304
2005
Link zum Volltext
Acta diabetologica, 2018-06, Vol.55 (6), p.585-592
2018
Link zum Volltext
Acta informatica, 2015-06, Vol.52 (4-5), p.393-442
2015
Link zum Volltext
Information and computation, 2010-06, Vol.208 (6), p.634-651
2010
Link zum Volltext
Liver international, 2005-04, Vol.25 (2), p.343-348
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Life Sciences & Biomedicine
- Humans
- Computer Science, Theory & Methods
- Female
- Male
- Adult
- Aged
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Middle Aged
- Oncology
- Aged, 80 And Over
- Engineering
- Hematology
- Theoretical Computing
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- Single Journals
- MEDLINE
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals Complete
- Springer Book Series
- ACM Digital Library
- SpringerLink
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Oxford Journals
- Wiley Online Library All Journals
- Kohlhammer eLibrary Gesamt
- Nexis Uni
- Nature Journals Online
Zeitschrift / Serie
- Blood
- Acm Transactions On Embedded Computing Systems
- Information And Computation
- Clinical Lymphoma, Myeloma And Leukemia
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Journal Of Clinical Oncology
- Transplantation And Cellular Therapy
- Journal Of Logic And Computation
- Mechanical Systems And Signal Processing