Search Results for Computer science. - Narrowed by: Aerospace Technology and Astronautics. - Simulation and Modeling.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Aerospace$002bTechnology$002band$002bAstronautics.$002509Aerospace$002bTechnology$002band$002bAstronautics.$0026qf$003dSUBJECT$002509Konu$002509Simulation$002band$002bModeling.$002509Simulation$002band$002bModeling.$0026ic$003dtrue$0026ps$003d300?2024-08-06T09:59:16ZFormal 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-08-06T09:59:16Z2024-08-06T09:59:16ZYazar 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/>Computational Methods and Models for Transport New Challenges for the Greening of Transport Systemsent://SD_ILS/0/SD_ILS:2253992024-08-06T09:59:16Z2024-08-06T09:59:16ZYazar Diez, Pedro. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54490-8">https://doi.org/10.1007/978-3-319-54490-8</a><br/>Format: Electronic Resources<br/>Numerical Simulation of the Aerodynamics of High-Lift Configurationsent://SD_ILS/0/SD_ILS:2217882024-08-06T09:59:16Z2024-08-06T09:59:16ZYazar López Mejia, Omar Darío. editor. (orcid)0000-0001-6795-9396<br/><a href="https://doi.org/10.1007/978-3-319-62136-4">https://doi.org/10.1007/978-3-319-62136-4</a><br/>Format: Electronic Resources<br/>Computer Simulations of Space Societiesent://SD_ILS/0/SD_ILS:2216102024-08-06T09:59:16Z2024-08-06T09:59:16ZYazar Bainbridge, William Sims. author.<br/><a href="https://doi.org/10.1007/978-3-319-90560-0">https://doi.org/10.1007/978-3-319-90560-0</a><br/>Format: Electronic Resources<br/>