1. Neighborhood semantics for modal logic. (2017) Authors: Pacuit, Eric Record Type: Book Extent: 1 online resource (154 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Applied logic for computer scientists : computational deduction and formal proofs /: computational deduction and formal proofs. (2017) Authors: Ayala-Rincón, M (Mauricio); Moura, Flávio L. C. de Record Type: Book Extent: 1 online resource (xviii, 150 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Functional data structures in R : advanced statistical programming in R /: advanced statistical programming in R. (2017) Authors: Mailund, Thomas Record Type: Book Extent: 1 online resource (256 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Winning design! : LEGO MINDSTORMS EV3 design patterns for fun and competition /: LEGO MINDSTORMS EV3 design patterns for fun and competition. (2017) Authors: Trobaugh, James J Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Python unit test automation : practical techniques for Python developers and testers /: practical techniques for Python developers and testers. (2017) Authors: Pajankar, Ashwin Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Practical Python design patterns : Pythonic solutions to common problems /: Pythonic solutions to common problems. ([2017]) Authors: Badenhorst, Wessel Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Pro RESTful APIs : design, build and integrate with REST, JSON, XML and JAX-RS /: design, build and integrate with REST, JSON, XML and JAX-RS. ([2017]) Authors: Patni, Sanjay Record Type: Book Extent: 1 online resource (xvii, 126 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Introduction to Scilab : For Engineers and Scientists /: For Engineers and Scientists. (2017) Authors: Nagar, Sandeep Record Type: Book Extent: 1 online resource (193 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Beginning Julia programming : for engineers and scientists /: for engineers and scientists. (2017) Other Names: Nagar, Sandeep Record Type: Book Extent: 1 online resource (359 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Mastering media with the Raspberry Pi : media centers, music, high end audio, video, and ultimate movie nights /: media centers, music, high end audio, video, and ultimate movie nights. ([2017]) Authors: Roberts, Ralph Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗