Reihe Progress in Theoretical Computer Science Categorical Combinators, Sequential Algorithms, and Functional Programming P.-L. CurienBirkhäuser BostonSoftcover2012106,99 € Nondeterminism in Algebraic Specifications and Algebraic Programs HussmannBirkhäuser BostonSoftcover201253,49 € Complexity Theory of Real Functions K. KoBirkhäuser BostonSoftcover201290,94 € Verifying Temporal Properties of Systems J.C. BradfieldBirkhäuser BostonSoftcover201253,49 € The Combinatory Programme Erwin EngelerBirkhäuser BostonSoftcover2011106,99 € Algol-like Languages Peter O'HearnBirkhäuser BostonSoftcover2011106,99 € Object-Oriented Programming A Unified Foundation Giuseppe CastagnaBirkhäuser BostonSoftcover2011106,99 € Comparative Metric Semantics of Programming LanguagesNondeterminism and RecursionFranck van BreughelBirkhäuser BostonSoftcover2011106,99 € Isomorphisms of Typesfrom ?-calculus to information retrieval and language designRoberto DiCosmoBirkhäuser BostonSoftcover201153,49 € Neural Networks and Analog ComputationBeyond the Turing LimitHava T. SiegelmannBirkhäuser BostonHardcover1998160,49 €59 Treffer 1 2 3 4 5 6