Search Results for Tools. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTools.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2025-12-24T20:03:41ZNumerical methods, algorithms, and tools in C#ent://SD_ILS/0/SD_ILS:5429422025-12-24T20:03:41Z2025-12-24T20:03:41ZAuthor 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-24T20:03:41Z2025-12-24T20:03:41ZAuthor 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-24T20:03:41Z2025-12-24T20:03:41ZAuthor 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-24T20:03:41Z2025-12-24T20:03:41ZAuthor 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-24T20:03:41Z2025-12-24T20:03:41ZAuthor 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-24T20:03:41Z2025-12-24T20:03:41ZAuthor 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-24T20:03:41Z2025-12-24T20:03:41ZAuthor 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-24T20:03:41Z2025-12-24T20:03:41ZAuthor 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/>