1231. ICT Innovations 2018 : engineering and life sciences : 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17-19, 2018, Proceedings /: engineering and life sciences : 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17-19, 2018, Proceedings. (2018) Editors: Kalajdziski, Slobodan; Ackovska, Nevena Other Names: ICT Innovations (Conference), 10th Record Type: Book Extent: 1 online resource (xxi, 297 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1232. RoboCup 2017 : Robot World Cup XXI /: Robot World Cup XXI. (2018) Editors: Akiyama, Hidehisa; Obst, Oliver; Sammut, Claude, 1956-; Tonidandel, Flavio Other Names: RoboCup (Conference), 21st Record Type: Book Extent: 1 online resource (xii, 522 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1233. Enterprise and organizational modeling and simulation : 14th International Workshop, EOMAS 2018, held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Selected papers /: 14th International Workshop, EOMAS 2018, held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Selected papers. (2018) Editors: Pergl, Robert; Babkin, Eduard, 1971-; Lock, Russell; Malyzhenkov, Pavel; Merunka, Vojtěch Other Names: International Workshop on Enterprise and Organizational Modeling and Simulation, 14th; CAiSE (Conference), 30th Record Type: Book Extent: 1 online resource (x, 179 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1234. 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) ↗
1235. Advanced computer architecture : 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings /: 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings. (2018) Editors: Li, Chao; (College teacher), Wu, Junjie Other Names: ACA (Conference), 12th Record Type: Book Extent: 1 online resource (x, 233 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1236. KI 2018 : advances in artificial intelligence : 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings /: advances in artificial intelligence : 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. (2018) Editors: Trollmann, Frank; Turhan, Anni-Yasmin Other Names: German Conference on Artificial Intelligence, 41st Record Type: Book Extent: 1 online resource (xiv, 424 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1237. Arbeit 4.0 - Digitalisierung, IT und Arbeit : IT als Treiber der digitalen Transformation /: IT als Treiber der digitalen Transformation. ([2018]) Editors: Hofmann, Josephine Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1238. Computer information systems and industrial management : 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings /: 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings. (2018) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 17th Record Type: Book Extent: 1 online resource (xxi, 524 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1239. Advances in computing : 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, Proceedings /: 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26-28, 2018, Proceedings. (2018) Editors: Serrano C., Jairo E; Martínez-Santos, Juan Carlos Other Names: Colombian Conference on Computing, 13th Record Type: Book Extent: 1 online resource (xiv, 514 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1240. Rapid mashup development tools : second International Rapid Mashup Challenge, RMC 2016, Lugano, Switzerland, June 6, 2016, Revised selected papers /: second International Rapid Mashup Challenge, RMC 2016, Lugano, Switzerland, June 6, 2016, Revised selected papers. (2017) Editors: Daniel, Florian; Gaedke, Martin Other Names: International Rapid Mashup Challenge, 2nd Record Type: Book Extent: 1 online resource ([vii], 135 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗