Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Amal Ahmed
	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.13  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
	Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich
	Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
	Xuất bản: Cham: Springer Nature, 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Combinatorial Pattern Matching [electronic resource] : 14th Annual Symposium, CPM 2003, Morelia, Michoacán, Mexico, Jun...
	Tác giả: Ricardo Baeza-Yates, Edgar Chávez, Maxime Crochemore
	Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2003
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.1  Thêm vào giỏ

Intersecting Colors : Josef Albers and His Contemporaries
	Tác giả: Vanja Malloy, Vanja Malloy
	Xuất bản: Amherst Massachusetts: Amherst College Press, 2015
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  709.2  Thêm vào giỏ

History, Man, and Reason : A Study in Nineteenth-Century Thought
	Tác giả: Maurice Mandelbaum
	Xuất bản: : Johns Hopkins University Press, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  190.9034  Thêm vào giỏ

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
	Tác giả: Amal Ahmed
	Xuất bản: Cham: Springer Nature, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
	Xuất bản: Cham Switzerland: Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software
	Tác giả: Esther Guerra, Mariëlle Stoelinga
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ

Modulation and coding techniques in wireless communications
	Tác giả: Evgenii Krouk, Sergei Semenov
	Xuất bản: Chichester West Sussex: Wiley, 2011
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.384  Thêm vào giỏ