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.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-10-28T07:07:26Z
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2024-10-28T07:07:26Z
2024-10-28T07:07:26Z
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
2024-10-28T07:07:26Z
2024-10-28T07:07:26Z
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/>