Search Results for Software. - Narrowed by: Algebra. - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dSUBJECT$002509Subject$002509Algebra.$002509Algebra.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-04T02:54:59Z
Foundations of Algebraic Specification and Formal Software Development
ent://SD_ILS/0/SD_ILS:193572
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
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/>
Introduction to Cryptography with Maple
ent://SD_ILS/0/SD_ILS:333533
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Gómez Pardo, José Luis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333533.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32166-5">http://dx.doi.org/10.1007/978-3-642-32166-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334580
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Cellier, Peggy. editor. Distel, Felix. editor. Ganter, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334580.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:196792
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29892-9">http://dx.doi.org/10.1007/978-3-642-29892-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194398
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Valtchev, Petko. editor. Jäschke, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20514-9">http://dx.doi.org/10.1007/978-3-642-20514-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Identity-Based Encryption
ent://SD_ILS/0/SD_ILS:173195
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Chatterjee, Sanjit. author. Sarkar, Palash. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-9383-0">http://dx.doi.org/10.1007/978-1-4419-9383-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
ent://SD_ILS/0/SD_ILS:190130
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Ferré, Sébastien. editor. Rudolph, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01815-2">http://dx.doi.org/10.1007/978-3-642-01815-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188042
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Medina, Raoul. editor. Obiedkov, Sergei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78137-0">http://dx.doi.org/10.1007/978-3-540-78137-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186092
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Kuznetsov, Sergei O. editor. Schmidt, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70901-5">http://dx.doi.org/10.1007/978-3-540-70901-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183210
2024-08-04T02:54:59Z
2024-08-04T02:54:59Z
Author Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11671404">http://dx.doi.org/10.1007/11671404</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>