61. Automatic methods for the refinement of system models : from the specification to the implementation /: from the specification to the implementation. ([2016]) Authors: Seiter, Julia; Wille, Robert; Drechsler, Rolf Record Type: Book Extent: 1 online resource (viii, 94 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. Automation control theory perspectives in intelligent systems. proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016) /: proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016). Vol 3 : (2016) Editors: Silhavy, Radek; Senkerik, Roman; Oplatkova, Zuzana Kominkova; Silhavy, Petr; Prokopova, Zdenka Other Names: Computer Science On-line COnference, 5th Record Type: Book Extent: 1 online resource (xv, 508 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. Autonomic computing : concepts, infrastructure, and applications /: concepts, infrastructure, and applications. (2007) Other Names: Parashar, Manish, 1967-; Hariri, Salim; CRC Press. Record Type: Book Extent: 1 online resource (539 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. Bayesian analysis with Python : unleash the power and flexibility of the Bayesian framework /: unleash the power and flexibility of the Bayesian framework. (2016) Authors: Martin, Osvaldo Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. Bazaar version control : a fast-paced practical guide to version control using Bazaar /: a fast-paced practical guide to version control using Bazaar. (2013) Authors: Gyerik, Janos Record Type: Book Extent: 1 online resource (xii, 377 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. Beauty technology : designing seamless interfaces for wearable computing /: designing seamless interfaces for wearable computing. ([2016]) Authors: Vega, Katia; Fuks, Hugo Record Type: Book Extent: 1 online resource (110 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. Beginning BBC micro:bit : a practical introduction to micro:bit development /: a practical introduction to micro:bit development. (2018) Authors: Seneviratne, Pradeeka Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. Beginning Elastic Stack. (2016) Authors: Sharma, Vishal Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. Beginning KeystoneJS : a practical introduction to KeystoneJS using a real-world project /: a practical introduction to KeystoneJS using a real-world project. (2016) Authors: Panati, Manikanta Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. Beginning Laravel : a beginner's guide to application development with Laravel 5.3 /: a beginner's guide to application development with Laravel 5.3. (2017) Authors: Sinha, Sanjib Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗