1. Automated validation & verification of UML/OCL models using satisfiability solvers. ([2018]) Authors: Przigoda, Nils; Wille, Robert; Przigoda, Judith; Drechsler, Rolf Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Mastering Python design patterns : a guide to creating smart, efficient, and reusable software /: a guide to creating smart, efficient, and reusable software. (2018) Authors: Ayeva, Kamon; Kasampalis, Sakis Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Quantitative finance : an object-oriented approach in C++ /: an object-oriented approach in C++. (2018) Other Names: Schlogl, Erik Record Type: Book Extent: 1 online resource (354 pages), (30 illustrations) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Time-space, spiking neural networks and brain-inspired artificial intelligence. (2018) Authors: Kasabov, Nikola K Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗