Search Results for SpringerLink (Online service) - Narrowed by: Computer science -- Mathematics. - Computing Methodologies.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience$002b--$002bMathematics.$002509Computer$002bscience$002b--$002bMathematics.$0026qf$003dSUBJECT$002509Konu$002509Computing$002bMethodologies.$002509Computing$002bMethodologies.$0026ps$003d300?
2024-08-06T08:08:13Z
Relaxed Abduction Robust Information Interpretation for Industrial Applications
ent://SD_ILS/0/SD_ILS:18518
2024-08-06T08:08:13Z
2024-08-06T08:08:13Z
Yazar Hubauer, Thomas. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-14407-4">http://dx.doi.org/10.1007/978-3-658-14407-4</a><br/>Format: Electronic Resources<br/>
Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP
ent://SD_ILS/0/SD_ILS:24299
2024-08-06T08:08:13Z
2024-08-06T08:08:13Z
Yazar Förster, Michael. author.<br/><a href="http://dx.doi.org/10.1007/978-3-658-07597-2">http://dx.doi.org/10.1007/978-3-658-07597-2</a><br/>Format: Electronic Resources<br/>
Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:21259
2024-08-06T08:08:13Z
2024-08-06T08:08:13Z
Yazar Dowek, Gilles. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08918-8">http://dx.doi.org/10.1007/978-3-319-08918-8</a><br/>Format: Electronic Resources<br/>