Author(s)
Bibliographic Information
Springer series in discrete mathematics and theoretical computer science
Springer
Search this Book/Journal
Related Books： 1-10 of 10
-
1
- The unknowable
-
by Gregory J. Chaitin
Springer c1999 Springer series in discrete mathematics and theoretical computer science
: hc
Available at 14 libraries
-
2
- Polynomials : an algorithmic approach
-
Maurice Mignotte, Doru Ștefănescu
Springer c1999 Springer series in discrete mathematics and theoretical computer science
Available at 23 libraries
-
3
- People & ideas in theoretical computer science
-
edited by C.S. Calude
Springer c1999 Springer series in discrete mathematics and theoretical computer science
Available at 20 libraries
-
4
- Quantum logic
-
Karl Svozil
Springer 1998 Springer series in discrete mathematics and theoretical computer science
Available at 22 libraries
-
5
- Computing with bio-molecules : theory and experiments
-
Gheorghe Păun (editor)
Springer c1998 Springer series in discrete mathematics and theoretical computer science
Available at 17 libraries
-
6
- International Refinement Workshop and Formal Methods Pacific 1998 : proceedings of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia
-
edited by J. Grundy, M. Schwenke, T. Vickers
Springer-Verlag 1998 Springer series in discrete mathematics and theoretical computer science
softcover
Available at 4 libraries
-
7
- Unconventional models of computation
-
C.S. Calude, J. Casti, M.J. Dineen (editors)
Springer c1998 Springer series in discrete mathematics and theoretical computer science
Available at 18 libraries
-
8
- The limits of mathematics : a course on information theory and limits of formal reasoning
-
Gregory J. Chaitin
Springer c1998 Springer series in discrete mathematics and theoretical computer science
: uk
Available at 28 libraries
-
9
- Formal methods Pacific '97 : proceedings of FMP '97, 9-11 July 1997, Wellington, New Zealand
-
Lindsay Groves, Steve Reeves (editors)
Springer c1997 Springer series in discrete mathematics and theoretical computer science
: pbk
Available at 9 libraries
-
10
- Combinatorics, complexity, & logic : proceedings of DMTCS '96
-
D.S. Bridges ... [et al.] (editors)
Springer c1997 Springer series in discrete mathematics and theoretical computer science
Available at 29 libraries
