1. Achieving Business Agility : Strategies for Becoming Pivot Ready in a Digital World /: Strategies for Becoming Pivot Ready in a Digital World. ([2019]) Authors: Orvos, John Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Advances in artificial intelligence, software and systems engineering : joint proceedings of the AHFE 2018 International Conference on Human Factors in Artificial Intelligence and Social Computing, Software and Systems Engineering, The Human Side of Service Engineering and Human Factors in Energy, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA /: joint proceedings of the AHFE 2018 International Conference on Human Factors in Artificial Intelligence and Social Computing, Software and Systems Engineering, The Human Side of Service Engineering and Human Factors in Energy, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA. (2019) Editors: Ahram, Tareq Z Other Names: International Conference on Human Factors in Artificial Intelligence and Social Computing; International Conference on Human Factors, Software, and Systems Engineering Record Type: Book Extent: 1 online resource (xvi, 567 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Angewandte Netzwerktechnik kompakt : Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen /: Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen. (2019) Authors: Plenk, Valentin Record Type: Book Extent: 1 online resource (291 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Artificial intelligence and algorithms in intelligent systems : proceedings of 7th Computer Science On-line Conference 2018.: proceedings of 7th Computer Science On-line Conference 2018. Volume 2 ([2019]) Editors: Silhavy, Radek Other Names: Computer Science On-line Conference, 7th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Big data, cloud computing, data science & engineering. ([2019]) Editors: Lee, Roger (Roger Chin Tat) Other Names: IEEE/ACIS International Conference on Big Data, Cloud Computing, Data Science & Engineering, 3rd Record Type: Book Extent: 1 online resource (xiii, 189 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Binary analysis cookbook : actionable recipes for disassembling and analyzing binaries for security risks /: actionable recipes for disassembling and analyzing binaries for security risks. (2019) Authors: Born, Michael Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Carl Adam Petri : Ideas, Personality, Impact /: Ideas, Personality, Impact. (2019) Editors: Reisig, Wolfgang; Rozenberg, Grzegorz Record Type: Book Extent: 1 online resource (249 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Computational statistics and mathematical modeling methods in intelligent systems : Proceedings of 3rd Computational Methods in Systems and Software 2019.: Proceedings of 3rd Computational Methods in Systems and Software 2019. Vol. 2 (2019) Other Names: Silhavy, Radek; Silhavy, Petr; Prokopova, Zdenka; Computational Methods in Systems and Software, 3rd Record Type: Book Extent: 1 online resource (437 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computer aided verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I ([2019]) Other Names: Dillig, Isil; Tasiran, Serdar; CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings.: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part II ([2019]) Editors: Dillig, Isil; Tasiran, Serdar Other Names: CAV (Conference), 31st Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗