Search Results for spécification. - Narrowed by: Computational intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dsp$0025C3$0025A9cification.$0026qf$003dSUBJECT$002509Subject$002509Computational$002bintelligence.$002509Computational$002bintelligence.$0026te$003dILS$0026ps$003d300?dt=list
2026-04-05T19:11:32Z
Concurrency, Specification and Programming Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
ent://SD_ILS/0/SD_ILS:529012
2026-04-05T19:11:32Z
2026-04-05T19:11:32Z
Author Schlingloff, Bernd-Holger. editor. Vogel, Thomas. editor. Skowron, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26651-5">https://doi.org/10.1007/978-3-031-26651-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
ent://SD_ILS/0/SD_ILS:618478
2026-04-05T19:11:32Z
2026-04-05T19:11:32Z
Author Gumzej, Roman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28905-2">https://doi.org/10.1007/978-3-319-28905-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Third Doctoral Symposium on Computational Intelligence DoSCI 2022
ent://SD_ILS/0/SD_ILS:527074
2026-04-05T19:11:32Z
2026-04-05T19:11:32Z
Author Khanna, Ashish. editor. Gupta, Deepak. editor. Kansal, Vineet. editor. Fortino, Giancarlo. editor. Hassanien, Aboul Ella. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-3148-2">https://doi.org/10.1007/978-981-19-3148-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of Reconfigurable Logic Controllers
ent://SD_ILS/0/SD_ILS:611918
2026-04-05T19:11:32Z
2026-04-05T19:11:32Z
Author Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26725-8">https://doi.org/10.1007/978-3-319-26725-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Automation, Robotics and Measuring Techniques Volume 2 Robotics
ent://SD_ILS/0/SD_ILS:529431
2026-04-05T19:11:32Z
2026-04-05T19:11:32Z
Author Szewczyk, Roman. editor. Zieliński, Cezary. editor. Kaliczyńska, Małgorzata. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15847-1">https://doi.org/10.1007/978-3-319-15847-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Research in Multimedia and Internet Systems
ent://SD_ILS/0/SD_ILS:529593
2026-04-05T19:11:32Z
2026-04-05T19:11:32Z
Author Zgrzywa, Aleksander. editor. Choroś, Kazimierz. editor. Siemiński, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10383-9">https://doi.org/10.1007/978-3-319-10383-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formalisms for Reuse and Systems Integration
ent://SD_ILS/0/SD_ILS:530630
2026-04-05T19:11:32Z
2026-04-05T19:11:32Z
Author Bouabana-Tebibel, Thouraya. editor. Rubin, Stuart H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16577-6">https://doi.org/10.1007/978-3-319-16577-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>