Sortiert nach
Journal of Indian College of Cardiology, 2023-04, Vol.13 (2), p.49-63
2023
Volltextzugriff (PDF)
IEEE journal of translational engineering in health and medicine, 2020-01, Vol.8, p.1-11
2020
Volltextzugriff (PDF)
Journal of Indian College of Cardiology, 2022-10, Vol.12 (4), p.178-183
2022
Volltextzugriff (PDF)
Journal of the ACM, 2009-08, Vol.56 (5), p.1-44
2009
Volltextzugriff (PDF)
Formal methods in system design, 2020-12, Vol.56 (1-3), p.90-126
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2011-01, Vol.7, Issue 3
2011
Volltextzugriff (PDF)
Journal of the ACM, 1992-07, Vol.39 (3), p.675-735
1992
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2004-07, Vol.26 (4), p.702-734
2004
Volltextzugriff (PDF)
Theoretical computer science, 2001, Vol.258 (1), p.491-522
2001
Volltextzugriff (PDF)
Information and computation, 2008-02, Vol.206 (2), p.185-212
2008
Volltextzugriff (PDF)
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023, p.1761-1775
2023
Volltextzugriff (PDF)
IEEE transactions on parallel and distributed systems, 1998-04, Vol.9 (4), p.378-390
1998
Volltextzugriff (PDF)
Advances in Spatial and Temporal Databases, 2005, p.346-363
2005
Volltextzugriff (PDF)
IEEE transactions on knowledge and data engineering, 2015-03, Vol.27 (3), p.838-851
2015
Volltextzugriff (PDF)
Distributed and parallel databases : an international journal, 1999, Vol.7 (3), p.257-287
1999
Volltextzugriff (PDF)
Journal of Dr. NTR university of health sciences, 2016-04, Vol.5 (2), p.104-110
2016
Volltextzugriff (PDF)
Proceedings of the VLDB Endowment, 2009-08, Vol.2 (1), p.349-360
2009
Volltextzugriff (PDF)
Proceedings of the 17th ACM conference on Computer and communications security, 2010, p.645-647
2010
Volltextzugriff (PDF)
CONCUR 2005 – Concurrency Theory, 2005, p.548-561
2005
Volltextzugriff (PDF)
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002, p.324-335
2002
Volltextzugriff (PDF)
Theoretical computer science, 1987, Vol.49 (2), p.217-237
1987
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.250-266
2005
Volltextzugriff (PDF)
Journal of computer and system sciences, 2019-03, Vol.100, p.70-95
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Exact Sciences And Technology
- Applied Sciences
- Technology
- Computer Science
- Computer Science; Control Theory; Systems
- Computer Science, Theory & Methods
- Software
- Theoretical Computing
- Computer Systems And Distributed Systems. User Interface
- Model Check
- Automata. Abstract Machines. Turing Machines
- Computer Science, Software Engineering
- Life Sciences & Biomedicine
- Computer Science, Information Systems
- Logic
- Temporal Logic
- Atomic Proposition
- Humans
- Physical Sciences
Kollektion
- Ingenta
- Springer Book Series
- ACM Digital Library
- EZB Electronic Journals Library
- IEL
- Access via ScienceDirect (Elsevier)
- Journals@Ovid
- MEDLINE
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- Access via Business Source (EBSCOhost)
- eBooks on EBSCOhost
- IngentaConnect Journals
- Access via Wiley Online Library
- ProQuest Dissertations & Theses A&I
- Wiley Online Library Full Collection 2018
- Single Journals
- Access via Taylor & Francis
Zeitschrift / Serie
- Sigmod Record
- Formal Methods In System Design
- Journal Of The Acm
- Acm Computing Surveys
- Acm Transactions On Software Engineering And Methodology
- Formal Aspects Of Computing
- Ieee Transactions On Knowledge And Data Engineering
- Information And Computation
- Journal Of Indian College Of Cardiology
- Journal Of The Association For Computing Machinery
Neu hinzugefügt