Search Results for Compilers (Computer programs). - Narrowed by: Mathematical statistics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCompilers$002b$002528Computer$002bprograms$002529.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bstatistics.$002509Mathematical$002bstatistics.$0026te$003dILS$0026ps$003d300?dt=list
2026-03-14T04:16:22Z
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ent://SD_ILS/0/SD_ILS:611240
2026-03-14T04:16:22Z
2026-03-14T04:16:22Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55198-7">https://doi.org/10.1007/978-3-642-55198-7</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 Lectures
ent://SD_ILS/0/SD_ILS:611797
2026-03-14T04:16:22Z
2026-03-14T04:16:22Z
Author 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/>