Title: Remote Engineering Management: Managing an Engineering Team in a Remote-First World, Author: Alexandra Sunderland
Title: Software Architecture: 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, Proceedings, Author: Ilias Gerostathopoulos
Title: Transactions on Petri Nets and Other Models of Concurrency IX, Author: Maciej Koutny
Title: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Author: Dirk Beyer
Title: Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers, Author: Jinyun Xue
Title: Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, Author: Yliès Falcone
Title: Evaluation of Novel Approaches to Software Engineering: 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers, Author: Ernesto Damiani
Title: Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings, Author: Márcio Barros
Title: Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Sebastian Gabmeyer
Title: Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, Author: Michael Butler
Title: Computer Science - CACIC 2018: 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018, Revised Selected Papers, Author: Patricia Pesado
Title: Euro-Par 2019: Parallel Processing: 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings, Author: Ramin Yahyapour
Title: Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25-27, 2020, Proceedings, Author: Maurizio Morisio
Title: Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, Author: Lu Feng
Title: Advances in Model and Data Engineering in the Digitalization Era: MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21-23, 2021, Proceedings, Author: Ladjel Bellatreche
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
Title: Perspective of DNA Computing in Computer Science, Author: Suyel Namasudra
Title: Service-Oriented Computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings, Author: Quan Z. Sheng
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, Author: Simon Collart-Dutilleul
Title: Establishing SRE Foundations: A Step-by-Step Guide to Introducing Site Reliability Engineering in Software Delivery Organizations, Author: Vladyslav Ukis

Pagination Links