Search Results for Abstraction. - Narrowed by: Engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAbstraction.$0026qf$003dSUBJECT$002509Subject$002509Engineering.$002509Engineering.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-01-18T18:30:11Z
Abstraction Refinement for Large Scale Model Checking
ent://SD_ILS/0/SD_ILS:166047
2026-01-18T18:30:11Z
2026-01-18T18:30:11Z
Author Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34600-7">http://dx.doi.org/10.1007/0-387-34600-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Abstraction in Dynamical Systems: Application to Mobile Robot Control
ent://SD_ILS/0/SD_ILS:186051
2026-01-18T18:30:11Z
2026-01-18T18:30:11Z
Author Mellodge, Patricia. author. Kachroo, Pushkin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70799-8">http://dx.doi.org/10.1007/978-3-540-70799-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments
ent://SD_ILS/0/SD_ILS:186621
2026-01-18T18:30:11Z
2026-01-18T18:30:11Z
Author Galindo, Cipriano. author. Fernández-Madrigal, Juan-Antonio. author. Gonzáez, Javier. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72690-6">http://dx.doi.org/10.1007/978-3-540-72690-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networks-on-Chips : Theory and Practice
ent://SD_ILS/0/SD_ILS:544435
2026-01-18T18:30:11Z
2026-01-18T18:30:11Z
Author El-Kharashi, Mohamed Watheq, editor. Elmiligi, Haytham, editor. Gebali, Fayez, editor. Taylor and Francis.<br/>Preferred Shelf Number TK5105.546<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9780429294853">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>