Search Results for Tools. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTools.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300?2025-12-25T09:22:02ZNumerical methods, algorithms, and tools in C#ent://SD_ILS/0/SD_ILS:5429422025-12-25T09:22:02Z2025-12-25T09:22:02ZAuthor Dos Passos, Waldemar, author.<br/>Preferred Shelf Number QA297 .D684 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420007602">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthdayent://SD_ILS/0/SD_ILS:4828892025-12-25T09:22:02Z2025-12-25T09:22:02ZAuthor ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30985-5">https://doi.org/10.1007/978-3-030-30985-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedingsent://SD_ILS/0/SD_ILS:4855122025-12-25T09:22:02Z2025-12-25T09:22:02ZAuthor Goehringer, Diana. editor. Santambrogio, Marco Domenico. editor. Cardoso, João M.P. editor. Bertels, Koen. editor. (orcid)0000-0001-9310-4885 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05960-0">https://doi.org/10.1007/978-3-319-05960-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4890592025-12-25T09:22:02Z2025-12-25T09:22:02ZAuthor Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002025-12-25T09:22:02Z2025-12-25T09:22:02ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Number Theory Volume II: Analytic and Modern Toolsent://SD_ILS/0/SD_ILS:1665162025-12-25T09:22:02Z2025-12-25T09:22:02ZAuthor Cohen, Henri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49894-2">http://dx.doi.org/10.1007/978-0-387-49894-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Number Theory Volume I: Tools and Diophantine Equationsent://SD_ILS/0/SD_ILS:1665192025-12-25T09:22:02Z2025-12-25T09:22:02ZAuthor Cohen, Henri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49923-9">http://dx.doi.org/10.1007/978-0-387-49923-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Networksent://SD_ILS/0/SD_ILS:5123802025-12-25T09:22:02Z2025-12-25T09:22:02ZAuthor Newman, M. E. J. (Mark E. J.), author.<br/>Preferred Shelf Number TK5105.5<br/>Electronic Access Oxford scholarship online <a href="http://dx.doi.org/10.1093/oso/9780198805090.001.0001">http://dx.doi.org/10.1093/oso/9780198805090.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>