Foundations of Software Science and Computation Structures

Mã QR

Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014....

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Muscholl, Anca
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer 2015
Những chủ đề:	Computer software Congresses System analysis
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/58325
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Được phát hành: (2001)

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Được phát hành: (2001)

Foundations of Software Science and Computation Structures
Bỡi: Baier, Christel, et al.
Được phát hành: (2020)

Foundations of Software Science and Computational Structures
Được phát hành: (2020)

Foundations of computational mathematics : selected papers of a conference held at Rio de Janeiro, January 1997 /
Được phát hành: (1997)

Foundations of Software Science and Computational Structures
Bỡi: Amadio, Roberto
Được phát hành: (2020)

Foundations of Software Science and Computation Structures
Bỡi: Bojańczyk, Mikołaj, et al.
Được phát hành: (2020)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Được phát hành: (2001)

Foundations of Software Science and Computation Structures
Được phát hành: (2020)

Foundations of Software Science and Computational Structures
Được phát hành: (2020)

Requirements Engineering: Foundation for Software Quality
Bỡi: Paech, Barbara, et al.
Được phát hành: (2020)

Requirements Engineering: Foundation for Software Quality
Bỡi: Sawyer, Pete, et al.
Được phát hành: (2020)

Software Engineering Research, Management and Applications
Bỡi: Lee, Roger
Được phát hành: (2015)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Được phát hành: (2002)

The architecture of computer hardware and systems software
Bỡi: IRV ENGLANDER
Được phát hành: (2000)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành: (2001)

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
Bỡi: Italiano, G.F, et al.
Được phát hành: (2015)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Bỡi: Lee, Roger
Được phát hành: (2015)

Fundamental Approaches to Software Engineering
Bỡi: Gnesi, Stefania, et al.
Được phát hành: (2015)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /
Được phát hành: (2001)

Analysis and Simulation of Electrical and Computer Systems
Bỡi: Gołębiowski, Lesław, et al.
Được phát hành: (2015)

Advances and Innovations in Systems, Computing Sciences and Software Engineering
Bỡi: Elleithy, Khaled
Được phát hành: (2020)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Bỡi: Bernardo, Marco, et al.
Được phát hành: (2015)

Testing computer software
Bỡi: Kaner, Cem
Được phát hành: (1999)

Requirements Engineering: Foundation for Software Quality
Được phát hành: (2020)

Presention paper for the workshop on systems development
Được phát hành: (1977)

Requirements Engineering: Foundation for Software Quality
Bỡi: Grünbacher, Paul, et al.
Được phát hành: (2020)

Software-Intensive Systems and New Computing Paradigms
Được phát hành: (2020)

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
Bỡi: Rout, Terry, et al.
Được phát hành: (2015)

Embedded software and systems :
Được phát hành: (2005)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Được phát hành: (2001)

New Horizons in Design Science: Broadening the Research Agenda: 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings
Bỡi: Donnellan, B, et al.
Được phát hành: (2015)

Software design
Bỡi: Braude, Eric J.

Software Technologies: Applications and Foundations
Bỡi: Seidl, Martina, et al.
Được phát hành: (2020)

Testing computer software /
Bỡi: Kaner, Cem.
Được phát hành: (1993)

Modeling complex systems : Sixth Granada Lectures on Computational Physics, Granada, Spain, 4-10 September 2000 /
Được phát hành: (2001)

Advances in Computational Science and Engineering
Được phát hành: (2020)

Java Software structures :
Bỡi: Lewis, John
Được phát hành: (2004)

Tools for working with guidelines : annual meeting of the special interest group /
Được phát hành: (2000)

Requirements Engineering: Foundation for Software Quality
Bỡi: Kamsties, Erik, et al.
Được phát hành: (2020)