Models, Algorithms, Logics and Tools

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Aceto, Luca, Bacci, Giorgio, Bacci, Giovanni, Ingólfsdóttir, Anna, Legay, Axel, Mardare, Radu
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer International Publishing 2020
Những chủ đề:	Computer Science Theory of Computation Software Engineering
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83433
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

id	oai:scholar.dlu.edu.vn:DLU123456789-83433
record_format	dspace
spelling	oai:scholar.dlu.edu.vn:DLU123456789-834332020-02-20T03:23:44Z Models, Algorithms, Logics and Tools Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu Computer Science Theory of Computation Software Engineering 2020-02-20T03:23:44Z 2020-02-20T03:23:44Z 2017 Book 978-3-319-63120-2 978-3-319-63121-9 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83433 en Lecture Notes in Computer Science Springer International Publishing AG application/pdf Springer International Publishing
institution	Thư viện Trường Đại học Đà Lạt
collection	Thư viện số
language	English
topic	Computer Science Theory of Computation Software Engineering
spellingShingle	Computer Science Theory of Computation Software Engineering Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu Models, Algorithms, Logics and Tools
format	Book
author	Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu
author_facet	Aceto, Luca Bacci, Giorgio Bacci, Giovanni Ingólfsdóttir, Anna Legay, Axel Mardare, Radu
author_sort	Aceto, Luca
title	Models, Algorithms, Logics and Tools
title_short	Models, Algorithms, Logics and Tools
title_full	Models, Algorithms, Logics and Tools
title_fullStr	Models, Algorithms, Logics and Tools
title_full_unstemmed	Models, Algorithms, Logics and Tools
title_sort	models, algorithms, logics and tools
publisher	Springer International Publishing
publishDate	2020
url	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83433
_version_	1757674277423808512

Models, Algorithms, Logics and Tools

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