B. G. Woodcock (auth.): αναζήτηση στον ιστότοπο της Z-Library

Ελεύθερη πρόσβαση στη γνώση και τον πολιτισμό.

Don't use scam websites

Βιβλία (48)
Τα πιο δημοφιλή
Λίστα
- Λίστα
- Πίνακας

1

Bulk Solids Handling: An Introduction to the Practice and Technology

Bulk Solids Handling: An Introduction to the Practice and Technology

C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE (auth.), C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE, J. S. Mason BSc, PhD, CEng, FIMechE, FIMarE, MIMinE (eds.)

Έτος:

1987

Γλώσσα:

english

Αρχείο:

PDF, 11.14 MB

0 / 0

english, 1987

2

Advances in Molten Salt Chemistry: Volume 3

Advances in Molten Salt Chemistry: Volume 3

L. V. Woodcock (auth.), J. Braunstein, Gleb Mamantov, G. P. Smith (eds.)

Έτος:

1975

Γλώσσα:

english

Αρχείο:

PDF, 12.84 MB

0 / 0

english, 1975

3

20th-Century Fiction

20th-Century Fiction

Palgrave Macmillan UK

George Woodcock (auth.)

Έτος:

1983

Γλώσσα:

english

Αρχείο:

PDF, 80.39 MB

0 / 0

english, 1983

4

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 1.86 MB

0 / 0

english, 2007

5

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

Έτος:

2003

Γλώσσα:

english

Αρχείο:

PDF, 5.79 MB

0 / 0

english, 2003

6

Theory and Practice of Blood Flow Measurement

Theory and Practice of Blood Flow Measurement

Butterworth-Heinemann

John P. Woodcock (Auth.)

Έτος:

1975

Γλώσσα:

english

Αρχείο:

PDF, 6.16 MB

0 / 0

english, 1975

7

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Έτος:

1999

Γλώσσα:

english

Αρχείο:

PDF, 11.33 MB

0 / 0

english, 1999

8

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 5.37 MB

0 / 0

english, 2007

9

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 4.29 MB

0 / 0

english, 2007

10

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

Έτος:

1993

Γλώσσα:

english

Αρχείο:

DJVU, 2.44 MB

0 / 0

english, 1993

11

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.30 MB

0 / 0

english, 2013

12

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.)

Έτος:

1993

Γλώσσα:

english

Αρχείο:

DJVU, 6.15 MB

0 / 0

english, 1993

13

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.32 MB

0 / 0

english, 2013

14

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Έτος:

2010

Γλώσσα:

english

Αρχείο:

PDF, 4.56 MB

0 / 0

english, 2010

15

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 6.60 MB

0 / 0

english, 2007

16

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 7.82 MB

0 / 0

english, 2007

17

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 3.55 MB

0 / 5.0

english, 2009

18

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Έτος:

1999

Γλώσσα:

english

Αρχείο:

PDF, 14.06 MB

0 / 0

english, 1999

19

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

Έτος:

1993

Γλώσσα:

english

Αρχείο:

PDF, 15.34 MB

0 / 0

english, 1993

20

Nitrate und Nitrattoleranz in der Behandlung der koronaren Herzerkrankung

Nitrate und Nitrattoleranz in der Behandlung der koronaren Herzerkrankung

Steinkopff-Verlag Heidelberg

Prof. Dr. N. Rietbrock, A. Lassmann, B. G. Woodcock (auth.), Prof. Dr. med. G. Kober, Prof. Dr. med. M. Kaltenbach (eds.)

Έτος:

1983

Γλώσσα:

german

Αρχείο:

PDF, 6.08 MB

0 / 0

german, 1983

21

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 7.15 MB

0 / 0

english, 2009

22

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Έτος:

2010

Γλώσσα:

english

Αρχείο:

PDF, 4.63 MB

0 / 0

english, 2010

23

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Έτος:

2010

Γλώσσα:

english

Αρχείο:

PDF, 5.03 MB

0 / 0

english, 2010

24

Bulk Solids Handling: An Introduction to the Practice and Technology

Bulk Solids Handling: An Introduction to the Practice and Technology

Springer Netherlands

C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE, J. S. Mason BSc, PhD, CEng, FIMechE, FIMarE, MIMinE (auth.)

Έτος:

1988

Γλώσσα:

english

Αρχείο:

PDF, 14.89 MB

0 / 0

english, 1988

25

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Springer International Publishing

John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)

Έτος:

2014

Γλώσσα:

english

Αρχείο:

PDF, 9.09 MB

0 / 0

english, 2014

26

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Έτος:

1974

Γλώσσα:

english

Αρχείο:

DJVU, 4.77 MB

0 / 0

english, 1974

27

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 3.01 MB

0 / 0

english, 2013

28

Drug Absorption at Different Regions of the Human Gastro-Intestinal Tract: Methods of Investigation and Results / Arzneimittelabsorption aus verschiedenen Bereichen des Gastrointestinaltraktes beim Menschen: Untersuchungsmethoden und Ergebnisse: Proceedin

Drug Absorption at Different Regions of the Human Gastro-Intestinal Tract: Methods of Investigation and Results / Arzneimittelabsorption aus verschiedenen Bereichen des Gastrointestinaltraktes beim Menschen: Untersuchungsmethoden und Ergebnisse: Proceedin

Vieweg+Teubner Verlag

N. Rietbrock (auth.), Norbert Rietbrock, Barry G. Woodcock, A. Horst Staib, Dieter Loew (eds.)

Έτος:

1987

Γλώσσα:

english

Αρχείο:

PDF, 2.44 MB

0 / 0

english, 1987

29

Collaborative Design: Proceedings of CoDesigning 2000

Collaborative Design: Proceedings of CoDesigning 2000

Springer-Verlag London

E. B.-N. Sanders (auth.), Stephen A. R. Scrivener DipAD, HDFA, PhD, Linden J. Ball BSc, PhD, Andrée Woodcock BSc, MSc (eds.)

Έτος:

2000

Γλώσσα:

english

Αρχείο:

PDF, 26.59 MB

0 / 0

english, 2000

30

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.34 MB

0 / 0

english, 2013

31

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Έτος:

1999

Γλώσσα:

english

Αρχείο:

PDF, 10.75 MB

0 / 0

english, 1999

32

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

DJVU, 6.04 MB

0 / 0

english, 1996

33

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Έτος:

2008

Γλώσσα:

english

Αρχείο:

PDF, 7.65 MB

0 / 0

english, 2008

34

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Έτος:

1974

Γλώσσα:

english

Αρχείο:

PDF, 10.80 MB

0 / 0

english, 1974

35

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)

Έτος:

2006

Γλώσσα:

english

Αρχείο:

PDF, 3.00 MB

0 / 0

english, 2006

36

Nitrates and Nitrate Tolerance in Angina Pectoris

Nitrates and Nitrate Tolerance in Angina Pectoris

Steinkopff-Verlag Heidelberg

Dr. N. Rietbrock, A. Lassmann, B. G. Woodcock (auth.), Prof. Dr. med. M. Kaltenbach, Prof. Dr. med. G. Kober (eds.)

Έτος:

1983

Γλώσσα:

english

Αρχείο:

PDF, 4.13 MB

0 / 0

english, 1983

37

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 4.73 MB

0 / 0

english, 2013

38

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Springer-Verlag London

P. H. B. Gardiner, P. J. Lupton, J. C. P. Woodcock (auth.), J. E. Nicholls MA (eds.)

Έτος:

1991

Γλώσσα:

english

Αρχείο:

PDF, 13.00 MB

0 / 0

english, 1991

39

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Έτος:

2008

Γλώσσα:

english

Αρχείο:

PDF, 3.09 MB

0 / 0

english, 2008

40

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Έτος:

1999

Γλώσσα:

english

Αρχείο:

PDF, 16.87 MB

0 / 0

english, 1999

41

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 2.19 MB

0 / 0

english, 2013

42

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

John C. Reynolds (auth.), Natarajan Shankar, Jim Woodcock (eds.)

Έτος:

2008

Γλώσσα:

english

Αρχείο:

PDF, 3.67 MB

0 / 0

english, 2008

43

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Έτος:

2007

Γλώσσα:

english

Αρχείο:

PDF, 6.33 MB

0 / 0

english, 2007

44

Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter: Proceedings of the 6th International Symposium on Methods in Clinical Pharmacology, Frankfurt 1985 / Vorträge des 6. Internationalen Symposiums „Methods in Clinical Pharmacology“ Frankf

Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter: Proceedings of the 6th International Symposium on Methods in Clinical Pharmacology, Frankfurt 1985 / Vorträge des 6. Internationalen Symposiums „Methods in Clinical Pharmacology“ Frankf

Vieweg+Teubner Verlag

Norbert Rietbrock, Barry G. Woodcock (auth.), Norbert Rietbrock, Barry G. Woodcock (eds.)

Έτος:

1987

Γλώσσα:

german

Αρχείο:

PDF, 4.82 MB

0 / 0

german, 1987

45

Methods in Clinical Pharmacology: The proceedings of an International Symposium held in Frankfurt/M. 6–8 May 79

Methods in Clinical Pharmacology: The proceedings of an International Symposium held in Frankfurt/M. 6–8 May 79

Vieweg+Teubner Verlag

J. K. Aronson (auth.), Norbert Rietbrock, Barry G. Woodcock, Günter Neuhaus (eds.)

Έτος:

1980

Γλώσσα:

german

Αρχείο:

PDF, 9.43 MB

0 / 0

german, 1980

46

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Έτος:

1974

Γλώσσα:

english

Αρχείο:

PDF, 5.74 MB

0 / 0

english, 1974

47

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine: Proceedings of the 4th International Symposium, Frankfurt/M., 29th and 30th May, 1981 / Vorträge des 4. Internationalen Symposiums, Frankfurt/M., 29. und 30. Mai, 1981

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine: Proceedings of the 4th International Symposium, Frankfurt/M., 29th and 30th May, 1981 / Vorträge des 4. Internationalen Symposiums, Frankfurt/M., 29. und 30. Mai, 1981

Vieweg+Teubner Verlag

N. Rietbrock, E. Habermann (auth.), Professor Dr. med. Norbert Rietbrock, Dr. Sen. Lect. Barry George Woodcock, Professor Dr. sc. med. A. Horst Staib (eds.)

Έτος:

1982

Γλώσσα:

german

Αρχείο:

PDF, 8.94 MB

0 / 0

german, 1982

48

Balanced Alpha/Beta Blockade of Adrenoceptors / Balancierte Blockade von Alpha- und Beta-Adrenozeptoren: A rational therapeutic concept in the treatment of hypertension and coronary heart disease / Ein rationales Konzept zur Behandlung der Hypertonie und

Balanced Alpha/Beta Blockade of Adrenoceptors / Balancierte Blockade von Alpha- und Beta-Adrenozeptoren: A rational therapeutic concept in the treatment of hypertension and coronary heart disease / Ein rationales Konzept zur Behandlung der Hypertonie und

Vieweg+Teubner Verlag

D. Palm (auth.), Norbert Rietbrock, Barry G. Woodcock (eds.)

Έτος:

1984

Γλώσσα:

english

Αρχείο:

PDF, 5.94 MB

0 / 0

english, 1984