Reihe Theoretical Computer Science and General IssuesBücher × Verification, Model Checking, and Abstract Interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ProceedingsSpringer International PublishingSoftcover2022 Descriptional Complexity of Formal Systems23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, ProceedingsSpringer International PublishingSoftcover2021 Approximation and Online Algorithms19th International Workshop, WAOA 2021, Lisbon, Portugal, September 6–10, 2021, Revised Selected PapersSpringer International PublishingSoftcover2021 Logical Foundations of Computer ScienceInternational Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, ProceedingsSpringer International PublishingSoftcover2021 Algorithmic Aspects in Information and Management15th International Conference, AAIM 2021, Virtual Event, December 20–22, 2021, ProceedingsSpringer International PublishingSoftcover2021 Combinatorial Optimization and Applications15th International Conference, COCOA 2021, Tianjin, China, December 17–19, 2021, ProceedingsSpringer International PublishingSoftcover2021 Algorithmic Aspects of Cloud Computing6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected PapersSpringer International PublishingSoftcover2021 Learning and Intelligent Optimization15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected PapersSpringer International PublishingSoftcover2021 Neural Information Processing28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8–12, 2021, Proceedings, Part IISpringer International PublishingSoftcover2021 Neural Information Processing28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8–12, 2021, Proceedings, Part ISpringer International PublishingSoftcover20212.356 Treffer 1 2 3 4 5 ...