Search Results for Logic design. - Narrowed by: Springer E-Book Collection - Math Applications in Computer Science.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogic$002bdesign.$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Math$002bApplications$002bin$002bComputer$002bScience.$002509Math$002bApplications$002bin$002bComputer$002bScience.$0026ps$003d300?
2024-07-18T19:37:04Z
Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:221881
2024-07-18T19:37:04Z
2024-07-18T19:37:04Z
Yazar Potapov, Igor. editor.<br/><a href="https://doi.org/10.1007/978-3-030-00250-3">https://doi.org/10.1007/978-3-030-00250-3</a><br/>Format: Electronic Resources<br/>
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
ent://SD_ILS/0/SD_ILS:221677
2024-07-18T19:37:04Z
2024-07-18T19:37:04Z
Yazar Ayala-Rincón, Mauricio. author.<br/><a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>
Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:221967
2024-07-18T19:37:04Z
2024-07-18T19:37:04Z
Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918<br/><a href="https://doi.org/10.1007/978-3-319-99673-8">https://doi.org/10.1007/978-3-319-99673-8</a><br/>Format: Electronic Resources<br/>
Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:427906
2024-07-18T19:37:04Z
2024-07-18T19:37:04Z
Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918<br/><a href="https://doi.org/10.1007/978-3-030-28163-2">https://doi.org/10.1007/978-3-030-28163-2</a><br/>Format: Electronic Resources<br/>
Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:428599
2024-07-18T19:37:04Z
2024-07-18T19:37:04Z
Yazar 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: Electronic Resources<br/>
Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:20932
2024-07-18T19:37:04Z
2024-07-18T19:37:04Z
Yazar Simonis, Helmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07046-9">http://dx.doi.org/10.1007/978-3-319-07046-9</a><br/>Format: Electronic Resources<br/>
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:24504
2024-07-18T19:37:04Z
2024-07-18T19:37:04Z
Yazar Csuhaj-Varjú, Erzsébet. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44465-8">http://dx.doi.org/10.1007/978-3-662-44465-8</a><br/>Format: Electronic Resources<br/>
Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:24474
2024-07-18T19:37:04Z
2024-07-18T19:37:04Z
Yazar 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: Electronic Resources<br/>