Reihe Discrete Mathematics and Theoretical Computer Science 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 SingaporeSoftcover199736 Treffer 1 2 3 4
