APU Library | catalog › Results of search for 'Provider:ACM Books ; '

Your search returned 2 results.

	1.	Verified functional programming in Agda [electronic resources] / Aaron Stump ; editor in chief, M. Tamer Ozsu. by Stump, Aaron \| Özsu, M. Tamer, 1951- [editor.] \| Association for Computing Machinery [publisher.]. Series: ACM books ; #9Material type: Text; Format: print ; Literary form: Not fiction Publication details: [San Rafael] : ACM Books, 2016Online access: Available in ACM Digital Library. Requires Log In to view full text. Availability: Items available for loan: APU LibraryCall number: QA76.62 .S78 2016eb (1). Place hold Add to cart (remove)
	2.	Text data management and analysis : a practical introduction to information retrieval and text mining [electronic resources] / ChengXiang Zhai, Sean Massung. by Zhai, ChengXiang \| Massung, Sean. Series: ACM books ; #12.Material type: Text; Format: print ; Literary form: Not fiction Publication details: [New York, NY] : ACM Books ; ; [San Rafael, California] : Morgan & Claypool, c2016Online access: Available in ACM Digital Library. Requires Log In to view full text. Availability: Items available for loan: APU LibraryCall number: QA76.9.D343 Z42 2016eb (1). Place hold Add to cart (remove)