Search Results for SpringerLink (Online service) - Narrowed by: Computer hardware. - Robotics.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Konu$002509Computer$002bhardware.$002509Computer$002bhardware.$0026qf$003dSUBJECT$002509Konu$002509Robotics.$002509Robotics.$0026ps$003d300?2024-10-01T02:43:20ZFormal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015ent://SD_ILS/0/SD_ILS:243632024-10-01T02:43:20Z2024-10-01T02:43:20ZYazar Drechsler, Rolf. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-658-09994-7">http://dx.doi.org/10.1007/978-3-658-09994-7</a><br/>Format: Electronic Resources<br/>Robotics 12th Latin American Robotics Symposium and Third Brazilian Symposium on Robotics, LARS 2015/SBR 2015, Uberlândia, Brazil, October 28 - November 1, 2015, Revised Selected Papersent://SD_ILS/0/SD_ILS:184192024-10-01T02:43:20Z2024-10-01T02:43:20ZYazar Santos Osório, Fernando. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-47247-8">http://dx.doi.org/10.1007/978-3-319-47247-8</a><br/>Format: Electronic Resources<br/>