Reihe Theoretical Computer Science and General IssuesSpringer International Publishing × Leveraging Applications of Formal Methods, Verification and Validation: Applications9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 202Springer International PublishingSoftcover202053,49 € Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 202Springer International PublishingSoftcover202053,49 € Leveraging Applications of Formal Methods, Verification and Validation: Applications9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 202Springer International PublishingeBook202053,49 € Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 202Springer International PublishingeBook202053,49 € Swarm Intelligence12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, ProceedingsSpringer International PublishingSoftcover202053,49 € Swarm Intelligence12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, ProceedingsSpringer International PublishingeBook202053,49 € Cellular Automata and Discrete Complex Systems26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, ProceedingsSpringer International PublishingeBook202053,49 € High Performance ComputingISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected PapersSpringer International PublishingSoftcover202074,89 € Artificial Neural Networks and Machine Learning – ICANN 202029th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15–18, 2020, Proceedings, PSpringer International PublishingSoftcover2020106,99 € High Performance ComputingISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected PapersSpringer International PublishingeBook202074,89 €2.051 Treffer 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 ...