Reihe Texts in Theoretical Computer Science. An EATCS SeriesSpringer Berlin × The Parametric Lambda CalculusA Metamodel for ComputationSimona Ronchi Della RoccaSpringer BerlinHardcover200453,49 € Elements of Finite Model Theory Leonid LibkinSpringer BerlinHardcover200496,29 € Interactive Theorem Proving and Program DevelopmentCoq’Art: The Calculus of Inductive ConstructionsYves BertotSpringer BerlinHardcover2004117,69 € Verification of Reactive SystemsFormal Methods and AlgorithmsKlaus SchneiderSpringer BerlinHardcover200353,49 € Theoretical Computer ScienceIntroduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and CryptographyJuraj HromkovičSpringer BerlinHardcover2003106,99 € Algorithmics for Hard ProblemsIntroduction to Combinatorial Optimization, Randomization, Approximation, and HeuristicsJuraj HromkovičSpringer BerlinHardcover200296,29 € Boolean Functions and Computation Models Peter CloteSpringer BerlinHardcover200280,20 € Information and RandomnessAn Algorithmic PerspectiveCristian S. CaludeSpringer BerlinHardcover200285,59 € The Complexity Theory Companion Lane A. HemaspaandraSpringer BerlinHardcover200185,59 € Computable AnalysisAn IntroductionKlaus WeihrauchSpringer BerlinHardcover200053,49 €115 Treffer 1 2 3 4 5 6 7 8 9 10 11 12
