Reihe Texts in Computer Science Specification of Software Systems V.S. AlagarSpringer USeBook201385,59 € An Introduction to Kolmogorov Complexity and Its Applications Ming LiSpringer USeBook201385,59 € Verification of Sequential and Concurrent Programs Krzysztof R. AptSpringer USeBook201385,59 € Computability and Complexity Theory Steven HomerSpringer USeBook201385,59 € An Introduction to Kolmogorov Complexity and Its Applications Ming LiSpringer USeBook201385,59 € Verification of Sequential and Concurrent Programs Krzysztof R. AptSpringer USeBook201385,59 € Computability and Complexity Theory Steven HomerSpringer USeBook201385,59 € A Recursive Introduction to the Theory of Computation Carl SmithSpringer USeBook201253,49 € Descriptive Complexity Neil ImmermanSpringer USeBook201290,94 € Logic for Applications Anil NerodeSpringer USeBook201253,49 €317 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 ...