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...1st Edition 2021, 2021
Volltextzugriff (PDF)
International journal of control, 2006-05, Vol.79 (5), p.395-421
2006
Volltextzugriff (PDF)
3rd, extended ed., 2009
Volltextzugriff (PDF)
1, 2017
Volltextzugriff (PDF)
1, 1999
Volltextzugriff (PDF)
Science of computer programming, 2005-03, Vol.55 (1), p.227-257
2005
Volltextzugriff (PDF)
Acta informatica, 1986-04, Vol.23 (1), p.9-66
1986
Volltextzugriff (PDF)
SIAM journal on computing, 1988-12, Vol.17 (6), p.1134-1177
1988
Volltextzugriff (PDF)
FM’99 — Formal Methods, 1999, p.1186-1205
1999
Volltextzugriff (PDF)
Acta informatica, 1990-04, Vol.27 (5), p.381-397
1990
Volltextzugriff (PDF)
Science of computer programming, 1983-01, Vol.3 (1), p.65-100
1983
Volltextzugriff (PDF)
Acta informatica, 1999, Vol.36 (1), p.1-65
1999
Volltextzugriff (PDF)
Theoretical computer science, 1987, Vol.49 (2), p.87-112
1987
Volltextzugriff (PDF)
Compositionality: The Significant Difference, 1998, Vol.1536, p.465-489
1998
Volltextzugriff (PDF)
Journal of computer and system sciences, 1988-04, Vol.36 (2), p.158-224
1988
Volltextzugriff (PDF)
Automata, Languages and Programming, 1983, p.561-572
1983
Volltextzugriff (PDF)
STACS 84, 1984, p.26-42
1984
Volltextzugriff (PDF)
Lecture notes in computer science, 1990, Vol.430, p.592-621
1990
Volltextzugriff (PDF)
Integrated Formal Methods, 2004, p.267-286
2004
Volltextzugriff (PDF)
Theoretical computer science, 1991, Vol.80 (2), p.263-288
1991
Volltextzugriff (PDF)
Automata, Languages and Programming, 1985, p.149-157
1985
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
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software Engineering
- Software
- Computer Science, Software Engineering
- Logics And Meanings Of Programs
- Mathematics
- Computer Logic
- Computer Science, Information Systems
- Csp
- Mathematical Logic And Formal Languages
- Computer Software
- Electronic Data Processing
- Logic Design
- Logic, Symbolic And Mathematical
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Springer Journals
- De Gruyter journals
- EBSCOhost Business Source Ultimate
- IEEE Xplore
- Taylor & Francis Online
- IngentaConnect Journals
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis Current Content Access
Zeitschrift / Serie