Browse Results

Showing 51,226 through 51,250 of 61,546 results
Title Author ISBN Copyright Features Action
Software Engineering and Formal Methods 1397618 Bernhard Rumpe Domenico Bianculli Radu Calinescu 9783662492246 2015 Contains images
Software Engineering and Formal Methods 1404869 Bernhard Rumpe Radu Calinescu 9783319229690 2015 Contains images
Software Engineering and Formal Methods 1410977 Rocco De Nicola Eva Kühn 9783319415918 2016 Contains images
Software Engineering and Formal Methods 1415891 Steve Counsell Manuel Núñez 9783319050324 2014 Contains images
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers (Lecture Notes in Computer Science #12524) 3779374 Mieke Massink Loek Cleophas 9783030672201 2021 Contains images
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers (Lecture Notes in Computer Science #13230) 4965632 Antonio Cerone Pierluigi Graziani Marco Temperini Gentiane Venture Marco Autili Alessio Bucaioni Cláudio Gomes Maurizio Palmieri 9783031124297 2022 Contains images
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers (Lecture Notes in Computer Science #13765) 5179842 Pierluigi Graziani Paolo Masci Maurizio Palmieri Cinzia Bernardeschi Mario Koddenbrock 9783031262364 2023 Contains images
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers (Lecture Notes in Computer Science #14568) 6159732 Alessandro Aldini 9783031660214 2024 Contains images
Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Lecture Notes in Computer Science #10469) 2115887 Marjan Sirjani Alessandro Cimatti 9783319661971 2017 Contains images
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science #10886) 2118186 Einar Broch Johnsen Ina Schaefer 9783319929705 2018 Contains images
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings (Lecture Notes in Computer Science #11724) 2957504 Peter Csaba Ölveczky Gwen Salaün 9783030304461 2019 Contains images
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings (Lecture Notes in Computer Science #12310) 3637419 Antonio Cerone Frank De Boer 9783030587680 2020 Contains images
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13085) 4379665 Radu Calinescu Corina S. Păsăreanu 9783030921248 2021 Contains images
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science #13550) 5934140 Bernd-Holger Schlingloff Ming Chai 9783031171086 2022 Contains images
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science #14323) 5730285 Carla Ferreira Tim A. C. Willemse 9783031471155 2023 Contains images
Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science #15280) 6351888 Alexander Knapp Alexandre Madeira 9783031773822 2025 Contains images
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers (Lecture Notes in Computer Science #12226) 3633269 Javier Camara Martin Steffen 9783030575069 2020 Contains images
Software Engineering and Management: Volume 16 (Studies in Computational Intelligence #1137) 6048652 Roger Lee 9783031551741 2024 Contains images
Software Engineering and Management: Volume 17 (Studies in Computational Intelligence #1193) 6532993 Roger Lee 9783031826108 2025 Contains images
Software Engineering and Methodology for Emerging Domains 1537655 Lu Zhang Chang Xu 9789811034824 2016 Contains images
Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers (Communications in Computer and Information Science #861) 2837722 Ming Li Zheng Li Minghui Zhou He Jiang Ge Li 9789811503108 2019 Contains images
Software Engineering at Google: Lessons Learned from Programming Over Time 6423882 Titus Winters Tom Manshreck Hyrum Wright 9781492082743 2020 Contains images
Software Engineering for Absolute Beginners: Your Guide to Creating Software Products 3836120 Nico Loubser 9781484266229 2021 Contains images
Software Engineering for Data Scientists: From Notebooks to Scalable Systems 6424371 Catherine Nelson 9781098136161 2024 Contains images
Software Engineering for Image Processing Systems 3370684 Philip A. Laplante 9781135510732 2004 Contains images

Refine Search

Showing 51,226 through 51,250 of 61,546 results