Your search returned 354 results.

Results
341.	Image from Amazon.com Image from Coce	Automated Reasoning by Nicolas Peltier Viorica Sofronie-Stokkermans Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
342.	Image from Amazon.com Image from Coce	Trends in Functional Programming by Aleksander Byrski John Hughes Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
343.	Image from Amazon.com Image from Coce	Formal Methods for Industrial Critical Systems by Maurice H. ter Beek Dejan Ničković Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
344.	Image from Amazon.com Image from Coce	OpenMP: Portable Multi-Level Parallelism on Modern Systems by Kent Milfeld Bronis R. de Supinski Jannis Klinkenberg Lars Koesterke Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
345.	Image from Amazon.com Image from Coce	Functional and Logic Programming by Keisuke Nakano Konstantinos Sagonas Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
346.	Image from Amazon.com Image from Coce	Foundational Java by David Parsons Series: Texts in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
347.	Image from Amazon.com Image from Coce	Runtime Verification by Jyotirmoy Deshmukh Dejan Ničković Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
348.	Image from Amazon.com Image from Coce	Computer Programming in C for Beginners by Avelino J. Gonzalez Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
349.	Image from Amazon.com Image from Coce	Programming Languages and Systems by Bruno C. d. S. Oliveira Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
350.	Image from Amazon.com Image from Coce	Reuse in Emerging Software Engineering Practices by Sihem Ben Sassi Hafedh Mili Stéphane Ducasse Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
351.	Image from Amazon.com Image from Coce	Monotonicity in Logic and Language by Dun Deng Dag Westerståhl Fenrong Liu Mingming Liu Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
352.	Image from Amazon.com Image from Coce	Formal Methods and Software Engineering by Shang-Wei Lin Brendan Mahony Zhe Hou Series: Lecture Notes in Computer Science Material type: Text Publication details: Springer Nature 2020 Online resources: Click here to access online Availability: Items available for reference: : Not for loan (1).
353.	Image from Amazon.com Image from Coce	Let us C [13th ed.] by Kanetkar, Yashavant Edition: 13th rev. and upd. ed. 2013 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi BPB Publications 2013 Availability: Items available for loan: LRC, IIT Indore (3)Call number: 005.133 KAN.13E, ... Place hold
354.	Image from Amazon.com Image from Coce	Let us C++ [2nd ed.] by Kanetkar, Yashavant Edition: c.1999 ; 2nd rev. ed. 2010, rep. 2013 Material type: Text; Format: print ; Literary form: Not fiction Publication details: New Delhi BPB Publications 2010 Availability: Items available for loan: LRC, IIT Indore (2)Call number: 005.133 KAN.2E, ... Place hold