Arama Sonuçları Tools. - Daraltılmış: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTools.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2025-12-25T19:45:42ZNumerical methods, algorithms, and tools in C#ent://SD_ILS/0/SD_ILS:5429422025-12-25T19:45:42Z2025-12-25T19:45:42ZYazar Dos Passos, Waldemar, author.<br/>Yer Numarası QA297 .D684 2010<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420007602">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~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-25T19:45:42Z2025-12-25T19:45:42ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:45:42Z2025-12-25T19:45:42ZYazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:45:42Z2025-12-25T19:45:42ZYazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-25T19:45:42Z2025-12-25T19:45:42ZYazar Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Number Theory Volume II: Analytic and Modern Toolsent://SD_ILS/0/SD_ILS:1665162025-12-25T19:45:42Z2025-12-25T19:45:42ZYazar Cohen, Henri. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Number Theory Volume I: Tools and Diophantine Equationsent://SD_ILS/0/SD_ILS:1665192025-12-25T19:45:42Z2025-12-25T19:45:42ZYazar Cohen, Henri. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Networksent://SD_ILS/0/SD_ILS:5123802025-12-25T19:45:42Z2025-12-25T19:45:42ZYazar Newman, M. E. J. (Mark E. J.), author.<br/>Yer Numarası TK5105.5<br/>Elektronik Erişim 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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>