Sortiert nach
Frontiers in computer science (Lausanne), 2023-05, Vol.5
2023
Link zum Volltext
ACM computing surveys, 2009-10, Vol.41 (4), p.1-8
2009
Link zum Volltext
Information processing letters, 2009-08, Vol.109 (17), p.1001-1004
2009
Link zum Volltext
Journal of the ACM, 1984-01, Vol.31 (3), p.560-599
1984
Link zum Volltext
Formal aspects of computing, 2006-06, Vol.18 (2), p.143-151
2006
Link zum Volltext
Information processing letters, 1991-12, Vol.40 (5), p.269-276
1991
Link zum Volltext
Lecture notes in computer science, 2005, p.303-317
1ère éd, 2005
Link zum Volltext
IEEE annals of the history of computing, 2003-04, Vol.25 (2), p.14-25
2003
- Link zum Volltext
ACM computing surveys, 2009-10, Vol.41 (4), p.1-3
2009
Link zum Volltext
ACM computing surveys, 1996-12, Vol.28 (4), p.607-625
1996
Link zum Volltext
FM’99 — Formal Methods, 1999, p.1-27
1999
Link zum Volltext
Philosophical transactions of the Royal Society of London. Series A: Mathematical and physical sciences, 1984-10, Vol.312 (1522), p.475-489
1984
Link zum Volltext
Acta informatica, 1986-04, Vol.23 (1), p.9-66
1986
Link zum Volltext
CONCUR 2009 - Concurrency Theory, p.399-414
Link zum Volltext
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 1992-04, Vol.339 (1652), p.87-104
1992
Link zum Volltext
Acta informatica, 1993-08, Vol.30 (8), p.701-739
1993
Link zum Volltext
Information processing letters, 1993-02, Vol.45 (2), p.75-80
1993
Link zum Volltext
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation, 2005, p.78-78
2005
Link zum Volltext
Information processing letters, 1987-01, Vol.24 (2), p.127-132
1987
Link zum Volltext
Information processing letters, 1987-05, Vol.25 (2), p.71-76
1987
Link zum Volltext
Information processing letters, 1990-04, Vol.34 (3), p.111-112
1990
Link zum Volltext
Journal of the ACM, 1978-07, Vol.25 (3), p.461-480
1978
Link zum Volltext
CONCUR 2011 – Concurrency Theory, p.250-264
Link zum Volltext
Communications of the ACM, 1978-08, Vol.21 (8), p.666-677
1978
Link zum Volltext
Communications of the ACM, 1969-10, Vol.12 (10), p.576-580
1969
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Life Sciences & Biomedicine
- Humans
- Physical Sciences
- Technology
- Computer Science
- Female
- Biological And Medical Sciences
- Astronomy & Astrophysics
- Exact Sciences And Technology
- Male
- Computer Science, Theory & Methods
- Medical Sciences
- Animals
- Stars: Formation
- Adult
- Applied Sciences
- Computer Science; Control Theory; Systems
- Middle Aged
- Aged
Kollektion
- Ingenta
- EZB Free E-Journals
- MEDLINE
- Journals@Ovid Complete
- Publisher website
- Wiley Online Library - AutoHoldings Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Oxford University Press Journals Current
- Springer journals
- Wiley Online Library Full Collection 2018
- IngentaConnect Journals
- ACM Digital Library
- British Medical Journals Online Archive (BMJ)
- EBSCOhost Business Source Ultimate
- JSTOR Complete Journals
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- BMJ Journals Archiv - DFG Nationallizenzen
- Psychology & Behavioral Sciences Collection
Zeitschrift / Serie
- Monthly Notices Of The Royal Astronomical Society
- Astronomy And Astrophysics
- Communications Of The Acm
- Philosophical Transactions Of The Royal Society Of London. Series A: Mathematical, Physical, And Engineering Sciences
- Bioorganic & Medicinal Chemistry Letters
- Information Processing Letters
- Philosophical Transactions Of The Royal Society Of London. Series A: Mathematical And Physical Sciences
- Bmj
- British Medical Journal
- Journal Of Medicinal Chemistry
Neu hinzugefügt