Search Results for Software engineering. - Narrowed by: Numerical analysis. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSoftware$002bengineering.$0026qf$003dSUBJECT$002509Konu$002509Numerical$002banalysis.$002509Numerical$002banalysis.$0026ps$003d300? 2024-06-20T00:12:55Z Theory and Applications of Satisfiability Testing &ndash; SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9&ndash;12, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428313 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Janota, Mikol&aacute;&scaron;. editor. (orcid)0000-0003-3487-784X<br/><a href="https://doi.org/10.1007/978-3-030-24258-9">https://doi.org/10.1007/978-3-030-24258-9</a><br/>Format:&#160;Electronic Resources<br/> Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24&ndash;25, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428599 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106<br/><a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format:&#160;Electronic Resources<br/> Mathematical Software &ndash; ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18209 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Greuel, Gert-Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-42432-3">http://dx.doi.org/10.1007/978-3-319-42432-3</a><br/>Format:&#160;Electronic Resources<br/> 27th International Meshing Roundtable ent://SD_ILS/0/SD_ILS:429216 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Roca, Xevi. editor.<br/><a href="https://doi.org/10.1007/978-3-030-13992-6">https://doi.org/10.1007/978-3-030-13992-6</a><br/>Format:&#160;Electronic Resources<br/> Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 &ndash; October 2, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428714 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898<br/><a href="https://doi.org/10.1007/978-3-030-31140-7">https://doi.org/10.1007/978-3-030-31140-7</a><br/>Format:&#160;Electronic Resources<br/> Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings ent://SD_ILS/0/SD_ILS:23174 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Malyshkin, Victor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21909-7">http://dx.doi.org/10.1007/978-3-319-21909-7</a><br/>Format:&#160;Electronic Resources<br/> Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21197 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Demri, St&eacute;phane. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08587-6">http://dx.doi.org/10.1007/978-3-319-08587-6</a><br/>Format:&#160;Electronic Resources<br/> Mathematical Software &ndash; ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24474 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Hong, Hoon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44199-2">http://dx.doi.org/10.1007/978-3-662-44199-2</a><br/>Format:&#160;Electronic Resources<br/> The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library ent://SD_ILS/0/SD_ILS:224916 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Beebe, Nelson H.F. author.<br/><a href="https://doi.org/10.1007/978-3-319-64110-2">https://doi.org/10.1007/978-3-319-64110-2</a><br/>Format:&#160;Electronic Resources<br/> Compatible Finite Element Methods for Geophysical Flows Automation and Implementation Using Firedrake ent://SD_ILS/0/SD_ILS:427637 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Gibson, Thomas H. author.<br/><a href="https://doi.org/10.1007/978-3-030-23957-2">https://doi.org/10.1007/978-3-030-23957-2</a><br/>Format:&#160;Electronic Resources<br/> Numerical Methods and Optimization A Consumer Guide ent://SD_ILS/0/SD_ILS:21054 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Walter, &Eacute;ric. author.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07671-3">http://dx.doi.org/10.1007/978-3-319-07671-3</a><br/>Format:&#160;Electronic Resources<br/> Computational and Information Technologies in Science, Engineering and Education 9th International Conference, CITech 2018, Ust-Kamenogorsk, Kazakhstan, September 25-28, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:428181 2024-06-20T00:12:55Z 2024-06-20T00:12:55Z Yazar&#160;Shokin, Yuri. editor. (orcid)0000-0002-5178-8294<br/><a href="https://doi.org/10.1007/978-3-030-12203-4">https://doi.org/10.1007/978-3-030-12203-4</a><br/>Format:&#160;Electronic Resources<br/>