Search Results for - Narrowed by: Artificial intelligence. - Computer industry.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bindustry.$002509Computer$002bindustry.$0026ps$003d300?2024-06-07T12:43:27ZPrinciples of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:20851292024-06-07T12:43:27Z2024-06-07T12:43:27Zby Lohstroh, Marten. editor.<br/><a href="https://doi.org/10.1007/978-3-319-95246-8">https://doi.org/10.1007/978-3-319-95246-8</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20851922024-06-07T12:43:27Z2024-06-07T12:43:27Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:20851932024-06-07T12:43:27Z2024-06-07T12:43:27Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20854672024-06-07T12:43:27Z2024-06-07T12:43:27Zby Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X<br/><a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format: Electronic Resources<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:20855802024-06-07T12:43:27Z2024-06-07T12:43:27Zby Baier, Christel. editor. (orcid)0000-0002-5321-9343<br/><a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20851912024-06-07T12:43:27Z2024-06-07T12:43:27Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IVent://SD_ILS/0/SD_ILS:20854572024-06-07T12:43:27Z2024-06-07T12:43:27Zby Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X<br/><a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20855732024-06-07T12:43:27Z2024-06-07T12:43:27Zby Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X<br/><a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format: Electronic Resources<br/>Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:20842222024-06-07T12:43:27Z2024-06-07T12:43:27Zby Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351<br/><a href="https://doi.org/10.1007/978-3-319-99704-9">https://doi.org/10.1007/978-3-319-99704-9</a><br/>Format: Electronic Resources<br/>Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:20842232024-06-07T12:43:27Z2024-06-07T12:43:27Zby Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351<br/><a href="https://doi.org/10.1007/978-3-319-99707-0">https://doi.org/10.1007/978-3-319-99707-0</a><br/>Format: Electronic Resources<br/>Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:20852012024-06-07T12:43:27Z2024-06-07T12:43:27Zby Margaria, Tiziana. editor.<br/><a href="https://doi.org/10.1007/978-3-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format: Electronic Resources<br/>New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedingsent://SD_ILS/0/SD_ILS:20854492024-06-07T12:43:27Z2024-06-07T12:43:27Zby Capilla, Rafael. editor. (orcid)0000-0002-6943-1285<br/><a href="https://doi.org/10.1007/978-3-319-90421-4">https://doi.org/10.1007/978-3-319-90421-4</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:20861142024-06-07T12:43:27Z2024-06-07T12:43:27Zby Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X<br/><a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format: Electronic Resources<br/>Computational Science and Its Applications – ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part Vent://SD_ILS/0/SD_ILS:20861232024-06-07T12:43:27Z2024-06-07T12:43:27Zby Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X<br/><a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format: Electronic Resources<br/>International Communities of Invention and Innovation IFIP WG 9.7 International Conference on the History of Computing, HC 2016, Brooklyn, NY, USA, May 25-29, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20848252024-06-07T12:43:27Z2024-06-07T12:43:27Zby Tatnall, Arthur. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49463-0">https://doi.org/10.1007/978-3-319-49463-0</a><br/>Format: Electronic Resources<br/>Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:20841042024-06-07T12:43:27Z2024-06-07T12:43:27Zby Nääs, Irenilza. editor.<br/><a href="https://doi.org/10.1007/978-3-319-51133-7">https://doi.org/10.1007/978-3-319-51133-7</a><br/>Format: Electronic Resources<br/>Information Extraction: Algorithms and Prospects in a Retrieval Contextent://SD_ILS/0/SD_ILS:5070922024-06-07T12:43:27Z2024-06-07T12:43:27Zby Moens, Marie-Francine. author.<br/><a href="http://dx.doi.org/10.1007/978-1-4020-4993-4">http://dx.doi.org/10.1007/978-1-4020-4993-4</a><br/>Format: Electronic Resources<br/>Web Search: Public Searching of the Webent://SD_ILS/0/SD_ILS:5062092024-06-07T12:43:27Z2024-06-07T12:43:27Zby Spink, Amanda. editor.<br/><a href="http://dx.doi.org/10.1007/1-4020-2269-7">http://dx.doi.org/10.1007/1-4020-2269-7</a><br/>Format: Electronic Resources<br/>