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ỏ

Beginning Scala [electronic resource]
	Tác giả: David Pollak, Paul Snively
	Xuất bản: Berkeley Calif: Apress, 2009
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	Xuất bản: Cham Switzerland: Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  670.42  Thêm vào giỏ

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

Raspberry Pi Supercomputing and Scientific Programming [electronic resource] : MPI4PY, NumPy, and SciPy for Enthusiasts
	Tác giả: Ashwin Pajankar
	Xuất bản: Berkeley CA: Apress Imprint Apress, 2017
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Regular expressions cookbook [electronic resource]
	Tác giả: Jan Goyvaerts, Steven Levithan
	Xuất bản: Sebastopol CA: OReilly Media, 2012
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004  Thêm vào giỏ

HLSL and pixel shaders for XAML developers [electronic resource]
	Tác giả: Walt Ritscher
	Xuất bản: Sebastopol CA: OReilly, 2012
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.6869  Thêm vào giỏ

The joy of Clojure [electronic resource]
	Tác giả: Michael Fogus, Chris Houser
	Xuất bản: Greenwich Conn: Manning, 2011
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.133  Thêm vào giỏ

Sockets, shellcode, porting & coding elektronisk ressurs : reverse engineering exploits and tool coding for security pro...
	Tác giả: James C Foster, Mike Price, Stuart McClure
	Xuất bản: Rockland MA Sebastopol CA: Syngress Pub Inc Distributed by OReilly Media in the United States and Canada, 2005
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Beginning Robotics Programming in Java with LEGO Mindstorms [electronic resource]
	Tác giả: Wei Lu
	Xuất bản: Berkeley CA: Apress Imprint Apress, 2016
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ