Browse Results

Showing 53,051 through 53,075 of 60,354 results
Title Author ISBN Copyright Features Action
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 Frank De Boer Antonio Cerone 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 1404869 Radu Calinescu Bernhard Rumpe 9783319229690 2015 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 Formal Methods 1417685 Carlos Canal Akram Idani 9783319152011 2015 Contains images
Software Engineering and Formal Methods 1904677 Antonio Cerone Marco Roveri 9783319747811 2010 Contains images
Software Engineering and Formal Methods 1415891 Steve Counsell Manuel Núñez 9783319050324 2014 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: 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: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings (Lecture Notes in Computer Science #15280) 6351888 Alexandre Madeira Alexander Knapp 9783031773822 2025 Contains images
Software Engineering and Formal Methods 1410977 Rocco De Nicola Eva Kühn 9783319415918 2016 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: 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: 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. 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 Loek Cleophas Mieke Massink 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 Marco Autili Alessio Bucaioni Cláudio Gomes Pierluigi Graziani Maurizio Palmieri Marco Temperini Gentiane Venture 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 Paolo Masci Cinzia Bernardeschi Pierluigi Graziani Mario Koddenbrock Maurizio Palmieri 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 Management: Volume 16 (Studies in Computational Intelligence #1137) 6048652 Roger Lee 9783031551741 2024 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 Zheng Li He Jiang Ge Li Minghui Zhou Ming Li 9789811503108 2019 Contains images
Software Engineering and Methodology for Emerging Domains 1537655 Lu Zhang Chang Xu 9789811034824 2016 Contains images
Software Engineering Application in Informatics: Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1 (Lecture Notes in Networks and Systems #232) 4363405 Radek Silhavy Petr Silhavy Zdenka Prokopova 9783030903183 2021 Contains images
Software Engineering Application in Systems Design: Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1 (Lecture Notes in Networks and Systems #596) 5151703 Radek Silhavy Petr Silhavy Zdenka Prokopova 9783031214356 2023 Contains images
Software Engineering Approaches to Enable Digital Transformation Technologies 5719506 Sanjay Misra Amit Jain Manju Kaushik Chitresh Banerjee 9781000987089 2024 Contains images
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 1395171 Roger Lee 9783319338101 2016 Contains images

Refine Search

Showing 53,051 through 53,075 of 60,354 results