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...Journal of the ACM, 2015-05, Vol.62 (2), p.1-69, Article 11
2015
Volltextzugriff (PDF)
Games and economic behavior, 2021-01, Vol.125, p.107-140
2021
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.467-481
2004
Volltextzugriff (PDF)
SIAM journal on computing, 2010-01, Vol.39 (6), p.2531-2597
2010
Volltextzugriff (PDF)
Logical methods in computer science, 2008-11, Vol.4, Issue 4
2008
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2005-07, Vol.27 (4), p.786-818
2005
Volltextzugriff (PDF)
Journal of the ACM, 2009, Vol.56 (1), p.1-66
2009
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2011-11, Vol.13 (6), p.537-551
2011
Volltextzugriff (PDF)
Logical methods in computer science, 2008-11, Vol.4, Issue 4
2008
Volltextzugriff (PDF)
Logical methods in computer science, 2008-11, Vol.4, Issue 4
2008
Volltextzugriff (PDF)
SIAM journal on computing, 2005, Vol.34 (5), p.1159-1175
2005
Volltextzugriff (PDF)
Theoretical computer science, 2019-07, Vol.777, p.308-328
2019
Volltextzugriff (PDF)
Mathematics of operations research, 2020-02, Vol.45 (1), p.34-62
2020
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.281-285
2005
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-07, Vol.220
2016
Volltextzugriff (PDF)
Information and computation, 2018-08, Vol.261, p.355-382
2018
Volltextzugriff (PDF)
Journal of the ACM, 2015-08, Vol.62 (4), p.1-33, Article 30
2015
Volltextzugriff (PDF)
SIAM journal on computing, 2017-01, Vol.46 (5), p.1515-1553
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2012-04, Vol.13 (2), p.1-40
2012
Volltextzugriff (PDF)
2005 edition., 2005
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.266-280
2005
Volltextzugriff (PDF)
Reachability Problems, p.67-82
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.491-504
2005
Volltextzugriff (PDF)
Theoretical computer science, 2005-02, Vol.331 (1), p.97-114
2005
Volltextzugriff (PDF)
Performance evaluation, 2010-09, Vol.67 (9), p.837-857
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Software
- Software Engineering
- Model Check
- Mathematics
- Theoretical Computing
- Computer Science, Software Engineering
- Physical Sciences
- Mathematics, Applied
- Logic
- Temporal Logic
- Polynomials
- Algorithmics. Computability. Computer Arithmetics
- Algorithms
Kollektion
- Ingenta
- SpringerLink Series
- EZB Electronic Journals Library
- Access via ScienceDirect (Elsevier)
- ACM Digital Library (Association for Computing Machinery)
- Access via Business Source (EBSCOhost)
- IEEE Xplore
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- JSTOR All Journals
- INFORMS PubsOnLine
Zeitschrift / Serie
- Information And Computation
- Siam Journal On Computing
- Journal Of The Acm
- Journal Of The Association For Computing Machinery
- Logical Methods In Computer Science
- Theoretical Computer Science
- Acm Transactions On Computational Logic
- International Journal On Software Tools For Technology Transfer
- Acm Transactions On Computation Theory
- Acm Transactions On Programming Languages And Systems