Search Results for Formal methods (Computer science) - Narrowed by: Computational intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dSUBJECT$002509Konu$002509Computational$002bintelligence.$002509Computational$002bintelligence.$0026ps$003d300?dt=list
2026-03-21T00:48:25Z
Current Trends on Knowledge-Based Systems
ent://SD_ILS/0/SD_ILS:614013
2026-03-21T00:48:25Z
2026-03-21T00:48:25Z
Author 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/>
Real-life Applications with Membrane Computing
ent://SD_ILS/0/SD_ILS:613821
2026-03-21T00:48:25Z
2026-03-21T00:48:25Z
Author 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/>
Introduction to Artificial Intelligence
ent://SD_ILS/0/SD_ILS:615832
2026-03-21T00:48:25Z
2026-03-21T00:48:25Z
Author 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/>
New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production
ent://SD_ILS/0/SD_ILS:611871
2026-03-21T00:48:25Z
2026-03-21T00:48:25Z
Author 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/>