Arama Sonuçları Compilers (Computer programs) - Daraltılmış: Mathematical statistics.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCompilers$002b$002528Computer$002bprograms$002529$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bstatistics.$002509Mathematical$002bstatistics.$0026ps$003d300?dt=list
2026-03-16T14:12:45Z
Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics
ent://SD_ILS/0/SD_ILS:611240
2026-03-16T14:12:45Z
2026-03-16T14:12:45Z
Yazar Draheim, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-16T14:12:45Z
2026-03-16T14:12:45Z
Yazar Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>