著者
書誌事項
Springer series in discrete mathematics and theoretical computer science
Springer
この図書・雑誌をさがす
関連文献： 10件中 1-10を表示
-
1
- The unknowable
-
by Gregory J. Chaitin
Springer c1999 Springer series in discrete mathematics and theoretical computer science
: hc
所蔵館14館
-
2
- Polynomials : an algorithmic approach
-
Maurice Mignotte, Doru Ștefănescu
Springer c1999 Springer series in discrete mathematics and theoretical computer science
所蔵館23館
-
3
- People & ideas in theoretical computer science
-
edited by C.S. Calude
Springer c1999 Springer series in discrete mathematics and theoretical computer science
所蔵館20館
-
4
- Quantum logic
-
Karl Svozil
Springer 1998 Springer series in discrete mathematics and theoretical computer science
所蔵館22館
-
5
- Computing with bio-molecules : theory and experiments
-
Gheorghe Păun (editor)
Springer c1998 Springer series in discrete mathematics and theoretical computer science
所蔵館17館
-
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
所蔵館4館
-
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
所蔵館18館
-
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
所蔵館28館
-
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
所蔵館9館
-
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
所蔵館29館
