1211. Intelligent computing and internet of things. first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing and Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018 proceedings /: first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing and Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018 proceedings. Part II : (2018) Editors: Li, Kang; Fei, Minrui; Du, Dajun; Yang, Zhile; Yang, Dongsheng Other Names: International Conference on Intelligent Manufacturing and Internet of Things, 1st; International Conference on Computing and Sustainable Energy and Environment, 5th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1212. Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. (2018) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 20th Record Type: Book Extent: 1 online resource (xiii, 379 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1213. Refinement : semantics, languages and applications /: semantics, languages and applications. ([2018]) Authors: Derrick, John, 1963-; Boiten, Eerke, 1966- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1214. Security and cryptography for networks : 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings /: 11th International Conference, SCN 2018, Amalfi, Italy, September 5-7, 2018, Proceedings. (2018) Editors: Catalano, Dario; De Prisco, Roberto, 1968- Other Names: SCN (Conference), 11th Record Type: Book Extent: 1 online resource (xiii, 584 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1215. Reversible computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings. (2018) Editors: Kari, J (Jarkko); Ulidowski, Irek Other Names: RC (Workshop : Reversible Computation), 10th Record Type: Book Extent: 1 online resource (xiii, 353 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1216. Applications of computing and communication technologies : first International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised selected papers /: first International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised selected papers. (2018) Editors: Deka, Ganesh Chandra, 1969-; Kaiwartya, Omprakash; Vashisth, Pooja; Rathee, Priyanka Other Names: ICACCT (Conference), 1st Record Type: Book Extent: 1 online resource (xiii, 362 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1217. Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. (2018) Editors: Howar, Falk; Barnat, Jiří Other Names: International Workshop on Formal Methods for Industrial Critical Systems, 23rd Record Type: Book Extent: 1 online resource (xvi, 291 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1218. Ad-hoc, mobile, and wireless networks : 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings /: 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings. (2018) Editors: Montavont, Nicolas; Papadopoulos, Georgios Z Other Names: ADHOC-NOW (Conference), 17th Record Type: Book Extent: 1 online resource (xiii, 346 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1219. Static analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings /: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. (2018) Editors: Podelski, Andreas Other Names: International Static Analysis Symposium, 25th Record Type: Book Extent: 1 online resource (x, 445 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1220. Planetary spacecraft navigation. ([2019]) Authors: Miller, James Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗