Search Results for Artificial intelligence. - Narrowed by: Computer industry. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArtificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bindustry.$002509Computer$002bindustry.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-11-14T12:42:33Z Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400571 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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 II ent://SD_ILS/0/SD_ILS:399018 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351&#160;Lee, Gyu M. editor. (orcid)0000-0001-5466-6244&#160;Park, Jinwoo. editor.&#160;Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187&#160;von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399397 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399410 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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 I ent://SD_ILS/0/SD_ILS:399505 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351&#160;Lee, Gyu M. editor. (orcid)0000-0001-5466-6244&#160;Park, Jinwoo. editor.&#160;Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187&#160;von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400039 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400040 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:400121 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Lohstroh, Marten. editor.&#160;Derler, Patricia. editor.&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400151 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Capilla, Rafael. editor. (orcid)0000-0002-6943-1285&#160;Gallina, Barbara. editor. (orcid)0000-0002-6952-1053&#160;Cetina, Carlos. editor. (orcid)0000-0001-8542-5515&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402376 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:402377 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399365 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399366 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Journeys to Data Mining Experiences from 15 Renowned Researchers ent://SD_ILS/0/SD_ILS:196332 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Gaber, Mohamed Medhat. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28047-4">http://dx.doi.org/10.1007/978-3-642-28047-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Extraction: Algorithms and Prospects in a Retrieval Context ent://SD_ILS/0/SD_ILS:169338 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Moens, Marie-Francine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Search: Public Searching of the Web ent://SD_ILS/0/SD_ILS:168682 2024-11-14T12:42:33Z 2024-11-14T12:42:33Z Author&#160;Spink, Amanda. editor.&#160;Jansen, Bernhard J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>