Concurrent and real-time programming in Java
	Tác giả: Andrew J Wellings
	Xuất bản: Chichester, West Sussex, England ; Hoboken, NJ: John Wiley , 2004.
	Bộ sưu tập: Công nghệ thông tin
	eBook (chm) ddc:  005.131  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSAC...
	Tác giả: Stefan Kiefer, Christine Tasson
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
	Tác giả: Mikołaj Bojańczyk, Alex Simpson
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

The Syntax of the Accounting Language: A First Step
	Tác giả: Frederico Botafogo
	Xuất bản: , 2019
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shan...
	Tác giả: Yixiang Chen, Songmao Zhang
	Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2022.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Coalgebraic Methods in Computer Science [electronic resource] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colo...
	Tác giả: Corina Cîrstea
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–...
	Tác giả: Robert Mercaş, Daniel Reidenbach
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Combinatorics on Words [electronic resource] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, Septemb...
	Tác giả: Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna S...
	Tác giả: Stéphane Demri, Deepak Kapur, Christoph Weidenbach
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Sevil...
	Tác giả: Gonzalo A Aranda-Corral, Jacques Calmet, Francisco J Martín-Mateos
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ