Search Results for Software. - Narrowed by: Algebra. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dSUBJECT$002509Subject$002509Algebra.$002509Algebra.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2024-12-29T17:35:00Z Foundations of Algebraic Specification and Formal Software Development ent://SD_ILS/0/SD_ILS:193572 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Sannella, Donald. author.&#160;Tarlecki, Andrzej. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Rubato Composer Music Software Component-Based Implementation of a Functorial Concept Architecture ent://SD_ILS/0/SD_ILS:189593 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Milmeister, G&eacute;rard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00148-2">http://dx.doi.org/10.1007/978-3-642-00148-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Introduction to Cryptography with Maple ent://SD_ILS/0/SD_ILS:333533 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;G&oacute;mez Pardo, Jos&eacute; Luis. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333533.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334580.1)<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Domenach, Florent. editor.&#160;Ignatov, Dmitry I. editor.&#160;Poelmans, Jonas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Valtchev, Petko. editor.&#160;J&auml;schke, Robert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Identity-Based Encryption ent://SD_ILS/0/SD_ILS:173195 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Chatterjee, Sanjit. author.&#160;Sarkar, Palash. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computability of Julia Sets ent://SD_ILS/0/SD_ILS:185503 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Braverman, Mark. author.&#160;Yampolsky, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68547-0">http://dx.doi.org/10.1007/978-3-540-68547-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Ferr&eacute;, S&eacute;bastien. editor.&#160;Rudolph, Sebastian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Medina, Raoul. editor.&#160;Obiedkov, Sergei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings ent://SD_ILS/0/SD_ILS:188808 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Golomb, Solomon W. editor.&#160;Parker, Matthew G. editor.&#160;Pott, Alexander. editor.&#160;Winterhof, Arne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85912-3">http://dx.doi.org/10.1007/978-3-540-85912-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Kuznetsov, Sergei O. editor.&#160;Schmidt, Stefan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra ent://SD_ILS/0/SD_ILS:166115 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Cox, David. author.&#160;Little, John. author.&#160;O&rsquo;Shea, Donal. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-35651-8">http://dx.doi.org/10.1007/978-0-387-35651-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computeralgebra Eine algorithmisch orientierte Einf&uuml;hrung ent://SD_ILS/0/SD_ILS:182169 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Koepf, Wolfram. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-29895-9">http://dx.doi.org/10.1007/3-540-29895-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing in Algebraic Geometry A Quick Start using SINGULAR ent://SD_ILS/0/SD_ILS:181914 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Decker, Wolfram. author.&#160;Lossen, Christoph. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28993-3">http://dx.doi.org/10.1007/3-540-28993-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Missaoui, Rokia. editor.&#160;Schmidt, J&uuml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11671404">http://dx.doi.org/10.1007/11671404</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Discovering Mathematics with Magma Reducing the Abstract to the Concrete ent://SD_ILS/0/SD_ILS:184568 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Bosma, Wieb. editor.&#160;Cannon, John. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-37634-7">http://dx.doi.org/10.1007/978-3-540-37634-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computeralgebra ent://SD_ILS/0/SD_ILS:180908 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Kaplan, Michael. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137968">http://dx.doi.org/10.1007/b137968</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Getting Started with MuPAD ent://SD_ILS/0/SD_ILS:181827 2024-12-29T17:35:00Z 2024-12-29T17:35:00Z Author&#160;Majewski, Miroslaw. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-28675-6">http://dx.doi.org/10.1007/3-540-28675-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>