Title: Programming Problems: A Primer for The Technical Interview, Author: Bradley Green
Title: Air Quality Integrated Assessment: A European Perspective, Author: Giorgio Guariso
Title: Deployment and Operation of Complex Software in Heterogeneous Execution Environments: The SODALITE Approach, Author: Elisabetta Di Nitto
Title: BluePrint for Software Engineering, Author: Prakash Hegade
Title: The Song: A Perspective in Octave, Author: Fm Note Light
Title: The AI Act and The Agile Safety Plan, Author: Thor Myklebust
Title: Data Protection for Software Development and IT: A Practical Introduction, Author: Ralf Kneuper
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers, Author: Lodovica Marchesi
Title: Backend Handbook: for Ruby on Rails Apps, Author: Francisco Quintero
Title: GUI Design for Android Apps, Author: Ryan Cohen
Title: Android Application Development for the Intel Platform, Author: Ryan Cohen
Title: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, Author: Alexandra Silva
Title: Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Author: Reiner Hähnle
Title: Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Author: Isil Dillig
Title: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Author: Shuvendu K. Lahiri
Title: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, Author: Alexandra Silva
Title: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, Author: Shuvendu K. Lahiri
Title: Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Author: Isil Dillig
Title: Metamodeling for Extended Reality, Author: Fabian Muff
Title: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Author: André Platzer

Pagination Links