Reihe Theoretical Computer Science and General Issues Model Checking, Synthesis, and LearningEssays Dedicated to Bengt Jonsson on The Occasion of His 60th BirthdaySpringer International PublishingSoftcover202169,54 € Formal Methods Teaching4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, ProceedingsSpringer International PublishingSoftcover202158,84 € High Performance ComputingISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised SSpringer International PublishingSoftcover2021106,99 € High Performance ComputingISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised SSpringer International PublishingeBook202196,29 € Stabilization, Safety, and Security of Distributed Systems23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, ProceedingsSpringer International PublishingSoftcover202196,29 € Stabilization, Safety, and Security of Distributed Systems23rd International Symposium, SSS 2021, Virtual Event, November 17–20, 2021, ProceedingsSpringer International PublishingeBook2021 Optimization and Applications12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, ProceedingsSpringer International PublishingSoftcover202180,24 € Informatics in Schools. Rethinking Computing Education14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual EveSpringer International PublishingSoftcover202158,84 € Theory and Practice of Natural Computing10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, ProceedingsSpringer International PublishingSoftcover202158,84 € Optimization and Applications12th International Conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021, ProceedingsSpringer International PublishingeBook202180,24 €4.772 Treffer 1 2 3 4 5 6 7 8 9 ...