Maibaum, T. S. E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

A rely–guarantee discipline for open distributed systems design

Carlos H.C. Duarte, Tom Maibaum

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 102 KB

english, 2000

52

Indirect high-performance liquid chromatographic resolution of racemic tertiary amines as their diastereomeric urea derivatives after N-dealkylation

Jürgen Maibaum

Journal:

Journal of Chromatography A

Year:

1988

Language:

english

File:

PDF, 698 KB

english, 1988

53

Chromatographic resolutions : XIV. Optical resolution of the racemic anticancer drug ifosfamide and other chiral oxazaphosphorines

Gottfried Blaschke, Jürgen Maibaum

Journal:

Journal of Chromatography A

Year:

1986

Language:

english

File:

PDF, 389 KB

english, 1986

54

Erratum

Journal:

Journal of Computer and System Sciences

Year:

1977

Language:

english

File:

PDF, 39 KB

english, 1977

55

A convergent synthesis approach towards CGP60536B, a non-peptide orally potent renin inhibitor, via an enantiomerically pure ketolactone intermediate

Heinrich Rüeger, Stefan Stutz, Richard Göschke, Felix Spindler, Jürgen Maibaum

Journal:

Tetrahedron Letters

Year:

2000

Language:

english

File:

PDF, 114 KB

english, 2000

56

Categorical semantics of parallel program design

JoséLuiz Fiadeiro, Tom Maibaum

Journal:

Science of Computer Programming

Year:

1997

Language:

english

File:

PDF, 1.93 MB

english, 1997

57

Bioactive hydroxyethylene dipeptide isosteres with hydrophobic (P3-P1)-moieties. A novel strategy towards small non-peptide renin inhibitors

Vittorio Rasetti, N.Claude Cohen, Heinrich Rüeger, Richard Göschke, Jürgen Maibaum, Frederic Cumin, Walter Fuhrer, Jeanette M. Wood

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

1996

Language:

english

File:

PDF, 426 KB

english, 1996

58

Design and synthesis of novel 2,7-dialkyl substituted 5(S)-amino-4(S)-hydroxy-8-phenyl-octanecarboxamides as in vitro potent peptidomimetic inhibitors of human renin

Richard Göschke, Nissim Claude Cohen, Jeanette M. Wood, Jürgen Maibaum

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

1997

Language:

english

File:

PDF, 425 KB

english, 1997

59

Structure-based drug design: the discovery of novel nonpeptide orally active inhibitors of human renin

J Rahuel, V Rasetti, J Maibaum, H Rüeger, R Göschke, N-C Cohen, S Stutz, F Cumin, W Fuhrer, JM Wood, MG Grütter

Journal:

Chemistry & Biology

Year:

2000

Language:

english

File:

PDF, 790 KB

english, 2000

60

E. Henze, Einführung in die Informationstheorie. (Elektronische Datenverarbeitung, Beiheft 3) III + 30 S. Braunschweig 1965. Friedr. Vieweg & Sohn. Preis brosch, DM 6,80

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1966

Language:

german

File:

PDF, 310 KB

german, 1966

61

H. Ahrens, Varianzanalyse. (WTB, Reihe Math./Phys., Bd. 49). 198 S. m. 6 Abb. u. 48 Tab. Berlin/Oxford/Braunschweig 1968. Akademie-Verlag, Pergamon Press, Vieweg & Sohn. Preis brosch. DM 9,80

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1969

Language:

german

File:

PDF, 162 KB

german, 1969

62

K. Überla, Faktorenanalyse. XII + 399 S. m. 110 Abb. Berlin/Heidelberg/New York 1968. Springer-Verlag. Preis geb. DM 59,–

G. Maibaum Dresden

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1969

Language:

german

File:

PDF, 312 KB

german, 1969

63

G. Winkler, Systematik optimaler Kommunikatiossysteme auf Grund der Theorie der Spiele. 195 S. m. 8 Abb. München/Wien 1969. R. Oldenbourg Verlag. Preis brosch. DM 48, - .

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1970

Language:

german

File:

PDF, 349 KB

german, 1970

64

G. Herlurth, Umgang mit Zufallsgrößen. Teil I: Fehler- u. Ausgleichsrechnung. 131 S. m. 62 Abb. Preis geb. 15,50 M. Teil II: Wahrscheinlichkeitsrechnung und mathematische Statistik. 139 S. m. 65 Abb. Preis geb. 16,50 M. Leipzig 1970. BSB B. G. Teubner Verlagsgesellschaft

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1971

Language:

german

File:

PDF, 180 KB

german, 1971

65

E. Henze/H. H. Homuth, Einführung in die Informationstheorie. 3. überarb. u. erw. Aufl. IV + 84 S. Braunschweig 1970. Verlag Friedr. Vieweg & Sohn. Preis brosch. DM 9,80

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1971

Language:

german

File:

PDF, 145 KB

german, 1971

66

H. F. Harmuth, Transmission of Information by Orthogonal Functions. XI + 322 S. m. 110 Fig. Berlin/Heidelberg/New York 1969. Springer-Verlag. Preis geb. DM 40,—

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1971

Language:

german

File:

PDF, 317 KB

german, 1971

67

Methoden der Logik und Mathematik, Statistische Methoden. 3. Lfg. d. Enzyklopädie d. geisteswissenschaftl. Arb. meth. Herausgeg. von Manfred Thiel. 141 S., 8 Abb., 29 Taf. u. Tab. München/Wien 1968. R. Oldenbourg Verlag. Preis brosch. DM 22,—

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1971

Language:

german

File:

PDF, 167 KB

german, 1971

68

A. Rényi, Letters on Probability, 86 S. Budapest 1972. Akadémiai Kiadó. Preis brosch. Ft 45,—

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1973

Language:

german

File:

PDF, 181 KB

german, 1973

69

M. Denis-Papin/G. Cullmann, Übungsaufgaben zur Informationstheorie. 200 S. m. 38 Bildern. Berlin 1972. Akademie-Verlag. Preis brosch. 16,80 M

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1974

Language:

german

File:

PDF, 334 KB

german, 1974

70

Bosch, K., Angewandte mathematische Statistik, Braunschweig. Vieweg & Sohn. 1976. 210 S., 41 Abb

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1978

Language:

german

File:

PDF, 182 KB

german, 1978

71

Bosch, K., Elementare Einführung in die Wahrscheinlichkeitsrechnung, Braunschweig. Vieweg. 1976. X, 192 S

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1978

Language:

german

File:

PDF, 354 KB

german, 1978

72

Csibi, S., Stochastic Processes with Learning Properties. Wien-New York. Springer-Verlag. 1975. 151 S., S 186, —. DM 27, —. (CISM Courses and Lectures 84)

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

1979

File:

PDF, 304 KB

1979

73

Paul Heinz Müller. 23. August 1924 – 10. Mai 2009

Rolf Kühne, Gert Maibaum, Volker Nollau, Thomas Riedrich, Dietrich Stoyan

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

2009

Language:

german

File:

PDF, 247 KB

german, 2009

74

Conceptual modeling of data base operations

C. S. dos Santos, T. S. E. Maibaum, A. L. Furtado

Journal:

International Journal of Parallel Programming

Year:

1981

Language:

english

File:

PDF, 720 KB

english, 1981

75

Higher order data types

T. S. E. Maibaum, Carlos J. Lucena

Journal:

International Journal of Parallel Programming

Year:

1980

Language:

english

File:

PDF, 1.25 MB

english, 1980

76

Temporal theories as modularisation units for concurrent system specification

J. Fiadeiro, T. Maibaum

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 2.23 MB

english, 1992

77

Über Scharen positiver Operatoren

Journal:

Mathematische Annalen

Year:

1970

Language:

german

File:

PDF, 1.22 MB

german, 1970

78

Editorial

J. L. Fiadeiro, S. Gnesi, T. Maibaum

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 43 KB

english, 2012

79

Lupus susceptibility loci map within regions of BXSB derived from the SB/Le parental strain

M. A. Maibaum, M. E. K. Haywood, M. J. Walport, B. J. Morley

Journal:

Year:

2000

Language:

english

File:

PDF, 85 KB

english, 2000

80

Biomechanical characterisation of a degradable magnesium-based (MgCa0.8) screw

Hazibullah Waizy, Andreas Weizbauer, Matthias Maibaum, Frank Witte, Henning Windhagen, Arne Lucas, Berend Denkena, Andrea Meyer-Lindenberg, Fritz Thorey

Journal:

Journal of Materials Science: Materials in Medicine

Year:

2012

Language:

english

File:

PDF, 350 KB

english, 2012

81

On the Modularization Theorem for logical specifications

Paulo A.S Veloso, Thomas S.E Maibaum

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 603 KB

english, 1995

82

A uniform logical treatment of queries and updates, tech. rep. DB018001-1980

T.S.E. Maibaum, C.S. dos Santos, A.L. Furtado

Journal:

Information Systems

Year:

1980

Language:

english

File:

PDF, 131 KB

english, 1980

83

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems

Nazareno Aguirre, Tom Maibaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 258 KB

english, 2004

84

A Branching Time Logical System for Open Distributed Systems Development

Carlos H.C. Duarte, Tom Maibaum

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.22 MB

english, 2002

85

Membrane-induced bundling of actin filaments

Liu, Allen P., Richmond, David L., Maibaum, Lutz, Pronk, Sander, Geissler, Phillip L., Fletcher, Daniel A.

Journal:

Year:

2008

Language:

english

File:

PDF, 409 KB

english, 2008

86

Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'—an ICSE'98 Workshop)

Tom S.E. Maibaum, Bernhard Rumpe

Journal:

Automated Software Engineering

Year:

2000

Language:

english

File:

PDF, 13 KB

english, 2000

87

Desert Island Column

Journal:

Automated Software Engineering

Year:

2002

Language:

english

File:

PDF, 36 KB

english, 2002

88

[Lecture Notes in Computer Science] FM 2008: Formal Methods Volume 5014 || A Model Checking Language for Concurrent Value-Passing Systems

Cuellar, Jorge, Maibaum, Tom, Sere, Kaisa

Year:

2008

Language:

english

File:

PDF, 583 KB

english, 2008

89

ChemInform Abstract: Bioactive Hydroxyethylene Dipeptide Isosteres with Hydrophobic (P3-P1)- Moieties. A Novel Strategy Towards Small Non-Peptide Renin Inhibitors.

V. RASETTI, N. C. COHEN, H. RUEEGER, R. GOESCHKE, J. MAIBAUM, F. CUMIN, W. FUHRER, J. M. WOOD

Journal:

Year:

1996

File:

PDF, 29 KB

1996

90

Fusion or confusion?

Wayne W. Maibaum

Journal:

Oral Surgery, Oral Medicine, Oral Pathology

Year:

1990

Language:

english

File:

PDF, 1.61 MB

english, 1990

91

Message oriented programming—A resource based methodology

P.R.F. Cunha, C.J. Lucena, T.S.E. Maibaum

Journal:

Computer Languages

Year:

1983

Language:

english

File:

PDF, 1.14 MB

english, 1983

92

Pharmacology of renin inhibitors and their application to the treatment of hypertension

Jeanette M. Wood, Frédéric Cumin, Jürgen Maibaum

Journal:

Pharmacology & Therapeutics

Year:

1994

Language:

english

File:

PDF, 1.47 MB

english, 1994

93

Comprehensive characterization of two different Nicotiana tabacum cell lines leads to doubled GFP and HA protein production by media optimization

David A. Ullisch, Christina A. Müller, Sabrina Maibaum, Janina Kirchhoff, Andreas Schiermeyer, Stefan Schillberg, Jean L. Roberts, Wiltrud Treffenfeldt, Jochen Büchs

Journal:

Journal of Bioscience and Bioengineering

Year:

2012

Language:

english

File:

PDF, 771 KB

english, 2012

94

Thermophilic and mesophilic operation of an anaerobic treatment of chicken slurry together with organic residual substances

C. Maibaum, V. Kuehn

Journal:

Water Science and Technology

Year:

1999

Language:

english

File:

PDF, 585 KB

english, 1999

95

A Product-Focused Approach to Software Certification

Maibaum, T., Wassyng, A.

Journal:

Year:

2008

Language:

english

File:

PDF, 1.05 MB

english, 2008

96

[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Verification by Abstraction

Aichernig, Bernhard K., Maibaum, Tom

Year:

2003

Language:

english

File:

PDF, 213 KB

english, 2003

97

Crystal Structure of Human BACE2 in Complex with a Hydroxyethylamine Transition-state Inhibitor

Nils Ostermann, Jörg Eder, Ulf Eidhoff, Florence Zink, Ulrich Hassiepen, Susanne Worpenberg, Jürgen Maibaum, Oliver Simic, Ulrich Hommel, Bernd Gerhartz

Journal:

Journal of Molecular Biology

Year:

2006

Language:

english

File:

PDF, 615 KB

english, 2006

98

Structure-based design of aliskiren, a novel orally effective renin inhibitor

Jeanette M Wood, Jürgen Maibaum, Joseph Rahuel, Markus G Grütter, Nissim-Claude Cohen, Vittorio Rasetti, Heinrich Rüger, Richard Göschke, Stefan Stutz, Walter Fuhrer, Walter Schilling, Pascal Rigollie

Journal:

Biochemical and Biophysical Research Communications

Year:

2003

Language:

english

File:

PDF, 267 KB

english, 2003

99

The role of intermolecular interactions: studies on model systems for bacterial biofilms

Christian Mayer, Ralf Moritz, Carolin Kirschner, Werner Borchard, Ralf Maibaum, Jost Wingender, Hans-Curt Flemming

Journal:

International Journal of Biological Macromolecules

Year:

1999

Language:

english

File:

PDF, 308 KB

english, 1999

100

Magnetic resonance imaging or arthrography for shoulder problems: a randomised study

T.K Blanchard, P.W Bearcroft, A Maibaum, B.L Hazelman, S Sharma, A.K Dixon

Journal:

European Journal of Radiology

Year:

1999

Language:

english

File:

PDF, 96 KB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски