381. Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings. (2016) Editors: Olivetti, Nicola; Tiwari, Ashish, 1973- Other Names: IJCAR (Conference), 8th Record Type: Book Extent: 1 online resource (xx, 580 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
382. Perspectives of system informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers /: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers. (2016) Editors: Mazzara, Manuel; Voronkov, Andrei, 1959- Other Names: Veith, Helmut honouree.; International Andrei Ershov Memorial Conference, 10th Record Type: Book Extent: 1 online resource (x, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
383. Mathematics of program construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings /: 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings. (2015) Editors: Hinze, Ralf; Voigtländer, Janis, 1977- Other Names: MPC (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 323 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
384. Hands-on design patterns with React Native : proven techniques and patterns for efficient native mobile development with JavaScript.: proven techniques and patterns for efficient native mobile development with JavaScript. (2018) Other Names: Grzesiukiewicz, Mateusz Record Type: Book Extent: 1 online resource (297 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
385. Python automation cookbook : explore the world of automation using Python recipes that will enhance your skills.: explore the world of automation using Python recipes that will enhance your skills. (2018) Other Names: Buelta, Jaime Record Type: Book Extent: 1 online resource (388 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
386. Concurrent patterns and best practices : build scalable apps with patterns in multithreading, synchronization, and functional programming.: build scalable apps with patterns in multithreading, synchronization, and functional programming. (2018) Other Names: Khot, Atul S Record Type: Book Extent: 1 online resource (258 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
387. Scala Programming Projects : Build real world projects using popular Scala frameworks like Play, Akka, and Spark /: Build real world projects using popular Scala frameworks like Play, Akka, and Spark. (2018) Authors: Valot, Mikaël; Jorand, Nicolas Record Type: Book Extent: 1 online resource (398 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
388. React and React Native : complete guide to web and native mobile development with React /: complete guide to web and native mobile development with React. (2018) Authors: Boduch, Adam Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
389. JavaScript cloud native development cookbook : deliver serverless cloud-native solutions on AWS, Azure, and GCP.: deliver serverless cloud-native solutions on AWS, Azure, and GCP. (2018) Other Names: Gilbert, John Record Type: Book Extent: 1 online resource (342 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
390. Hands-on reactive programming with Reactor : build reactive and scalable microservices using the Reactor framework /: build reactive and scalable microservices using the Reactor framework. (2018) Authors: Sharma, Rahul Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗