671. Dag Prawitz on proofs and meaning. ([2015]) Other Names: Wansing, H (Heinrich) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
672. Reachability problems : 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings. (2018) Editors: Potapov, Igor; Reynier, Pierre-Alain Other Names: RP (Workshop), 12th Record Type: Book Extent: 1 online resource (xxi, 161 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
673. Applied natural language processing with Python : implementing machine learning and deep learning algorithms for natural language processing /: implementing machine learning and deep learning algorithms for natural language processing. (2018) Authors: Beysolow, Taweh Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
674. Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Avigad, Jeremy; Mahboubi, Assia Other Names: ITP (Conference), 9th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xvii, 642 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
675. Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers /: third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers. (2015) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: International Workshop of Formal Techniques for Safety-Critical Systems, 3rd Record Type: Book Extent: 1 online resource (x, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
676. Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. (2018) Editors: Atig, Mohamed Faouzi; Bensalem, Saddek; Bliudze, Simon; Monsuez, Bruno Other Names: VECoS (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
677. Principles of data mining. (2016) Authors: Bramer, M. A (Max A.), 1948- Record Type: Book Extent: 1 online resource (xv, 526 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
678. How open source ate software : understand the open source movement and so much more /: understand the open source movement and so much more. ([2018]) Authors: Haff, Gordon Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
679. Coalgebraic methods in computer science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised selected papers /: 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised selected papers. (2018) Editors: Cîrstea, Corina Other Names: Workshop on Coalgebraic Methods in Computer Science, 14th; ETAPS (Conference), 20th Record Type: Book Extent: 1 online resource (ix, 235 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
680. Scalable uncertainty management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. (2018) Editors: Ciucci, Davide; Pasi, Gabriella, 1961-; Vantaggi, Barbara Other Names: SUM (Conference), 12th Record Type: Book Extent: 1 online resource (xi, 413 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗