Reihe Theoretical Computer Science and General Issues Logic-Based Program Synthesis and Transformation29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected PapersSpringer International PublishingSoftcover202053,49 € Fundamental Approaches to Software Engineering23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, ProceedSpringer International PublishingSoftcover202042,79 € Logic-Based Program Synthesis and Transformation29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected PapersSpringer International PublishingeBook202053,49 € Treewidth, Kernels, and AlgorithmsEssays Dedicated to Hans L. Bodlaender on the Occasion of His 60th BirthdaySpringer International PublishingeBook202069,54 € Fundamental Approaches to Software Engineering23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of SoftwSpringer International PublishingeBook2020 Programming Languages and Systems29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020Springer International PublishingSoftcover202042,79 € Tools and Algorithms for the Construction and Analysis of Systems26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, ProceeSpringer International PublishingSoftcover202042,79 € Foundations of Software Science and Computation Structures23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, ProcSpringer International PublishingSoftcover202042,79 € Tools and Algorithms for the Construction and Analysis of Systems26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, ProceeSpringer International PublishingSoftcover202042,79 € Programming Languages and Systems29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and PracticeSpringer International PublishingeBook20204.772 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 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 ...