MPG.eBooks - Search Results - *

Cover Image

1

Polynomial and Matrix Computations : Fundamental Algorithms

by Bini, Dario, Pan, Victor Y.
Published 1994

Birkhäuser

Cover Image

2

Maple via Calculus : A Tutorial Approach

by Lopez, Robert J.
Published 1994

Birkhäuser Boston

Cover Image

3

Categorical Combinators, Sequential Algorithms, and Functional Programming

by Curien, P.-L.
Published 1993

Birkhäuser

Cover Image

4

Algorithms for Random Generation and Counting: A Markov Chain Approach

by Sinclair, A.
Published 1993

Birkhäuser

Cover Image

5

Logical Methods : In Honor of Anil Nerode’s Sixtieth Birthday

Published 1993

Birkhäuser

Cover Image

6

Parameterized Complexity

by Downey, Rodney G., Fellows, M.R.
Published 1999

Springer New York

Cover Image

7

Human Machine Symbiosis : The Foundations of Human-centred Systems Design

Published 1996

Springer London

Cover Image

8

Information Society : New Media, Ethics and Postmodernism

Published 1996

Springer London

Cover Image

9

Testing Safety-Related Software : A Practical Handbook

Published 1999

Springer London

Cover Image

10

An Introduction to Quantum Computing Algorithms

by Pittenger, Arthur O.
Published 2000

Birkhäuser

Cover Image

11

Complexity and Real Computation

by Blum, Lenore, Cucker, Felipe, Shub, Michael, Smale, Steve
Published 1998

Springer New York

Cover Image

12

Specification and Verification of Concurrent Systems

Published 1990

Springer London

Cover Image

13

7th UK Computer and Telecommunications Performance Engineering Workshop : Edinburgh, 22–23 July 1991

Published 1992

Springer London

Cover Image

14

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2–3 July 1992...

Published 1993

Springer London

Cover Image

15

Music Education: An Artificial Intelligence Approach : Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scot...

Published 1994

Springer London

Cover Image

16

The Temporal Logic of Reactive and Concurrent Systems : Specification

by Manna, Zohar, Pnueli, Amir
Published 1992

Springer New York

Cover Image

17

Solving Higher-Order Equations : From Logic to Programming

by Prehofer, Christian
Published 1998

Birkhäuser

Cover Image

18

Feasible Mathematics II

Published 1995

Birkhäuser

Cover Image

19

Problem Solving with Fortran 90 : For Scientists and Engineers

by Brooks, David R.
Published 1997

Springer New York

Cover Image

20

An Introduction to Programming with Mathematica®

by Gaylord, Richard J., Kamin, Samuel N., Wellin, Paul R.
Published 1996

Springer New York

1
2
3
4
5
6
7
8
9
10
11