MPG.eBooks - Search Results - "Progress in IS"

Cover Image

1

Semantics of Type Theory : Correctness, Completeness and Independence Results

by Streicher, T.
Published 1991

Birkhäuser

“...Progress in Theoretical Computer Science...”

Cover Image

2

Optimal Design and Control : Proceedings of the Workshop on Optimal Design and Control Blacksburg, Virginia April 8–9, 1994

Published 1995

Birkhäuser

“...Progress in Systems and Control Theory...”

Cover Image

3

Computation and Control : Proceedings of the Bozeman Conference, Bozeman, Montana, August 1–11, 1988

by Bowers, Kenneth L., Lund, John
Published 1989

Birkhäuser

“...Progress in Systems and Control Theory...”

Cover Image

4

Essays on Control : Perspectives in the Theory and its Applications

Published 1993

Birkhäuser

“...Progress in Systems and Control Theory...”

Cover Image

5

Isomorphisms of Types : from ?-calculus to information retrieval and language design

by DiCosmo, Roberto
Published 1995

Birkhäuser

“...Progress in Theoretical Computer Science...”

Cover Image

6

Computation and Control IV : Proceedings of the Fourth Bozeman Conference, Bozeman, Montana, August 3–9, 1994

Published 1995

Birkhäuser

“...Progress in Systems and Control Theory...”

Cover Image

7

Systems and Control in the Twenty-First Century

by Byrnes, Christopher I., Datta, Biswa N., Martin, Clyde F.
Published 1997

Birkhäuser

“...Progress in Systems and Control Theory...”

Cover Image

8

Discrete Event Systems: Modeling and Control : Proceedings of a Joint Workshop held in Prague, August 1992

Published 1993

Birkhäuser

“...Progress in Systems and Control Theory...”

Cover Image

9

Topics in the Mathematical Modelling of Composite Materials

Published 1997

Birkhäuser

“...Progress in Nonlinear Differential Equations and Their Applications...”

Cover Image

10

Coding, Cryptography and Combinatorics

Published 2004

Birkhäuser

“...Progress in Computer Science and Applied Logic...”