QA76.758
|
Agile project management. Learn Git in 3 hours / Een grijs gat : Meten aan software(kwaliteit). Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets / Durable Ideas in Software Engineering. Git essentials : create, merge, and distribute code with Git, the most powerful and flexible versioning system available / Sharing data and models in software engineering / Beginning software engineering / CMMI for development : implementation guide / The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise / SOFTWARE CLONES : GUILTY UNTIL PROVEN INNOCENT? Systems engineering of software-enabled systems / Time-frequency domain for segmentation and classification of non-stationary signals : the Stockwell Transform applied on bio-signals and electric signals / COMPONENT-BASED SOFTWARE ENGINEERING methods and metrics. Working with Legacy Systems : a Practical Guide to Looking after and Maintaining the Systems We Inherit. Dependable software systems engineering / Software engineering application in systems design : proceedings of 6th Computational Methods in Systems and Software 2022. Convergence in crossover service / Sustainability in software engineering and business information management : proceedings of the conference SSEBIM 2022 / Software engineering, artificial intelligence, networking and parallel/distributed computing 2022-Winter / Advanced information systems engineering : 35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, proceedings / Advanced information systems engineering workshops : CASEe 2023 International Workshops, Zaragoza, Spain, June 12-16, 2023, proceedings / Software engineering research in system science : proceedings of 12th Computer Science On-line Conference 2023. Software engineering and formal methods : SEFM 2021 collocated workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, virtual event, December 6-10 2021, revised selected papers / Concise guide to software engineering : from fundamentals to application methods / Quantum software engineering / Evaluation of novel approaches to software engineering : 16th International Conference, ENASE 2021, Virtual event, April 26-27, 2021, Revised selected papers / Search-based software engineering : 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings / Formal methods : 25th Brazilian Symposium, SBMF 2022, Virtual event, December 6-9, 2022, Proceedings / Dependable software engineering : theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings / Advances in model and data engineering in the digitalization era : MEDI 2022 short papers and DETECT 2022 workshop papers, Cairo, Egypt, November 21-24, 2022, proceedings / Software technologies : 15th international conference, ICSOFT 2020, Online event, July 7-9, 2020, revised selected papers / Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022 : proceedings / OpenSHMEM and related technologies : OpenSHMEM in the era of exascale and smart networks : 8th Workshop on OpenSHMEM and Related Technologies, OpenSHMEM 2021, virtual event, September 14-16, 2021 : revised selected papers / Complex, intelligent and software intensive systems : proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023) / Systems modelling and management : First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings / Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings / Requirements engineering foundation for software quality : 28th International Working Conference, REFSQ 2022, Birmingham, UL, March 21-24, 2022, proceedings / Frontiers in software engineering education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, invited papers / Design thinking for software engineering : creating human-oriented software-intensive products and services / Graph transformation for software engineers : with applications to model-based development and domain-specific language engineering / Coordination models and languages : 22nd IFIP WG 6. 1 International Conference, COORDINATION 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings / Action research in software engineering : theory and applications / Software engineering in the era of cloud computing / Advances in agile and user-centred software engineering : third International Conference on Lean and Agile Software Development, LASD 2019, and 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, Leipzig, Germany, September 1-4, 2019, Revised Selected Papers / Model-driven engineering and software development : 7th international conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, revised selected papers / Evaluation of novel approaches to software engineering : 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers / Requirements engineering : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings / Mining software engineering data for software reuse / Guide to software systems development : connecting novel theory and current practice / Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings / Software technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019, Revised selected papers / Knowledge-based software engineering : proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26 2020 / Search-based software engineering : 12th International Symposium, SSBSE 2020, Bari, Italy, October 7-8, 2020, Proceedings / Lean and agile software development : 5th International Conference, LASD 2021, virtual event, January 23, 2021, proceedings / Accelerating digital transformation : 10 years of Software Center / Engineering software for modern challenges : first International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021, Revised Selected Papers / Practical Git : confident Git through practice / Agile product and project management : a step-by -step guide to building the right products / Theoretical aspects of software engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / Software technologies : 16th International Conference, ICSOFT 2021, Virtual event, July 6-8, 2021, Revised selected papers / DevOps for airborne software : exploring modern approaches / Handbook of requirements and business analysis / Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Software architecture : 15th European Conference, ECSA 2021 Tracks and Workshops, Växjö, Sweden, September 13-17, 2021, revised selected papers / Human-centered software engineering : 9th IFIP WG 13. 2 International Working Conference, HCSE 2022, Eindhoven, the Netherlands, August 24-26, 2022, Proceedings / Dependable computing -- EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings / Software engineering and formal methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, proceedings / The rational software engineer : a comprehensive guide for personal and professional growth / Knowledge-based software engineering: 2022 : Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022 / Proceedings of International Conference on Recent Innovations in Computing : ICRIC 2022. Evaluation of novel approaches to software engineering : 17th International Conference, ENASE 2022, virtual event, April 25-26, 2022, revised selected papers / Tests and proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, proceedings / Computer aided verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, proceedings. Recent innovations in computing : proceedings of ICRIC 2020 / Software engineering and formal methods : SEFM 2020 collocated workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, the Netherlands, September 14-15, 2020, revised selected papers / Model-driven engineering and software development : 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, revised selected papers / Automotive software architectures : an introduction / From data to models and back : 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday / Software engineering for robotics / Dependable software engineering : theories, tools, and applications : 6th international symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings / Information and software technologies : 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15-17, 2020, Proceedings / Testing software and systems : 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings / Advanced information systems engineering : 34th international conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022 : proceedings / Advances in Conceptual Modeling ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings / Formal methods for software engineering : languages, methods, application domains / Model-based approaches to the internet of things / Search-based software engineering : 13th international symposium, SSBSE 2021, Bari, Italy, October 11-12, 2021, proceedings / Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 19-21, 2021, Revised selected papers / Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings / Software engineering and formal methods : 19th International Conference, SEFM 2021, Virtual event, December 6-10, 2021, Proceedings / Information systems reengineering, integration and normalization : heterogeneous database connectivity / Integrating research and practice in software engineering / New perspectives in software engineering : proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022) / Software engineering, artificial intelligence, networking and parallel/distributed computing / Handbook of re-engineering software intensive systems into software product lines / Data science and algorithms in systems : proceedings of 6th Computational Methods in Systems and Software 2022. Trends and applications in software engineering : proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) / Communication, smart technologies and innovation for society : proceedings of CITIS 2021 / Automated software engineering : a deep learning based approach / Requirements engineering for social sector software applications : innovating for a diverse set of user needs / Software engineering research, management and applications / Meta heuristic techniques in software engineering and its applications : METASOFT 2022 / Recent innovations in computing : proceedings of ICRIC 2021. A journey towards bio-inspired techniques in software engineering / Software engineering in IoT, big data, cloud and mobile computing / Proceedings of 6th International Conference in Software Engineering for Defence Applications : SEDA 2018 / Software engineering perspectives in systems : proceedings of 11th Computer Science On-line Conference 2022. Handbook on artificial intelligence-empowered applied software engineering. |
113 |