Sortiert nach
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
1. Aufl., 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
Formal methods in system design, 1992-07, Vol.1 (1), p.7-28
1992
Link zum Volltext
Acta informatica, 1972, Vol.1 (4), p.271-281
1972
Link zum Volltext
Journal of the ACM, 1978-07, Vol.25 (3), p.461-480
1978
Link zum Volltext
Acta informatica, 1973, Vol.2 (4), p.335-355
1973
Link zum Volltext
Communications of the ACM, 1983, Vol.26 (1), p.53-56
1983
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
ACM computing surveys, 1996-12, Vol.28 (4es), p.46
1996
Link zum Volltext
Communications of the ACM, 1969-10, Vol.12 (10), p.576-580
1969
Link zum Volltext
ACM computing surveys, 1996-01, Vol.28 (4es)
1996
Link zum Volltext
Distributed computing, 1987-03, Vol.2 (1), p.1-12
1987
Link zum Volltext
Information sciences, 1999-10, Vol.119 (3), p.205-218
1999
Link zum Volltext
Relations and Kleene Algebra in Computer Science, p.166-186
Link zum Volltext
Language Hierarchies and Interfaces, 2005, p.11-42
2005
Link zum Volltext
Automata, Languages and Programming, 2005, p.338-350
2005
Link zum Volltext
International Symposium on Theoretical Programming, 2005, p.1-16
2005
Link zum Volltext
Language Hierarchies and Interfaces, 2005, p.242-265
2005
Link zum Volltext
International Conference on Software Engineering: Proceedings of the 18th international conference on Software engineering; 25-29 Mar. 1996, 1996, p.233-234
1996
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Physical Sciences
- Computer Science
- Exact Sciences And Technology
- Technology
- Stars: Formation
- Astronomy & Astrophysics
- Life Sciences & Biomedicine
- Computer Science, Theory & Methods
- Applied Sciences
- Astronomy
- Computer Science; Control Theory; Systems
- Software
- Surveys
- Earth, Ocean, Space
- Biological And Medical Sciences
- Computer Science, Software Engineering
- Programming Languages
- Astrophysics
- Software Engineering
Kollektion
- IngentaConnect Journals
- EZB Electronic Journals Library
- Wiley Online Library - AutoHoldings Journals
- NUS Single-Journal Subscriptions
- SpringerLink (Online service)
- Oxford University Press Journals Current
- Taylor & Francis
- Taylor & Francis Journals Complete
- ACM Digital Library
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink Series
- EBSCOhost Business Source Ultimate
- Taylor & Francis Journals Auto-Holdings Collection
- MEDLINE
- JSTOR
- Wiley Online Library Full Collection 2018
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
Zeitschrift / Serie
- Monthly Notices Of The Royal Astronomical Society
- Astronomy And Astrophysics
- Asian Affairs
- Communications Of The Acm
- Computer Journal
- Acm Computing Surveys
- Information Processing Letters
- Philosophical Transactions Of The Royal Society Of London. Series A: Mathematical, Physical, And Engineering Sciences
- Acta Informatica
- Algol Bulletin
Neu hinzugefügt