791. Post-quantum cryptography : 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings /: 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings. (2018) Editors: Lange, Tanja, 1975-; Steinwandt, Rainer Other Names: PQCrypto (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 529 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
792. Emerging technologies in computing : first International Conference, iCETiC 2018, London, UK, August 23-24, 2018, Proceedings /: first International Conference, iCETiC 2018, London, UK, August 23-24, 2018, Proceedings. (2018) Editors: Miraz, Mahdi H; Excell, Peter; Ware, Andrew; Soomro, Safeeullah; Ali, Maaruf Other Names: iCETiC (Conference), 1st Record Type: Book Extent: 1 online resource (xv, 310 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
793. Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings /: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. (2018) Editors: Gallagher, John P; Sulzmann, Martin Other Names: Fuji International Symposium on Functional and Logic Programming, 14th Record Type: Book Extent: 1 online resource (XVI, 281 pages), 74 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
794. GNSS for rail transportation : challenges and opportunities /: challenges and opportunities. ([2018]) Editors: Lo Presti, Letizia; Sabina, Salvatore Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
795. Advances in practical applications of agents, multi-agent systems, and complexity : the PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings /: the PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018, Proceedings. (2018) Editors: Demazeau, Yves; (Assistant professor), An, Bo; Bajo Pérez, Javier; Fernández-Caballero, Antonio Other Names: International Conference on Practical Applications of Agents and Multiagent Systems, 16th Record Type: Book Extent: 1 online resource (xvi, 376 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
796. Technological innovation for resilient systems : 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings /: 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings. (2018) Editors: Camarinha-Matos, Luis; Adu-Kankam, Kankam O; Julashokri, Mohammad Other Names: IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, 9th Record Type: Book Extent: 1 online resource (XIV, 318 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
797. Logic-based program synthesis and transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers /: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers. (2018) Editors: Fioravanti, Fabio; Gallagher, John P Other Names: LOPSTR (Symposium), 27th Record Type: Book Extent: 1 online resource (xvi, 341 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
798. Transactions on Computational Collective Intelligence XXVIII. (2018) Editors: Nguyễn, Ngọc Thanh; Kowalczyk, Ryszard; van den Herik, Jaap; Rocha, Ana Paula; Filipe, Joaquim Record Type: Book Extent: 1 online resource (275 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
799. Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /: 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings. (2018) Editors: Baier, Christel; (Computer scientist), Dal Lago, Ugo Other Names: FOSSACS (Conference), 21st; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xv, 583 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
800. Requirements engineering : foundation for software quality : 24th International Working Conference, REFSQ 2018, Utrecht, the Netherlands, March 19-22, 2018, Proceedings /: foundation for software quality : 24th International Working Conference, REFSQ 2018, Utrecht, the Netherlands, March 19-22, 2018, Proceedings. (2018) Editors: Kamsties, Erik; Horkoff, Jennifer; Dalpiaz, Fabiano Other Names: REFSQ (Conference), 24th Record Type: Book Extent: 1 online resource (xvii, 369 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗