DANH MỤC EBOOK CHỦ ĐỀ “SOFTWARE ENGINEERING/PROGRAMMING AND OPERATING SYSTEMS”

Thư viện chia sẻ danh mục ebook chủ đề “Software Engineering/Programming and Operating Systems” thuộc CSDL Springer.

=> Các bạn có thể tham khảo toàn văn Ebook.

1.

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella… in Lecture Notes in Computer Science (2025)

2.

Bridging the Gap Between AI and Reality

First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Bernhard Steffen in Lecture Notes in Computer Science (2025)

3.

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

André Platzer, Kristin Yvonne Rozier, Matteo Pradella… in Lecture Notes in Computer Science (2025)

4.

Agile Processes in Software Engineering and Extreme Programming – Workshops

XP 2022 Workshops, Copenhagen, Denmark, June 13–17, 2022, and XP 2023 Workshops, Amsterdam, The Netherlands, June 13–16, 2023, Revised Selected Papers

Philippe Kruchten, Peggy Gregory in Lecture Notes in Business Information Processing (2024)

5.

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Bernd Finkbeiner, Laura Kovács in Lecture Notes in Computer Science (2024)

6.

Agile Processes in Software Engineering and Extreme Programming

25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4–7, 2024, Proceedings

Darja Šmite, Eduardo Guerra… in Lecture Notes in Business Information Processing (2024)

7.

Performance Engineering

Learning Through Applications Using JMT

Giuseppe Serazzi (2024)

8.

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II

Christoph Benzmüller, Marijn J.H. Heule… in Lecture Notes in Computer Science (2024)

9.

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Bernd Finkbeiner, Laura Kovács in Lecture Notes in Computer Science (2024)

10.

Equity, Diversity, and Inclusion in Software Engineering

Best Practices and Insights

Daniela Damian, Kelly Blincoe… (2024)

11.

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I

Christoph Benzmüller, Marijn J.H. Heule… in Lecture Notes in Computer Science (2024)

12.

Quantum Software

Aspects of Theory and System Design

Iaakov Exman, Ricardo Pérez-Castillo, Mario Piattini… (2024)

 13.

Software Business

14th International Conference, ICSOB 2023, Lahti, Finland, November 27–29, 2023, Proceedings

Sami Hyrynsalmi, Jürgen Münch, Kari Smolander… in Lecture Notes in Business Information Processing (2024)

14.

Robust Argumentation Machines

First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Philipp Cimiano, Anette Frank… in Lecture Notes in Computer Science (2024)

15.

Feature Models

AI-Driven Design, Analysis and Applications

Alexander Felfernig, Andreas Falkner, David Benavides in SpringerBriefs in Computer Science (2024)

16.

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

Bernd Finkbeiner, Laura Kovács in Lecture Notes in Computer Science (2024)

17.

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

Arie Gurfinkel, Vijay Ganesh in Lecture Notes in Computer Science (2024)

18.

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Arie Gurfinkel, Vijay Ganesh in Lecture Notes in Computer Science (2024)

19.

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

Arie Gurfinkel, Vijay Ganesh in Lecture Notes in Computer Science (2024)

20.

Ernst Denert Award for Software Engineering 2022

Practice Meets Foundations

Eric Bodden, Michael Felderer… (2024)