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 Proceedings
	Tác giả: Amal Ahmed
	Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

Foundations of Probabilistic Programming
	Tác giả: Gilles Barthe, Gilles Barthe, Joost-Pieter Katoen, Joost-Pieter Katoen, Alexandra Silva, Alexandra Silva
	Xuất bản: Cambridge ; New York, NY: Cambridge University Press , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  001.642  Thêm vào giỏ

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

Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Peter Müller
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

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ỏ

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

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II
	Tác giả: Luca Aceto, Monika Henzinger, Jiri Sgall
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
	Tác giả: Luis Caires, Guiseppe F Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021
	Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Disorder in domain theory
	Tác giả: Keye Martin
	Xuất bản: Bristol [England] (Temple Circus, Temple Way, Bristol BS1 6HG, UK: IOP Publishing , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  530.12015113  Thêm vào giỏ