Filter

Formalism

14 books found

Curiosities
Curiosities

by Adam Fieled

2004 31 ed.
Russian Formalism
Russian Formalism

by Peter Steiner, P. Steiner

1984 11 ed.
Framing formalism
Framing formalism

by Richard Woodfield, Hans Sedlmayr

1999 6 ed.
Defining the IEEE-854 floating-point standard in PVS
Defining the IEEE-854 floating-point standard in PVS

by Paul S. Miner

1995 4 ed.
Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request
Using formal methods to assist in the requirements analysis ...

by Ben L. Di Vito

1996 3 ed.
Distributed state-space generation of discrete-state stochastic models
Distributed state-space generation of discrete-state stochas...

by Gianfranco Ciardo

1995 3 ed.
Konsten att sätta texter i verket
Konsten att sätta texter i verket

by Nils Olsson

2010 2 ed.
Interpretation of IEEE-854 floating-point standard and definition in the HOL system
Interpretation of IEEE-854 floating-point standard and defin...

by Victor A. Carreño

1995 2 ed.
IMAGES OF THOUGHT
IMAGES OF THOUGHT

by GREGORY MINISSALE

2006 2 ed.
A simple method for nucleon-nucleon cross sections in a nucleus
A simple method for nucleon-nucleon cross sections in a nucl...

by Ratikanta Tripathi

1999 2 ed.
The detailed balance requirement and general empirical formalisms for continuum absorption
The detailed balance requirement and general empirical forma...

by Q. Ma

1994 1 ed.
TBell
TBell

by D. N. Hoover

1994 1 ed.
Experiences using lightweight formal methods for requirements modeling
Experiences using lightweight formal methods for requirement...

by S. M. Easterbrook

1997 1 ed.
VISUAL EF9ECTS | Architecture and the Chess Game of Form & Story
VISUAL EF9ECTS | Architecture and the Chess Game of Form & S...

by JEF7REY HILDNER