Search Results for Certification -- methodsSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCertification$002b--$002bmethods$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2024-11-02T11:11:46ZReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211802024-11-02T11:11:46Z2024-11-02T11:11:46ZAuthor Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521180.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43366-5">https://doi.org/10.1007/978-3-031-43366-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189382024-11-02T11:11:46Z2024-11-02T11:11:46ZAuthor D'Souza, Deepak. editor. Lal, Akash. editor. Larsen, Kim Guldstrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518938.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46081-8">https://doi.org/10.1007/978-3-662-46081-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beneficial plant-microbial interactions ecology and applicationsent://SD_ILS/0/SD_ILS:2899912024-11-02T11:11:46Z2024-11-02T11:11:46ZAuthor Rodelas Gonzl̀ez, M. Belň. Gonzalez-Lp̤ez, Jess͠.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466587182">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>ACLS review made incredibly easy!ent://SD_ILS/0/SD_ILS:3213992024-11-02T11:11:46Z2024-11-02T11:11:46ZAuthor Lippincott Williams & Wilkins. Ovid Technologies, Inc.<br/>Preferred Shelf Number ONLINE(321399.1)<br/>Electronic Access <a href="http://ovidsp.ovid.com/ovidweb.cgi?T=JS&PAGE=booktext&NEWS=N&DF=bookdb&AN=01745912/2nd_Edition&XPATH=/PG(0)">Authentication may be required:</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design and safety assessment of critical systemsent://SD_ILS/0/SD_ILS:2851072024-11-02T11:11:46Z2024-11-02T11:11:46ZAuthor Bozzano, Marco. Villafiorita, Adolfo.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439803325">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>