Models of Sharing Graphs : a Categorical Semantics of let and letrec /

The Design and Analysis of Algorithms /
by: Kozen, Dexter C.
Published: (1992)

Selected Writings on Computing: A personal Perspective /
by: Dijkstra, Edsger W.
Published: (1982)

Computability and Complexity Theory /
by: Homer, S. (Steven)
Published: (2001)

The Book of L /
by: Rozenberg, G.
Published: (1986)

SWAT '88 : 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings /
by: Karlsson, Rolf
Published: (1988)

Practical Use of Mathcad® : Solving Mathematical Problems with a Computer Algebra System /
by: Benker, Hans
Published: (1999)

Lattice Functions and Equations /
by: Rudeanu, Sergiu
Published: (2001)

The Graph Isomorphism Problem : Its Structural Complexity /
by: Köbler, Johannes
Published: (1993)

Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion /
by: Breugel, Franck
Published: (1996)

Search and Planning Under Incomplete Information : a Study Using Bridge Card Play /
by: Frank, Ian
Published: (1998)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

Data Structures and Algorithms: A First Course /
by: Adamson, Iain T.
Published: (1996)

An Introduction to Data Structures and Algorithms /
by: Storer, James A.
Published: (2002)

Data Structures and Algorithms 3 : Multi-dimensional Searching and Computational Geometry /
by: Mehlhorn, Kurt
Published: (1984)

Algorithm Synthesis: A Comparative Study /
by: Steier, D. M.
Published: (1989)

Algorithms and Model Formulations in Mathematical Programming /
by: Wallace, Stein W.
Published: (1989)

Data Structures and Algorithms 2 : Graph Algorithms and NP-Completeness /
by: Mehlhorn, Kurt
Published: (1984)

Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988 /
by: Selman, Alan L.
Published: (1990)

Soft-ware 2002 : computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings /
Published: (2002)

MuPAD Pro Computing Essentials /
by: Majewski, Miroslaw
Published: (2002)

MuPAD Pro Computing Essentials /
by: Majewski, Miroslaw
Published: (2004)

Algorithms on Trees and Graphs /
by: Valiente, Gabriel
Published: (2002)

Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings /
by: Main, Michael G.
Published: (1990)

Fast Algorithms for 3D-Graphics /
by: Glaeser, Georg
Published: (1994)

Computational Geometry and its Applications : CG '88 International Workshop on Computational Geometry Würzburg, FRG, March 24-25, 1988. Proceedings /
by: Noltemeier, Hartmut
Published: (1988)

SOFSEM '95 : theory and practice of informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-December 1, 1995 : proceedings /
Published: (1995)

Programming for Software Sharing /
by: Muxworthy, D. T.
Published: (1983)

Sequences and their Applications : Proceedings of SETA '98 /
by: Ding, C.
Published: (1999)

Algorithms in Combinatorial Geometry /
by: Edelsbrunner, Herbert
Published: (1987)

Information Dynamics : Foundations and Applications /
by: Deco, Gustavo
Published: (2001)

CAAP'86 : 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings /
by: Franchi-Zannettacci, P. (Paul)
Published: (1986)

Lectures on the Complexity of Bilinear Problems /
by: Groote, Hans F. de
Published: (1987)

Kolmogorov Complexity and Computational Complexity /
by: Watanabe, Osamu
Published: (1992)

Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings /
by: Budach, L. (Lothar), 1935-
Published: (1987)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986 /
by: Monien, B.
Published: (1986)

Computability /
by: Weihrauch, Klaus
Published: (1987)