Relational and Algebraic Methods in Computer Science

Đã lưu trong:
Chi tiết về thư mục
Những tác giả chính: Desharnais, Jules, Guttmann, Walter, Joosten, Stef
Định dạng: Sách
Ngôn ngữ:English
Được phát hành: Springer International Publishing 2020
Những chủ đề:
Truy cập trực tuyến:http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88084
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-88084
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-880842020-04-06T05:37:31Z Relational and Algebraic Methods in Computer Science Desharnais, Jules Guttmann, Walter Joosten, Stef Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs 2020-04-06T05:37:31Z 2020-04-06T05:37:31Z 2018 Book 978-3-030-02148-1 978-3-030-02149-8 http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88084 en Springer Nature Switzerland 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
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
spellingShingle Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Desharnais, Jules
Guttmann, Walter
Joosten, Stef
Relational and Algebraic Methods in Computer Science
format Book
author Desharnais, Jules
Guttmann, Walter
Joosten, Stef
author_facet Desharnais, Jules
Guttmann, Walter
Joosten, Stef
author_sort Desharnais, Jules
title Relational and Algebraic Methods in Computer Science
title_short Relational and Algebraic Methods in Computer Science
title_full Relational and Algebraic Methods in Computer Science
title_fullStr Relational and Algebraic Methods in Computer Science
title_full_unstemmed Relational and Algebraic Methods in Computer Science
title_sort relational and algebraic methods in computer science
publisher Springer International Publishing
publishDate 2020
url http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/88084
_version_ 1757658214767263744