1. Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings /: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. (2017) Editors: D'Souza, Deepak; Narayan Kumar, K Other Names: ATVA (Symposium), 15th Record Type: Book Extent: 1 online resource (xix, 482 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Blockchain enabled applications : understand the blockchain ecosystem and how to make it work for you /: understand the blockchain ecosystem and how to make it work for you. ([2017]) Authors: (Research fellow), Dhillon, Vikram; Metcalf, David (David S.); (CEO of Merging Traffic), Hooper, Max Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. BWL kompakt und verständlich : Für Studierende von Ingenieurs- und IT-Studiengängen sowie für Fach- und Führungskräfte ohne BWL-Studium /: Für Studierende von Ingenieurs- und IT-Studiengängen sowie für Fach- und Führungskräfte ohne BWL-Studium. (2017) Authors: Carl, Notger; Fiedler, Rudolf; Jórasz, William; Kiesel, Manfred Record Type: Book Extent: 1 online resource (175 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Computational science and its applications -- ICCSA 2017. 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings /: 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings. Part VI : (2017) Editors: Gervasi, Osvaldo; Murgante, Beniamino; Misra, Sanjay; Borruso, Giuseppe; Torre, Carmelo Maria; Rocha, Ana Maria A. C; Taniar, David; Apduhan, Bernady O; Stankova, E (Elena); Cuzzocrea, Alfredo, 1974- Other Names: ICCSA (Conference), 17th Record Type: Book Extent: 1 online resource (xxxvi, 799 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Computer aided cerification. 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings /: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings. Part II : (2017) Editors: Majumdar, Rupak; Kuncak, Viktor Other Names: CAV (Conference), 29th Record Type: Book Extent: 1 online resource (xvii, 623 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Emerging Research in Computing, Information, Communication and Applications : ERCICA 2016 /: ERCICA 2016. (2017) Editors: Shetty, N. R; Patnaik, L. M; Prasad, N. H; Nalini, N Record Type: Book Extent: 1 online resource (761 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Financial cryptography and data security : FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised selected papers /: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised selected papers. (2017) Editors: (Computer scientist), Brenner, Michael; Rohloff, Kurt; Bonneau, Joseph; (Computer scientist), Miller, Andrew; Ryan, Peter, 1957-; Teague, Vanessa; Bracciali, Andrea; Sala, Massimiliano, 1969-; Pintore, Federico; Jakobsson, Markus Other Names: FC (Conference), 21st; WAHC (Workshop), 5th; BITCOIN (Workshop), 4th; VOTING (Workshop), 2nd; WTSC (Workshop), 1st; TA (Workshop), 1st Record Type: Book Extent: 1 online resource (xxii, 636 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Industrie 4.0 : Herausforderungen, Konzepte und Praxisbeispiele /: Herausforderungen, Konzepte und Praxisbeispiele. ([2017]) Editors: Reinheimer, Stefan Record Type: Book Extent: 1 online resource (xvi, 176 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Information security : 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings /: 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. (2017) Editors: Nguyen, Phong Q (Phong Quang); Zhou, Jianying Other Names: ISC (Conference : Information security), 20th Record Type: Book Extent: 1 online resource (xiii, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Information technology in bio- and medical informatics : 8th International Conference, ITBAM 2017, Lyon, France, August 28-31, 2017, Proceedings /: 8th International Conference, ITBAM 2017, Lyon, France, August 28-31, 2017, Proceedings. (2017) Editors: Bursa, Miroslav; Holzinger, Andreas; Renda, M. Elena; (Computer scientist), Khuri, Sami Other Names: ITBAM (Conference), 8th Record Type: Book Extent: 1 online resource (x, 135 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗