721. Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings /: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings. (2020) Editors: Janicki, Ryszard; (Computer scientist), Sidorova, Natalia; Chatain, Thomas Record Type: Book Extent: 1 online resource (437 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
722. Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II (2020) Other Names: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th Record Type: Book Extent: 1 online resource (521 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
723. Moving from Unity to Godot : An In-Depth Handbook to Godot for Unity Users /: An In-Depth Handbook to Godot for Unity Users. (2020) Authors: Thorn, Alan Record Type: Book Extent: 1 online resource (273 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
724. Building Microservices with . NET Core 2. 0 Transitioning Monolithic Architectures Using Microservices with . NET Core 2. 0 Using C# 7. 0, 2nd Edition.: Transitioning Monolithic Architectures Using Microservices with . NET Core 2. 0 Using C# 7. 0, 2nd Edition. (2017) Other Names: Aroraa, Gaurav Record Type: Book Extent: 1 online resource (295 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
725. The Agile developer's handbook : get more value from your software development : get the best out of the Agile methodology /: get more value from your software development : get the best out of the Agile methodology. (2018) Authors: Flewelling, Paul Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
726. Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. (2018) Editors: Jansen, David N; Prabhakar, Pavithra Other Names: FORMATS (Conference), 16th Record Type: Book Extent: 1 online resource (x, 289 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
727. Industrial internet application development : simplify IIoT development using the elasticity of public cloud and native cloud services.: simplify IIoT development using the elasticity of public cloud and native cloud services. (2018) Other Names: Traukina, Alena; Thomas, Jayant; Tyagi, Prashant; Reddipalli, Kishore Record Type: Book Extent: 1 online resource (405 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
728. Oceanographic analysis with R. (2018) Authors: Kelley, Dan E Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
729. AI approaches to the complexity of legal systems : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers /: AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers. (2018) Editors: Pagallo, Ugo; Palmirani, Monica; Casanovas Romeu, Pompeu; Sartor, Giovanni; Villata, Serena Other Names: AICOL (Conference), 6th; AICOL (Conference), 7th; AICOL (Conference), 8th; AICOL (Conference), 9th; AICOL (Conference), 10th Record Type: Book Extent: 1 online resource (xii, 576 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
730. Python 3 object-oriented programming : build robust and maintainable software with object-oriented design patterns in Python 3.8 /: build robust and maintainable software with object-oriented design patterns in Python 3.8. (2018) Other Names: Phillips, Dusty Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗