Koha online catalog › Results of search for 'su:"Computer programs "'

Your search returned 9 results.

	1.	Wordpress websites step-by-step: the complete beginner's guide to building a website or blog with WordPress by Jones, Camin. Language: English Publisher: Lightning Source 2014Availability: Items available for loan: Central Library [Call number: 006.78 JON/W] (1). Place hold
	2.	Compilers: principles, techniques, and tool by Aho, Alfred V \| Lam, Monica S \| Sethi, Ravi \| Ullman, Jeffrey D. Edition: 2nd ed. Language: English Publisher: Noida Pearson 2007Availability: Items available for reference: Central Library [Call number: 005.453 AHO/C] (1). Checked out (5). Place hold
	3.	Modern compiler implementation in ML by Appel, Andrew W. Language: English Publisher: Cambridge Cambridge University Press 2004Availability: Items available for loan: Central Library [Call number: 005.453 APP/M] (4). Items available for reference: Central Library [Call number: 005.453 APP/M] (1). Checked out (1). Place hold
	4.	Elegant SciPy: the art of scientific Python by Nunez-Iglesias, Juan \| Walt, Stefan van der \| Dashnow, Harriet. Language: English Publisher: Mumbai Shroff Publishers & Distributors 2017Availability: Items available for reference: Central Library [Call number: 005.133 NUN/E] (1).
	5.	Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant by Chlipala, Adam. Language: English Publisher: Cambridge The MIT Press 2013Availability: Items available for loan: Central Library [Call number: 005.1 CHL/C] (1). Items available for reference: Central Library [Call number: 005.1 CHL/C] (1). Place hold
	6.	Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant by Chlipala, Adam. Language: English Publisher: Cambridge The MIT Press 2013Availability: Items available for loan: Central Library [Call number: 005.1 CHL/C] (1). Items available for reference: Central Library [Call number: 005.1 CHL/C] (1). Checked out (1). Place hold
	7.	R for data science: import, tidy, transform, visualize, and model data by Wickham, Hadley \| Grolemund, Garrett. Language: English Publisher: Navi Mumbai Shroff Publishers and Distributors 2023Availability: Items available for loan: Central Library [Call number: 006.312 WIC/R] (4). Items available for reference: Central Library [Call number: 006.312 WIC/R] (1). Checked out (3). Place hold
	8.	Auction theory for computer networks by Niyato, Dusit \| Luong, Nguyen Cong \| Wang, Ping \| Han, Zhu. Language: English Publisher: Cambridge Cambridge University Press 2020Availability: Items available for reference: Central Library [Call number: 004.6015193 NIY/A] (1).
	9.	The Art of Computer Programming: Seminumerical Algorithms; Vol. 2 by Knuth, Donald E. Edition: 3rd ed. Language: English Publisher: United States of America -- Pearson -- 1997Availability: Items available for loan: Central Library [Call number: 005.1 KNU/A] (3). Items available for reference: Central Library [Call number: 005.1 KNU/A] (1). Place hold

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.