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 refugee studies, 2022-10, Vol.35 (3), p.1160-1185
2022
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, 2009, Vol.41 (4)
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
Acta informatica, 1986-04, Vol.23 (1), p.9-66
1986
Link zum Volltext
CONCUR 2009 - Concurrency Theory, p.399-414
Link zum Volltext
ACM computing surveys, 2009, Vol.41 (4)
2009
Link zum Volltext
Communications of the ACM, 1983, Vol.26 (1), p.100-106
1983
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
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Physical Sciences
- Computer Science
- Technology
- Biological And Medical Sciences
- Female
- Stars: Formation
- Exact Sciences And Technology
- Male
- Medical Sciences
- Astronomy & Astrophysics
- Computer Science, Theory & Methods
- Animals
- Adult
- Middle Aged
- Astronomy
- Aged
- Pharmacology. Drug Treatments
Kollektion
- Ingenta
- EZB Free E-Journals
- MEDLINE
- Journals@Ovid
- Publisher or Other Site
- Wiley-Blackwell Journals
- Elsevier ScienceDirect Journals Complete
- SpringerLink Journals - AutoHoldings
- Oxford University Press Journals Current
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Taylor & Francis Online
- Taylor & Francis Current Content Access
- ACM Digital Library
- Wiley Online Library Full Collection 2018
- SpringerLink Series
- EBSCOhost Business Source Ultimate
- Taylor & Francis Journals Auto-Holdings Collection
- BMJ Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR Complete Journals
Zeitschrift / Serie
Neu hinzugefügt