Reihe Computer Science Foundations and Applied Logic Causal DiscoveryFoundations, Algorithms and ApplicationsLuis Enrique SucarSpringer International PublishingHardcover202690,94 € Causal DiscoveryFoundations, Algorithms and ApplicationsLuis Enrique SucarSpringer International PublishingeBook2026 Concise Guide to Fault Tree AnalysisModels, Methods and AlgorithmsMariëlle StoelingaSpringer International PublishingHardcover202569,54 € Concise Guide to Fault Tree AnalysisModels, Methods and AlgorithmsMariëlle StoelingaSpringer International PublishingeBook202569,54 € Proof Assistants and Their Applications in Mathematics and Computer Science Springer International PublishingHardcover202580,24 € Proof Assistants and Their Applications in Mathematics and Computer Science Springer International PublishingeBook2025 Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingHardcover202580,24 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingeBook202580,24 € Multi-valued Logic for Decision-Making Under Uncertainty Evgeny KaganSpringer International PublishingHardcover2025213,99 € Multi-valued Logic for Decision-Making Under Uncertainty Evgeny KaganSpringer International PublishingeBook2025203,29 €26 Treffer 1 2 3
