Reihe Computer Science Foundations and Applied Logic Structural Decision Diagrams in Digital TestTheory and ApplicationsRaimund UbarSpringer International PublishingHardcover2024235,39 € Structural Decision Diagrams in Digital TestTheory and ApplicationsRaimund UbarSpringer International PublishingeBook2024223,63 € Petri Net PrimerA Compendium on the Core Model, Analysis, and SynthesisEike BestSpringer International PublishingHardcover202485,59 € Petri Net PrimerA Compendium on the Core Model, Analysis, and SynthesisEike BestSpringer International PublishingeBook202464,19 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingSoftcover202464,19 € Algorithms for Constructing Computably Enumerable Sets Kenneth J. SupowitSpringer International PublishingHardcover202364,19 € Algorithms for Constructing Computably Enumerable Sets Kenneth J. SupowitSpringer International PublishingeBook202364,19 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingHardcover202390,94 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingeBook202364,19 €29 Treffer 1 2 3
