Search Results for Formal methods (Computer science) - Narrowed by: Artificial intelligence.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?dt=list2026-03-20T00:18:36ZSOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6025312026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52113-3">https://doi.org/10.1007/978-3-031-52113-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130732026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Real-life Applications with Membrane Computingent://SD_ILS/0/SD_ILS:6138212026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Zhang, Gexiang. author. Pérez-Jiménez, Mario J. author. Gheorghe, Marian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55989-6">https://doi.org/10.1007/978-3-319-55989-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Current Trends on Knowledge-Based Systemsent://SD_ILS/0/SD_ILS:6140132026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51905-0">https://doi.org/10.1007/978-3-319-51905-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6179022026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Agosti, Maristella. editor. Bertini, Marco. editor. Ferilli, Stefano. editor. Marinai, Simone. editor. Orio, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56300-8">https://doi.org/10.1007/978-3-319-56300-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Productionent://SD_ILS/0/SD_ILS:6118712026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23338-3">https://doi.org/10.1007/978-3-319-23338-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6136402026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Artificial Intelligenceent://SD_ILS/0/SD_ILS:6158322026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Flasiński, Mariusz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40022-8">https://doi.org/10.1007/978-3-319-40022-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Teamwork in multi-agent systems a formal approachent://SD_ILS/0/SD_ILS:2980992026-03-20T00:18:36Z2026-03-20T00:18:36ZAuthor Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9780470665237">http://dx.doi.org/10.1002/9780470665237</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10389590">http://site.ebrary.com/lib/alltitles/Doc?id=10389590</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>