Texts and Monographs in Computer Science

11 réponses.

Book, Ronald V. & Otto, Friedrich

String-rewriting systems. - Springer Verlag, 1993. - (Texts and Monographs in Computer Science).

Kozen, Dexter C.

The design and analysis of algorithms. - Springer Verlag, 1992. - (Texts and Monographs in Computer Science).

Fejer, Peter A. & Simovoci, Dan A.

Mathematical foundations of computer science. Volume I: Sets, relations, and induction. - Springer Verlag, 1990. - (Texts and Monographs in Computer Science).

Manes, Ernest G. & Arbib, Michael A.

Algebraic approaches to program semantics. - Springer Verlag, 1986. - (Texts and Monographs in Computer Science).

Preparata, Franco P. & Shamos, Michael

Computational geometry: an introduction. - Springer Verlag, 1985. - (Texts and Monographs in Computer Science).

Bauer, Friedrich L. & Wössner, Hans

Algorithmic language and program development. - Springer Verlag, 1982. - (Texts and Monographs in Computer Science).

Kfoury, A.J. & Moll, Robert N. & Arbib, Michael A.

A programming approach to computability. - Springer Verlag, 1982. - (Texts and Monographs in Computer Science).

Arbib, Michael A. & Kfoury, A.J. & Moll, Robert N.

A basis for theoretical computer science. - Springer Verlag, 1981. - (Texts and Monographs in Computer Science).

Alagic, Suad & Arbib, Michael A.

The design of well-structured and correct programs. Second edition. - Springer Verlag, 1978. - (Texts and Monographs in Computer Science).

Gries, David

Programming methodology. A collection of articles by members of IFIP WG2.3. - Springer Verlag, 1978. - (Texts and Monographs in Computer Science).

Salomaa, Arto & Soittola, Matti

Automata-theoretic aspects of formal power series. - Springer Verlag, 1978. - (Texts and Monographs in Computer Science).