Algebraic Informatics

Đã lưu trong:
Chi tiết về thư mục
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer Berlin Heidelberg 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/80732
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-80732
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-807322020-02-20T00:51:17Z Algebraic Informatics Computer Science Logics and Meanings of Programs Programming Techniques 2020-02-20T00:51:17Z 2020-02-20T00:51:17Z 2009 Book 978-3-642-03563-0 978-3-642-03564-7 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/80732 en Lecture Notes in Computer Science Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Computer Science
Logics and Meanings of Programs
Programming Techniques
spellingShingle Computer Science
Logics and Meanings of Programs
Programming Techniques
Algebraic Informatics
format Book
title Algebraic Informatics
title_short Algebraic Informatics
title_full Algebraic Informatics
title_fullStr Algebraic Informatics
title_full_unstemmed Algebraic Informatics
title_sort algebraic informatics
publisher Springer Berlin Heidelberg
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/80732
_version_ 1757677372918726656