Proceedings of the seventh IBM Symposium on mathematical foundations of computer science : mathematical theory of computations.

Grammars and automata for string processing : from mathematics and computer science to biology, and back /
Published: (2003)

Process algebra for parallel and distributed processing /
Published: (2009)

Computers in language research 2 /
Published: (1983)

Computer mathematics /
by: Conrad, Clifford L.
Published: (1975)

Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 /
Published: (1986)

IBM dictionary of computing /
Published: (1994)

Computing and computer science ; a first course with FORTRAN IV /
by: Sterling, Theodor D.
Published: (1970)

An introduction to formal language theory /
by: Moll, Robert N.
Published: (1988)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2001)

Introduction to computer science : programming and problem solving with PASCAL /
by: Graham, Neill, 1941-
Published: (1988)

Automatic syntactic analysis /
by: Foster, J. M. (John Michael)
Published: (1970)

Introduction to computers and computer science /
by: Dorf, Richard C.
Published: (1972)

Introduction to computers and computer science /
by: Dorf, Richard C.
Published: (1977)

Introductory theory of computer science /
by: Krishnamurthy, E. V.
Published: (1984)

Computers in mathematics : a sourcebook of ideas /
Published: (1980)

Computer science : an overview /
by: Brookshear, J. Glenn
Published: (1985)

Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 /
Published: (1977)

Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
Published: (2005)

Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /
Published: (2004)

Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /
Published: (2006)

Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
Published: (2007)

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
Published: (2004)

Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
Published: (2002)

Computers & mathematics with applications.
Published: (1987)

Computers & mathematics with applications.

Computers & mathematics with applications.
Published: (1975)

Computers & mathematics, with applications.
Published: (1986)

Fundamentals of the computing sciences : supplementary volume /
by: Maly, Kurt, 1944-
Published: (1978)

Essays in computing science /
by: Hoare, C. A. R. (Charles Antony Richard), 1934-
Published: (1989)

Introduction to computer mathematics /
by: Merris, Russell, 1943-
Published: (1985)

Introduction to computer science /
by: Katzan, Harry
Published: (1982)

Introduction to computer science /
by: Katzan, Harry
Published: (1975)

Introduction to computer science /
by: Graham, Neill, 1941-
Published: (1985)

Studies in computer science /
Published: (1982)

Computers and information processing /
by: Davis, Gordon B. (Gordon Bitter)
Published: (1978)

Information and computer science /
by: Kimble, Gerald W.
Published: (1975)