1. Case-Based Reasoning Research and Development : 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings /: 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings. (2020) Editors: Watson, Ian; Weber, Rosina Record Type: Book Extent: 1 online resource (355 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Complex Event Processing : Verarbeitung von Ereignismustern in Datenströmen /: Verarbeitung von Ereignismustern in Datenströmen. (2020) Authors: Hedtstück, Ulrich Record Type: Book Extent: 1 online resource (163 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Constraints and language. (2014) Editors: Blache, Philippe; Christiansen, Henning, 1955-; Dahl, Veronica, 1950-; Duchier, Denys; Villadsen, Jørgen Record Type: Book Extent: 1 online resource (325 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. From a heuristic point of view : essays in honour of Carlo Cellucci /: essays in honour of Carlo Cellucci. (2014) Editors: Ippoliti, Emiliano; Cozzo, Cesare Other Names: Cellucci, Carlo honouree. Record Type: Book Extent: 1 online resource (295 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. From foundations to philosophy of mathematics : an historical account of their development in the XX century and beyond /: an historical account of their development in the XX century and beyond. (2011) Other Names: Roselló, Joan Record Type: Book Extent: 1 online resource (230 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. (2020) Editors: Nakano, Keisuke; Sagonas, Konstantinos Record Type: Book Extent: 1 online resource (221 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Industrial automation systems and integration. Integration of life-cycle data for process plants including oil and gas production facilities. Implementation methods for the integration of distributed systems: Template methodology Part 7, (22nd November 2022) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (130 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Information Processing and Management of Uncertainty in Knowledge-Based Systems : 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III /: 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III. (2020) Editors: Lesot, Marie-Jeanne; Vieira, Susana; Reformat, Marek Z; Carvalho, Joao Paulo; Wilbik, Anna; Bouchon-Meunier, Bernadette; Yager, Ronald R Record Type: Book Extent: 1 online resource (833 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Information technology. Linear tape file system (LTFS) Format specification. (6th August 2021) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (104 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Information technology. Object management group. Interface definition language (IDL) 4.2. (21st February 2020) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (114 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗