Algorithms and Order /

Computing and combinatorics : 9th annual international conference, COCOON 2003, Big Sky, MT, USA, July 25-28, 2003 : proceedings /
Published: (2003)

Computing and combinatorics : second annual international conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings /
Published: (1996)

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

Nonsequential Processes : a Petri Net View /
by: Best, Eike
Published: (1988)

Algebraic Combinatorics and Computer Science : a Tribute to Gian-Carlo Rota /
by: Crapo, H.
Published: (2001)

Computing and combinatorics : 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings /
Published: (1998)

Computing and combinatorics : 6th annual international conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 : proceedings /
Published: (2000)

Handbook of Combinatorial Optimization : Supplement Volume A /
by: Du, Dingzhu
Published: (1999)

Combinatorial Network Theory /
by: Du, Dingzhu
Published: (1996)

Probabilistic Methods for Algorithmic Discrete Mathematics /
by: Habib, M. (Michel)
Published: (1998)

Algorithms for Games /
by: Adelʹson-Velʹskiĭ, G. M. (Georgiĭ Maksimovich)
Published: (1988)

Introduction to Programming with Mathematica® : Includes diskette /
by: Gaylord, Richard J.
Published: (1993)

A Basis for Theoretical Computer Science /
by: Arbib, Michael A.
Published: (1981)

Symmetric Functions 2001: Surveys of Developments and Perspectives /
by: Fomin, Sergey
Published: (2002)

Parallel Numerical Computation with Applications /
by: Yang, Tianruo
Published: (1999)

Automata Theory and its Applications /
by: Khoussainov, Bakhadyr
Published: (2001)

A Recursive Introduction to the Theory of Computation /
by: Smith, Carl H. (Carl Henry), 1895-
Published: (1994)

Refinement Calculus : a Systematic Introduction /
by: Back, Ralph-Johan
Published: (1998)

Fault-Tolerant Parallel Computation /
by: Kanellakis, Paris Christos
Published: (1997)

Deduction Systems /
by: Socher-Ambrosius, Rolf
Published: (1997)

Combinatorics and commutative algebra /
by: Stanley, Richard P., 1944-
Published: (1996)

Modern Cryptography, Probabilistic Proofs and Pseudorandomness /
by: Goldreich, Oded
Published: (1999)

Cycles and Rays /
by: Hahn, Geňa
Published: (1990)

Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry /
by: Matoušek, Jiří, 1963-
Published: (2008)

Tree Lattices /
by: Bass, Hyman
Published: (2001)

Extremal Combinatorics : With Applications in Computer Science /
by: Jukna, Stasys
Published: (2001)

Combinatorial Theory /
by: Aigner, Martin
Published: (1997)

Moment Maps and Combinatorial Invariants of Hamiltonian Tn-spaces /
by: Guillemin, Victor
Published: (1994)

Moufang Polygons /
by: Tits, Jacques
Published: (2002)

Information and Randomness : An Algorithmic Perspective /
by: Calude, Cristian S.
Published: (2002)

Some Tapas of Computer Algebra /
by: Cohen, Arjeh M.
Published: (1999)

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings /
Published: (1988)

Invariant Methods in Discrete and Computational Geometry : Proceedings of the Curaçao Conference, 13-17 June, 1994 /
by: White, Neil L.
Published: (1995)

Verification of Reactive Systems : Formal Methods and Algorithms /
by: Schneider, Klaus
Published: (2004)

Differential and Difference Dimension Polynomials /
by: Kondratieva, M. V.
Published: (1999)

Formal Power Series and Algebraic Combinatorics : 12th International Conference, FPSAC'00, Moscow, Russia, June 2000, Proceedings /
by: Krob, Daniel
Published: (2000)