General principles (category at ISBNdb.com)

Application and theory of Petri nets
Application and theory of Petri nets: selected papers from the first and the second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23-26 September 1980, Bad Honnef, 28-30 September 1981
edited by Claude Girault and Wolfgang Reisig
Publisher: Berlin ; Springer-Verlag, 1982.
ISBN: 0387111891 DDC: 511 LCC: QA267 Edition: (U.S.)

Theory of computation
Theory of computation: formal languages, automata, and complexity
J. Glenn Brookshear
Publisher: Redwood City, Calif. : Benjamin/Cummings Pub. Co., c1989.
ISBN: 0805301437 DDC: 511 LCC: QA267

Maths
Maths: a student's survival guide
Jenny Olive
Publisher: Cambridge, UK ; Cambridge University Press, c1998.
ISBN: 0521575869 DDC: 511 LCC: QA39.2 Edition: (paperback)

Maths
Maths: a student's survival guide
Jenny Olive
Publisher: Cambridge, UK ; Cambridge University Press, c1998.
ISBN: 0521573068 DDC: 511 LCC: QA39.2

Computability with PASCAL
John S. Mallozzi, Nicholas J. De Lillo
Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1984.
ISBN: 0131644432 DDC: 511 LCC: QA9.59 Edition: $26.95

Abstract machines and grammars
Walter J. Savitch
Publisher: Boston : Little, Brown, c1982.
ISBN: 0316771619 DDC: 511 LCC: QA267

Fundamentals of mathematics for linguistics
Barbara Hall Partee
Publisher: Stamford, Connecticut : Greylock, c1978.
ISBN: 0892230126 DDC: 511

Discrete mathematics
Kenneth A. Ross, Charles R. B. Wright
Publisher: Englewood Cliffs, N.J. : Prentice-Hall, c1985.
ISBN: 013215286X DDC: 511 LCC: QA76.9

From Dedekind to Gödel
From Dedekind to Gödel: essays on the development of the foundations of mathematics
edited by Jaakko Hintikka
Publisher: Dordrecht ; Kluwer Academic Publishers, c1995.
ISBN: 0792334841 DDC: 511 LCC: QA8.6 Edition: (acid-free paper)

Complexity and structure
Uwe Schöning
Publisher: Berlin ; Springer-Verlag, c1986.
ISBN: 0387160795 DDC: 511 Edition: (pbk.)

Studies in numerical analysis
Gene H. Golub, editor
Publisher: [Washington, D.C.] : Mathematical Association of America, c1984.
ISBN: 0883851261 DDC: 511 LCC: QA297

Petri nets
Petri nets: an introduction
Wolfgang Reisig
Publisher: Berlin ; Springer-Verlag, 1985.
ISBN: 0387137238 DDC: 511 LCC: QA267 Edition: (U.S.)

Theories of computational complexity
Christian Calude
Publisher: Amsterdam ; North-Holland ; 1988.
ISBN: 044470356X DDC: 511 LCC: QA267

Enumerative combinatorics
Richard P. Stanley
Publisher: Cambridge : Cambridge University Press, 1997-1999.
ISBN: 0521789877 DDC: 511 LCC: QA164.8 Edition: (pbk. :v.2)

Automata, languages, and programming
Automata, languages, and programming: 16th international colloquium, Stresa, Italy, July 11-15, 1989: proceedings
[ICALP 89]; G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds
Publisher: Berlin ; Springer-Verlag, c1989.
ISBN: 038751371X DDC: 511 LCC: QA267 Edition: (U.S. : alk. paper)

Iterated inductive definitions and subsystems of analysis
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
Wilfried Buchholz... [et al.]
Publisher: Berlin ; Springer-Verlag, 1981.
ISBN: 3540111700 DDC: 511 LCC: QA3

Discrete mathematics
John A. Dossey... [et al.]
Publisher: Boston : Addison Wesley, c2002.
ISBN: 0321079124 DDC: 511 LCC: QA39.3 Edition: 2001022850

Discrete mathematics with applications
Susanna S. Epp
Publisher: Pacific Grove, Ca. : Brooks/Cole, 1995.
ISBN: 0534944469 DDC: 511 LCC: QA39.2

Discrete mathematics with applications
Susanna S. Epp
Publisher: Boston : PWS Pub. Co., c1995.
ISBN: 0534944493 DDC: 511 LCC: QA39.2 Edition: (instructor's manual)

Books on the Same Shelf