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
|
|
Software Engineering for Internet Applications
159055
|
Eve Astrid Andersson
Philip Greenspun
Andrew Grumet
|
9780262511919 |
2006 |
|
|
Software Engineering for Resilient Systems
1378408
|
Alessandro Fantechi
Patrizio Pelliccione
|
9783319231297 |
2015 |
Contains images
|
|
Software Engineering for Resilient Systems
1702020
|
Alexander Romanovsky
Elena A. Troubitsyna
|
9783319659480 |
2013 |
Contains images
|
|
Software Engineering for Resilient Systems
1530673
|
Ivica Crnkovic
Elena Troubitsyna
|
9783319458922 |
2016 |
Contains images
|
|
Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings (Lecture Notes in Computer Science #11732)
2957851
|
Radu Calinescu
Felicita Di Giandomenico
|
9783030308568 |
2019 |
Contains images
|
|
Software Engineering for Science (Chapman & Hall/CRC Computational Science)
3683152
|
Jeffrey C. Carver
George K. Thiruvathukal
Neil P. Chue Hong
|
9781315351926 |
2014 |
Contains images
|
|
Software Engineering for Variability Intensive Systems: Foundations and Applications
5400333
|
Ivan Mistrik
Matthias Galster
Bruce R. Maxim
|
9780429664021 |
2019 |
Contains images
|
|
Software Engineering from Scratch: A Comprehensive Introduction Using Scala
2890024
|
Jason Lee Hodges
|
9781484252062 |
2019 |
Contains images
|
|
Software Engineering in IoT, Big Data, Cloud and Mobile Computing (Studies in Computational Intelligence #930)
3756312
|
Roger Lee
Haengkon Kim
|
9783030647735 |
2021 |
Contains images
|
|
Software Engineering in the Era of Cloud Computing (Computer Communications and Networks)
3021475
|
Zaigham Mahmood
Muthu Ramachandran
|
9783030336240 |
2020 |
Contains images
|
|