Atjaunināt sīkdatņu piekrišanu

E-grāmata: Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Edited by , Edited by
Citas grāmatas par šo tēmu:
  • Formāts - EPUB+DRM
  • Cena: 41,62 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected PapersPalielināt
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020.





The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs.





Chapter Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.





Chapter High-level Modelling for Typed Functional Programming is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Nested parallelism, semantics, task-oriented programming.-  Dataset
Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties.-
A Generic Back-End for Exploratory Programming.- Dynamic Editors for
Well-Typed Expressions.- Modelling, translating, proving functional
programs.- High-Level Modelling for Typed Functional Programming.-
Translating Lambda Calculus into C++ Templates.- ProofViz: An Interactive
Visual Proof Explorer.
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830308397896e.html
Keywords: