Search Results for International organization - Narrowed by: Compilers (Computer programs).SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInternational$002borganization$0026qf$003dSUBJECT$002509Subject$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ps$003d300?dt=list2026-03-26T08:47:34ZStatic Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6163182026-03-26T08:47:34Z2026-03-26T08:47:34ZAuthor Ranzato, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66706-5">https://doi.org/10.1007/978-3-319-66706-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lecturesent://SD_ILS/0/SD_ILS:6117972026-03-26T08:47:34Z2026-03-26T08:47:34ZAuthor Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34096-8">https://doi.org/10.1007/978-3-319-34096-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>HL7 for BizTalkent://SD_ILS/0/SD_ILS:6185662026-03-26T08:47:34Z2026-03-26T08:47:34ZAuthor Edidin, Howard. author. Bhardwaj, Vikas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6763-8">https://doi.org/10.1007/978-1-4302-6763-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>