|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Emerging innovations in agile software development / Imran Ghani, Universiti Teknologi Malaysia, Malaysia, Dayang Norhayati Abang Jawawi, Universiti Teknologi Malaysia, Malaysia, Siva Dorairaj, Software Education, New Zealand, Ahmed Sidky, ICAgile, USA.
|
|
Thông tin xuất bản:
Hershey, PA, USA :
Information Science Reference, an imprint of IGI Global,
2016
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Công nghệ thông tin
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Esther Guerra, Mariëlle Stoelinga.
|
|
Thông tin xuất bản:
Cham :
Springer International Publishing : Imprint: Springer,
2021
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 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 / edited by Reiner Hähnle, Wil van der Aalst.
|
|
Thông tin xuất bản:
Cham :
Springer International Publishing : Imprint: Springer,
2019
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 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 / edited by Mikołaj Bojańczyk, Alex Simpson.
|
|
Thông tin xuất bản:
Cham :
Springer International Publishing : Imprint: Springer,
2019
|
|
Ký hiệu phân loại:
005.131
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 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 / edited by Flemming Nielson, David Sands.
|
|
Thông tin xuất bản:
Cham :
Springer International Publishing : Imprint: Springer,
2019
|
|
Ký hiệu phân loại:
005.8
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Heike Wehrheim, Jordi Cabot.
|
|
Thông tin xuất bản:
Cham :
Springer International Publishing : Imprint: Springer,
2020
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Lujo Bauer, Ralf Küsters.
|
|
Thông tin xuất bản:
Cham :
Springer International Publishing : Imprint: Springer,
2018
|
|
Ký hiệu phân loại:
005.8
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman.
|
|
Thông tin xuất bản:
Cham :
Springer International Publishing : Imprint: Springer,
2018
|
|
Ký hiệu phân loại:
005.1015113
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Stefan Kiefer, Christine Tasson.
|
|
Thông tin xuất bản:
Cham :
Springer International Publishing : Imprint: Springer,
2021
|
|
Ký hiệu phân loại:
005.131
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Alessandra Russo, Andy Schürr.
|
|
Thông tin xuất bản:
Cham, Switzerland :
Springer Nature,
2018
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
|
Thông tin xuất bản:
Cham, Switzerland :
Springer Nature,
2019
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
|
|
Thông tin xuất bản:
Cham, Switzerland :
Springer Nature,
2018
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 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
|
|
Thông tin xuất bản:
Cham, Switzerland :
Springer Nature,
2019
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers / edited by Bertrand Meyer, J.R. Nawrocki, Bartosz Walter.
|
|
Thông tin xuất bản:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings / edited by Leen Lambers, Sebastián Uchitel.
|
|
|
Thông tin xuất bản:
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
|
Ký hiệu phân loại:
005.1
|
|
Bộ sưu tập:
Tài liệu truy cập mở
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|