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ở
	eBook (pdf) ddc:  670.42  Thêm vào giỏ

Intermediate business programming with C+ + [electronic resource]
	Tác giả: Don Voils
	Xuất bản: Wellington, Fla: White Feather Publishing , 2007.
	Bộ sưu tập: Công nghệ thông tin
	eBook (chm) ddc:  005.133  Thêm vào giỏ

Business process execution language for web services : an architect and developer's guide orchestrating web services using BPEL4WS [electronic resource]
	Tác giả: Matjaz B Juric, Benny Mathew, P G Sarang
	Xuất bản: Birmingham, U.K: Packt Pub , 2006.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.78  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ỏ

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 O'Reilly 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ỏ

XSLT 2.0 programmer's reference, third edition [electronic resource]
	Tác giả: Michael Kay
	Xuất bản: Indianapolis, Ind: Wiley Pub , 2004.
	Bộ sưu tập: Công nghệ thông tin
	eBook (chm) ddc:  005.13  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: O'Reilly , 2012
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.6869  Thêm vào giỏ

Understanding Network Hacks [electronic resource] : Attack and Defense with Python 3
	Tác giả: Bastian Ballmann
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2021.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004  Thêm vào giỏ

Beginning Adobe Animate CC : Learn to Efficiently Create and Deploy Animated and Interactive Content
	Tác giả: TOM GREEN, Joseph Labrecque
	Xuất bản: Berkeley, CA: Apress : Imprint: Apress , 2017.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.6  Thêm vào giỏ

Programming Perl [electronic resource]
	Tác giả: Larry Wall, Tom Christiansen, Randal L Schwartz
	Xuất bản: Sebastopol, Calif: O'Reilly & Associates , 1996
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.133  Thêm vào giỏ