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
- Barth
- Beck
- Berg
- Berghahn Books
- Berliner Wissenschafts-Verlag
- bibliotheca academica Verlag
- BioMed Central
- Biophysical Society
- Birkhäuser
- Blackwell
- BMJ Publ. Group
- Böhlau
- Boom
- Brill
- Butzon & Bercker
C
- Cambridge University Press
- Campus Verlag
- Cantz
- Cell Press
- CERN
- CIRP
- CNRS
- Cold Spring Harbor Laboratory Press
- Company of Biologists
- CRC Press
D
- de Gruyter
- Dietz
- Dt. Klassiker-Verlag
- Dt. Mathematiker-Vereinigung
- Duke University Press
- Duncker & Humblot
- Dunod
E
- Economica Verlag
- EDP Sciences
- Eisenbrauns
- Elsevier
- Eurographics Association
- European Language Resources Assoc.
F
- Fink
- Fischer
- Fischer-Taschenbuch-Verlag
G
- Gakkōtosho
- Geological Association of Canada
- Geological Society of America
- Giesserei-Verlag
- Grünewald
H
- Hanauer Geschichtsverein
- Hanser
- Harvard Univ. Press
- Helbing & Lichtenhahn
- Herder
- Higher Education Press
- Hirzel
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
- Johns Hopkins University Press
K
- Karger
- Katholieke Universiteit Leuven, Departement Werktuigkunde
- Klett
- Kluwer
L
- Lang
- Laser Institute of America
- Leske + Budrich
- Lucius & Lucius
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
- Narr
- National Academy of Sciences of the USA
- Nature America
- Nature Publishing Group
- Niemeyer
- Nomos
- North-Holland Physics Publ.
- North-Holland Publishing
O
- Oldenbourg
- Olms
- Optical Society of America
- Oxford University Press
P
- Pergamon Press
- Piper
- Princeton University
- Public Library of Science
- Pustet
R
- Reclam
- Reidel
- Rockefeller University Press
- Rombach
- Royal Society of Chemistry
- Rutzen
S
- SAGE Publications
- Saur
- Schmidt
- Schöningh
- Schweitzer
- Schweizerbart
- Shaker-Verlag
- SISSA
- Society for Industrial and Applied Mathematics
- Society for Neuroscience
- Society for Sedimentary Geology
- Springer
- Steiner
- Steinkopff
- STYX Publications
- Suhrkamp
T
- Teubner
- Theater der Zeit
- The Institution of Engineering and Technology (IET)
- The Metals Society
- Thieme
- Thorbecke
- Tohoku University Museum
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
- Vandenhoeck & Ruprecht
- Verl. der Bayer. Akad. der Wiss.
- Verlag der Zeitschrift für Naturforschung
- Verlag Glückauf
- Versita
- Vieweg
W
- Westdeutscher Verlag
- WGP
- Wiley-Blackwell
- Williams & Wilkins
- Winter
- Wolters Kluwer
- World Gold Council
- World Scientific
Z
- Zabern

3 hits in 0.006 sec.

On the correctness of operating system kernels [Score: 100%]
Author / Editor: Gargano, Mauro; Paul, Wolfgang J. | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2005 | 16 s.
Journal / Series / Collection: Theorem proving in higher order logics
Subject Area: Informatik

[Search within document] [PDF-Download]

Computer architecture : complexity and correctness ; with 185 tables [Score: 100%]
Author / Editor: Müller, Silvia Melitta; Paul, Wolfgang J. | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2000 | 567 s.
Subject Area: Informatik

[Search within document] [PDF-Download]

Instantiating uninterepreted functional units and memory system : functional verification of the VAMP [Score: 100%]
Author / Editor: Beyer, Sven; Paul, Wolfgang J. | Place of publication: Berlin [u.a.] | Publisher: Springer | Year of Publication: 2003 | 15 s.
Journal / Series / Collection: Correct hardware design and verification methods
Subject Area: Informatik

[Search within document] [PDF-Download]