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. Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. ([2017]) Editors: Janech, Jan; Kostolny, Jozef; Gratkowski, Tomasz Other Names: Federated Conference on Software Development and Object Technologies, 2nd Record Type: Book Extent: 1 online resource (xv, 386 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Teaching learning based optimization algorithm : and its engineering applications /: and its engineering applications. ([2016]) Authors: Rao, R. Venkata Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗