Partner
-
A
- Academic Press
- Akademie-Verlag
- Alber
- Almqvist & Wiksell
- American Association for Cancer Research
- American Association of Immunologists
- American Astronomical Society
- American Chemical Society
- American Economic Association
- American Institute of Physics
- American Mathematical Society
- American Medical Association
- American Meteorological Society
- American Physiological Society
- American Society for Biochemistry and Molecular Biology
- American Society for Cell Biology
- American Society for Microbiology
- American Society of Clinical Investigation
- American Society of Hematology
- American Society of Plant Biologists
- Annual Reviews
- Association for Computational Linguistics
- Association for Computing Machinery
- Association for Psychological Science
- B
- C
- D
- E
- F
- G
- H
-
I
- ICR Publishers
- Independet University of Moscow
- Indian Academy of Sciences
- INFORMS
- Institute of East Asian Studies, University of California
- Institute of Mathematical Statistics
- Institut für Paläontologie der Universität Erlangen-Nürnberg
- Institution of Chemical Engineers
- Institut Mittag-Leffler
- International Press
- International Union of Pure and Applied Chemistry
- Inter-Research
- IOP Publishing
- IOS Press
- IRL Press
- J
- K
- L
-
M
- Macmillan
- MAIK Nauka/Interperiodica Publications
- Massachusetts Medical Society
- Mathematische Gesellschaft in Hamburg
- Mathematisches Forschungsinstitut Oberwolfach
- Max-Planck-Institut für Metallforschung
- Meiner
- Meisenbach
- Meteoritical Society
- Metzler
- Mineralogical Association of Canada
- MIT Press
- Mohr Siebeck
- Morgan Kaufmann
- MSH-Alpes
- N
- O
- P
- R
- S
- T
-
U
- Ugarit
- Unikontakt
- Univ.-Verl.
- Universidad de Guadalajara, Departemento de Estudios en Lenguas Indigenas
- Universitas Szegediensis
- Universitäts- und Landesbibliothek Münster
- University Joseph Fourier
- University of California Press
- University of Chicago Press
- University of Twente
- UVK, Univ.-Verl. Konstanz
- UVK Univ.-Verl. Konstanz
- UVK Verl.-Ges.
- V
- W
- Z
Partners
1 hits in 0.005 sec.
Adding fair choice to Dijkstra's calculus; 3
[Score: 100%]
Author / Editor: Broy, Manfred; Nelson, Greg | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 1994 | 15 s.
Journal / Series / Collection: ACM transactions on programming languages and systems; 16
Subject Area: Informatik
Author / Editor: Broy, Manfred; Nelson, Greg | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 1994 | 15 s.
Journal / Series / Collection: ACM transactions on programming languages and systems; 16
Subject Area: Informatik
Active filters [Remove filter]
- Author / Editornase: Nelson, Greg ; Broy, Manfred [Remove filter]
Drill down result
Author / Editor [Remove filter]
- Broy, Manfred (1) [Remove filter]
- Nelson, Greg (1) [Remove filter]