Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...ACM transactions on computational logic, 2017-06, Vol.18 (2), p.1-50
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2024-04, Vol.402, p.2-2
2024
Volltextzugriff (PDF)
Logical methods in computer science, 2017-08, Vol.13, Issue 3
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2017-01, Vol.13, Issue 1
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 2
2012
Volltextzugriff (PDF)
Theory of computing systems, 2023-06, Vol.67 (3), p.437-472
2023
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceeding, 2024, Vol.LNCS-14575, p.70-91
2024
Volltextzugriff (PDF)
Frontiers of Combining Systems, 2013, p.343-358
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020-08, Vol.320, p.65-79
2020
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2015, Vol.9450, p.549-557
2015
Volltextzugriff (PDF)
Programming Languages and Systems, 2017, p.668-695
2017
Volltextzugriff (PDF)
Programming Languages and Systems, 2014, p.334-353
2014
Volltextzugriff (PDF)
Algebraic Informatics, 2011, p.201-215
2011
Volltextzugriff (PDF)
Rewriting and Typed Lambda Calculi, 2014, p.240-256
2014
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2024, Vol.14919, p.202-219
2024
Volltextzugriff (PDF)
Formal Methods for Industrial Critical Systems, 2020, Vol.12327, p.93-112
2020
Volltextzugriff (PDF)
Frontiers of Combining Systems, 2011, p.147-162
2011
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2008, p.697-711
2008
Volltextzugriff (PDF)
Circulation (New York, N.Y.), 2015-10, Vol.132 (17), p.1630-1638
- White, Jessica R
- Chang, Chung-Chou H
- So-Armah, Kaku A
- Stewart, Jesse C
- Gupta, Samir K
- Butt, Adeel A
- Gibert, Cynthia L
- Rimland, David
- Rodriguez-Barradas, Maria C
- Leaf, David A
- Bedimo, Roger J
- Gottdiener, John S
- Kop, Willem J
- Gottlieb, Stephen S
- Budoff, Matthew J
- Khambaty, Tasneem
- Tindle, Hilary A
- Justice, Amy C
- Freiberg, Matthew S
2015
Volltextzugriff (PDF)
Circulation (New York, N.Y.), 2015-09, Vol.132 (17), p.1630-1638
- White, Jessica R.
- Chang, Chung-Chou H.
- So-Armah, Kaku A.
- Stewart, Jesse C.
- Gupta, Samir Kumar
- Butt, Adeel A.
- Gibert, Cynthia L.
- Rimland, David
- Rodriguez-Barradas, Maria C.
- Leaf, David A.
- Bedimo, Roger J.
- Gottdiener, John S.
- Kop, Willem J.
- Gottlieb, Stephen S.
- Budoff, Matthew J.
- Khambaty, Tasneem
- Tindle, Hilary
- Justice, Amy C.
- Freiberg, Matthew S.
2015
Volltextzugriff (PDF)
Circulation (New York, N.Y.), 2015-03, Vol.131 (suppl_1)
- White, Jessica R
- Chang, Chung-Chou H
- Armah, Kaku A
- Stewart, Jesse C
- Gupta, Samir K
- Butt, Adeel A
- Gibert, Cynthia L
- Rimland, David
- Rodriguez-Barradas, Maria C
- Leaf, David A
- Bedimo, Roger J
- Gottdiener, John S
- Kop, Willem J
- Gottlieb, Stephen S
- Budoff, Matthew J
- Khambaty, Tasneem
- Tindle, Hilary A
- Justice, Amy C
- Freiberg, Matthew S
2015
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Computer Science - Logic In Computer Science
- Termination
- Function Symbol
- Program Analysis
- Rewriting Induction
- Term Rewriting
- Abstract Complexity Theory
- Adult
- Aging
- Algebraic Functional Systems
- Anti-Hiv Agents - Therapeutic Use
- Antidepressive Agents - Therapeutic Use
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Journals@Ovid
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- MEDLINE
- Springer Journals
Zeitschrift / Serie
Neu hinzugefügt