Families of fixed degree graphs for processor interconnection

The parallel reduction of lambda calculus expressions
von: Watson, Paul
Veröffentlicht: (1986)

Enrichment through variation
von: Gordon, Robert, et al.
Veröffentlicht: (1993)

Equilibrium departures from common knowledge in games with non-additive expected utility
von: Mukerji, Sujoy, et al.
Veröffentlicht: (1997)

Metalogical frameworks
von: Basin, David A., et al.
Veröffentlicht: (1991)

Instrument instability and monetary control in the National Institute's model 6
von: Brooks, Simon
Veröffentlicht: (1986)

Model solution techniques and the non-existence of a well defined equilibrium solution
von: Hall, Stephen G. 1953-, et al.
Veröffentlicht: (1985)

On the pi-calculus and linear logic
von: Bellin, Gianluigi, et al.
Veröffentlicht: (1992)

Improving evolutionary timetabling with delta evaluation and directed mutation
von: Ross, Peter, et al.
Veröffentlicht: (1994)

Stochastic image restoration: clean images and their likelihood
von: Pérez-Miñana, Elena, et al.
Veröffentlicht: (1993)

Var modelling of the German economy with financial spreads as key indicatorvariables
von: Davis, E. Philip
Veröffentlicht: (1993)

Guiding proof search in logical frameworks with rippling
von: Negrete, Santiagao, et al.
Veröffentlicht: (1995)

A comparison of algorithms for sub-pixel peak detection
von: Naidu, D. K., et al.
Veröffentlicht: (1991)

Bartlett correction of the unit root test in autoregressive models
von: Nielsen, Nielsen
Veröffentlicht: (1995)

Multi-level models for geographical research
von: Jones, Kelvyn
Veröffentlicht: (1991)

On efficiency in theorem provers which fully expand proofs into primmitive inferences
von: Boulton, Richard J.
Veröffentlicht: (1992)

Metaheuristics for the capacitated clustering problem
von: Ahmadi, Samad
Veröffentlicht: (1998)

Distributed computing with a processor bank
von: Bacon, Jean M., et al.
Veröffentlicht: (1989)

An in-depth study of road accident casualties and their injury patterns
Veröffentlicht: (1988)

The government social survey a history
von: Moss, Louis
Veröffentlicht: (1991)

Adversarial and inquisitorial procedures in arbitration
von: Shin, Hyun Song 1959-
Veröffentlicht: (1997)

Simple translation-invariant concepts are hard to learn
von: Jerrum, Mark 1955-
Veröffentlicht: (1991)

The generalized war of attrition
von: Bulow, Jeremy, et al.
Veröffentlicht: (1997)

Abstraction mechanisms for hardware verification
von: Melham, Thomas F.
Veröffentlicht: (1987)

Design of a Bit-sliced network for a shared-memory multiprocessor system
von: Rogers, D. J., et al.
Veröffentlicht: (1992)

Distributed deadlock detection algorithms and proofs
von: Hilditch, Steve, et al.
Veröffentlicht: (1989)

Fail-controlled computer architectures for distributed systems
Veröffentlicht: (1991)

Software monitoring of UNIX systems
von: Montasar-Kohsari, Afzal, et al.
Veröffentlicht: (1986)

Abstract Prolog machine a specification
von: MacCabe, F. G.
Veröffentlicht: (1983)

Some experiences of testing protocol implementations
von: Pavel, J. R., et al.
Veröffentlicht: (1984)

Software monitoring of Unix systems
von: Montasar-Kohsari, Afzal, et al.
Veröffentlicht: (1986)

A theoretical model for the speech input device SID3
von: Schofield, D., et al.
Veröffentlicht: (1983)

A theoretical model for the speech input device SID3
von: Schofield, D., et al.
Veröffentlicht: (1983)

Pilgrim, a debugger for distributed systems
von: Cooper, Robert
Veröffentlicht: (1987)

Adapting operator settings in genetic algorithms
von: Tuson, Andrew, et al.
Veröffentlicht: (1996)

General theory relating to the implentation of concurrent symbolic computation
von: Clarke, Thomas J.
Veröffentlicht: (1989)

The HOL verification of ELLA designs
Veröffentlicht: (1990)