Search Results for Logic design - Narrowed by: Algebra.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dSUBJECT$002509Subject$002509Algebra.$002509Algebra.$0026ps$003d300?
2025-12-16T22:42:34Z
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2025-12-16T22:42:34Z
2025-12-16T22:42:34Z
Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17336-3">http://dx.doi.org/10.1007/978-3-642-17336-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191011
2025-12-16T22:42:34Z
2025-12-16T22:42:34Z
Author Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04639-1">http://dx.doi.org/10.1007/978-3-642-04639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic statistics : computational commutative algebra in statistics
ent://SD_ILS/0/SD_ILS:547661
2025-12-16T22:42:34Z
2025-12-16T22:42:34Z
Author Pistone, Giovanni., author. Riccomagno, Eva. Wynn, Henry P.<br/>Preferred Shelf Number QA276 .P53 2001<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420035766">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>