Search Results for Computer science. - Narrowed by: Electronic Resources - Programming languages (Electronic computers). - Special purpose computers.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bscience.$0026qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026qf$003dSUBJECT$002509Konu$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$0026qf$003dSUBJECT$002509Konu$002509Special$002bpurpose$002bcomputers.$002509Special$002bpurpose$002bcomputers.$0026ps$003d300$0026isd$003dtrue?2024-07-12T09:02:18ZEuro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182452024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Dutot, Pierre-François. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43659-3">http://dx.doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedingsent://SD_ILS/0/SD_ILS:229392024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Núñez, Manuel. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19458-5">http://dx.doi.org/10.1007/978-3-319-19458-5</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedingsent://SD_ILS/0/SD_ILS:211582024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar George, Laurent. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-08311-7">http://dx.doi.org/10.1007/978-3-319-08311-7</a><br/>Format: Electronic Resources<br/>Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lecturesent://SD_ILS/0/SD_ILS:173902024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Liu, Zhiming. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29628-9">http://dx.doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Formal Methods for Industrial Critical Systems 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedingsent://SD_ILS/0/SD_ILS:215682024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Lang, Frédéric. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10702-8">http://dx.doi.org/10.1007/978-3-319-10702-8</a><br/>Format: Electronic Resources<br/>PRIMA 2016: Princiles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183002024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Baldoni, Matteo. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-44832-9">http://dx.doi.org/10.1007/978-3-319-44832-9</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedingsent://SD_ILS/0/SD_ILS:235012024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar El-Fakih, Khaled. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-25945-1">http://dx.doi.org/10.1007/978-3-319-25945-1</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedingsent://SD_ILS/0/SD_ILS:179602024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Bertogna, Marko. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39083-3">http://dx.doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedingsent://SD_ILS/0/SD_ILS:183612024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar ter Beek, Maurice H. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-45943-1">http://dx.doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>Reliable Software Technologies – Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedingsent://SD_ILS/0/SD_ILS:229562024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar de la Puente, Juan Antonio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-19584-1">http://dx.doi.org/10.1007/978-3-319-19584-1</a><br/>Format: Electronic Resources<br/>Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:176502024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31559-1">http://dx.doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245682024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Merayo, Mercedes G. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44857-1">http://dx.doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4285992024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar 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/>Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4287942024-07-12T09:02:18Z2024-07-12T09:02:18ZYazar Damiani, Ernesto. editor.<br/><a href="https://doi.org/10.1007/978-3-030-22559-9">https://doi.org/10.1007/978-3-030-22559-9</a><br/>Format: Electronic Resources<br/>