Browse Results

Showing 75,476 through 75,500 of 85,789 results
Title Author ISBN Copyright Features Action
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings (Lecture Notes in Computer Science #7041) 4678818 Gilles Barthe Alberto Pardo Gerardo Schneider 9783642246906 2011
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Lecture Notes in Computer Science #9509) 2888012 Domenico Bianculli Radu Calinescu Bernhard Rumpe 9783662492246 2015 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) 3635124 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) 4379458 Radu Calinescu Corina S. Păsăreanu 9783030921248 2021 Contains images
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science #9276) 2833027 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) 3633156 Javier Camara Martin Steffen 9783030575069 2020 Contains images
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Lecture Notes in Computer Science #8938) 2826204 Carlos Canal Akram Idani 9783319152011 2015 Contains images
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10729) 2258512 Antonio Cerone Marco Roveri 9783319747811 2018 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) 2251052 Alessandro Cimatti Marjan Sirjani 9783319661971 2017 Contains images
Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8368) 2801817 Steve Counsell Manuel Núñez 9783319050324 2014 Contains images
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings (Lecture Notes in Computer Science #7504) 4800534 George Eleftherakis Mike Hinchey Mike Holcombe 9783642338267 2012
Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science #14323) 5730307 Carla Ferreira Tim A. C. Willemse 9783031471155 2023 Contains images
Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science #8702) 2813890 Dimitra Giannakopoulou Gwen Salaün 9783319104317 2014
Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings (Lecture Notes in Computer Science #8137) 4705978 Robert M. Hierons Mercedes G. Merayo Mario Bravetti 9783642405617 2013
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) 2265259 Einar Broch Johnsen Ina Schaefer 9783319929705 2018 Contains images
Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science #9763) 2848227 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) 4779409 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) 5934252 Bernd-Holger Schlingloff Ming Chai 9783031171086 2022 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) 3878144 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) 4965316 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) 5179809 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) 6159002 Alessandro Aldini 9783031660214 2024 Contains images
Software Engineering and Knowledge Engineering: Volume 2 (Advances in Intelligent and Soft Computing #115) 4671115 Yanwen Wu 9783642253492 2012
Software Engineering and Knowledge Engineering: Volume 1 (Advances in Intelligent and Soft Computing #114) 4794077 Yanwen Wu 9783642037184 2012
Software Engineering and Knowledge Engineering: Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) (Advances in Intelligent and Soft Computing #162) 4827805 Wei Zhang 9783642294556 2012

Refine Search

Showing 75,476 through 75,500 of 85,789 results