Search Results for -- ANSİKLOPEDİLER. - Narrowed by: Astronautics. - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dSUBJECT$002509Subject$002509Astronautics.$002509Astronautics.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-31T01:36:07Z
Formal Methods for Safety and Security Case Studies for Aerospace Applications
ent://SD_ILS/0/SD_ILS:402229
2024-08-31T01:36:07Z
2024-08-31T01:36:07Z
Author Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4121-1">https://doi.org/10.1007/978-981-10-4121-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low Earth Orbit Satellite Design
ent://SD_ILS/0/SD_ILS:401885
2024-08-31T01:36:07Z
2024-08-31T01:36:07Z
Author Sebestyen, George. author. Fujikawa, Steve. author. Galassi, Nicholas. author. Chuchra, Alex. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68315-7">https://doi.org/10.1007/978-3-319-68315-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Engineering of Embedded Systems The SPES 2020 Methodology
ent://SD_ILS/0/SD_ILS:197532
2024-08-31T01:36:07Z
2024-08-31T01:36:07Z
Author Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34614-9">http://dx.doi.org/10.1007/978-3-642-34614-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>