1141. Networked systems : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. (2017) Editors: El Abbadi, Amr; Garbinato, Benoit Other Names: NETYS (Conference), 5th Record Type: Book Extent: 1 online resource (xviiii, 484 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1142. Trust, privacy, and security in digital business : 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016. Proceedings /: 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016. Proceedings. (2016) Editors: Katsikas, Sokratis K; Lambrinoudakis, Costas; Furnell, Steven, 1970- Other Names: TrustBus (Conference), 13th Record Type: Book Extent: 1 online resource (ix, 123 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1143. It's all about coordination : essays to celebrate the lifelong scientific achievements of Farhad Arbab /: essays to celebrate the lifelong scientific achievements of Farhad Arbab. ([2018]) Editors: Boer, Frank S. de; Bonsangue, Marcello M; Rutten, J. J. M. M Other Names: Arbab, F (Farhad) honouree. Record Type: Book Extent: 1 online resource (xii, 244 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1144. From animals to animats 15 : 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings /: 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings. (2018) Editors: Manoonpong, Poramate; Larsen, Jørgen Christian; Xiong, Xiaofeng; Hallam, John; Triesch, Jochen Other Names: International Conference on Simulation of Adaptive Behavior, 15th Record Type: Book Extent: 1 online resource (XIII, 265 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1145. Programming LEGO® EV3 my blocks : teaching concepts and preparing for FLL® Competition /: teaching concepts and preparing for FLL® Competition. (2018) Authors: Harding, Gene Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1146. Advanced information systems engineering : 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings /: 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings. (2018) Editors: Krogstie, John; Reijers, Hajo A Other Names: CAiSE (Conference), 30th Record Type: Book Extent: 1 online resource (xv, 630 pages), 192 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1147. Environmental software systems : computer science for environmental protection : 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings /: computer science for environmental protection : 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings. (2017) Editors: Hřebíček, Jiří; Denzer, Ralf; Schimak, Gerald; Pitner, Tomáš Other Names: International Symposium on Environmental Software Systems, 12th Record Type: Book Extent: 1 online resource (XVIII, 486 pages), 196 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1148. Communication technologies for vehicles : 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings /: 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings. (2018) Editors: Moreno García-Loygorri, Juan; Pérez-Yuste, Antonio; Briso, César; Berbineau, Marion; Pirovano, Alain; Mendizábal, Jaizki Other Names: Nets4Cars/Nets4Trains/Nets4Aircraft (Workshop), 13th Record Type: Book Extent: 1 online resource (x, 185 pages), 111 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1149. Advanced computing strategies for engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I /: 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I. (2018) Editors: Smith, Ian F. C; Domer, Bernd Other Names: EG-ICE Workshop, 25th Record Type: Book Extent: 1 online resource (xvii, 488 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1150. Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings.: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Part II (2018) Editors: Beyer, Dirk, 1972-; Huisman, Marieke Other Names: TACAS (Conference), 24th; ETAPS (Conference), 21st Record Type: Book Extent: 1 online resource (xx, 465 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗