Reihe Discrete Mathematics and Theoretical Computer ScienceSpringer Singapore × The Unknowable Gregory J. ChaitinSpringer SingaporeHardcover1999181,89 € PolynomialsAn Algorithmic ApproachMaurice MignotteSpringer SingaporeSoftcover1999 Combinatorics, Computation, and LogicProceedings of DMTCS'99 and CATS'99Springer SingaporeSoftcover1999 People and Ideas in Theoretical Computer Science Springer SingaporeHardcover1999 Computing with Bio-MoleculesTheory and ExperimentsSpringer SingaporeSoftcover1998 Quantum Logic Karl SvozilSpringer SingaporeSoftcover199853,49 € International Refinement Workshop and Formal Methods Pacific '98Proceedings of IRW/FMP '98 29 September - 2 October 1998, Canberra, AustraliaSpringer SingaporeSoftcover1998 Unconventional Models of Computation Springer SingaporeSoftcover1998 The Limits of MathematicsA course on information theory and the limits of formal reasoningGregory J. ChaitinSpringer SingaporeHardcover1998 Formal Methods - Pacific 97Proceedings of the FMP'97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement WorksSpringer SingaporeSoftcover1997
