Reihe Texts in Theoretical Computer Science. An EATCS SeriesSpringer Berlin × Parsing SchemataA Framework for Specification and Analysis of Parsing AlgorithmsKlaas SikkelSpringer BerlinSoftcover201353,49 € Introduction to Circuit ComplexityA Uniform ApproachHeribert VollmerSpringer BerlineBook201380,24 € Public-Key Cryptography Arto SalomaaSpringer BerlineBook201353,49 € The Complexity Theory Companion Lane A. HemaspaandraSpringer BerlineBook201360,98 € Interactive Theorem Proving and Program DevelopmentCoq’Art: The Calculus of Inductive ConstructionsYves BertotSpringer BerlineBook201385,59 € Algorithmics for Hard ProblemsIntroduction to Combinatorial Optimization, Randomization, Approximation, and HeuristicsJuraj HromkovičSpringer BerlineBook201385,59 € Algorithmics for Hard ProblemsIntroduction to Combinatorial Optimization, Randomization, Approximation, and HeuristicsJuraj HromkovičSpringer BerlineBook201369,54 € DNA ComputingNew Computing ParadigmsGheorghe PaunSpringer BerlineBook201388,80 € Communication Complexity and Parallel Computing Juraj HromkovičSpringer BerlineBook201353,49 € Introduction to Process Algebra Wan FokkinkSpringer BerlineBook201353,49 €115 Treffer 1 2 3 4 5 ...
