101

Formal frameworks for approximate reasoning

Year:
1992
Language:
english
File:
PDF, 1.04 MB
english, 1992
102

The intuitionistic alternative set theory

Year:
1993
Language:
english
File:
PDF, 940 KB
english, 1993
105

Formal development in B abstract machine notation

Year:
1995
Language:
english
File:
PDF, 1.55 MB
english, 1995
106

Shear flow curve in mixing systems—A simplified approach

Year:
2008
Language:
english
File:
PDF, 341 KB
english, 2008
107

Recent attacks on alleged SecurID and their practical implications

Year:
2005
Language:
english
File:
PDF, 148 KB
english, 2005
108

Creep damage modelling for quasi-brittle materials

Year:
2005
Language:
english
File:
PDF, 330 KB
english, 2005
109

Constraint-driven development

Year:
2008
Language:
english
File:
PDF, 386 KB
english, 2008
115

An unexpected cyclization path to some pyrazoles

Year:
1985
Language:
english
File:
PDF, 220 KB
english, 1985
117

Yang-Mills, gravity, and string symmetries

Year:
1997
Language:
english
File:
PDF, 521 KB
english, 1997
118

Experiences of using formal methods for chemical process control specification

Year:
2000
Language:
english
File:
PDF, 255 KB
english, 2000
119

Famine-associated AED Toxicity in Rural Zambia

Year:
2003
Language:
english
File:
PDF, 31 KB
english, 2003
121

Book Reviews

Year:
2001
Language:
english
File:
PDF, 23 KB
english, 2001
122

Chronostratigraphy and paleoclimatic meaning of cryogenic deformations in the Central European loess

Year:
1991
Language:
english
File:
PDF, 717 KB
english, 1991
125

Slipping zone location in squeeze flow

Year:
2006
Language:
english
File:
PDF, 174 KB
english, 2006
126

Squeeze flow of Bingham fluids under slip with friction boundary condition

Year:
2007
Language:
english
File:
PDF, 233 KB
english, 2007
127

Mortar physical properties evolution in extrusion flow

Year:
2007
Language:
english
File:
PDF, 472 KB
english, 2007
132

Extending UML with coordination contracts

Year:
2006
Language:
english
File:
PDF, 469 KB
english, 2006
133

A compositional semantics of UML-RSDS

Year:
2009
Language:
english
File:
PDF, 796 KB
english, 2009
136

Fuzzy sets and residuated logic

Year:
1992
Language:
english
File:
PDF, 991 KB
english, 1992
138

On the optimisation of a texture analyser in squeeze flow geometry

Year:
2006
Language:
english
File:
PDF, 310 KB
english, 2006
142

Archaeomagnetic secular variation in Germany during the past 2500 years

Year:
2005
Language:
english
File:
PDF, 414 KB
english, 2005