Sách điện tử > Khoa học > Khoa học máy tính > Phần cứng > John Hughes & Viktoria Zsok: Trends in Functional Programming (ePUB)

John Hughes & Viktoria Zsok
Trends in Functional Programming
22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

Ủng hộ

Adobe DRM

Bìa của John Hughes & Viktoria Zsok: Trends in Functional Programming (ePUB)

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.

€43.74

Ngôn ngữ Anh ● định dạng EPUB ● ISBN 9783030839789 ● Biên tập viên John Hughes & Viktoria Zsok ● Nhà xuất bản Springer International Publishing ● Được phát hành 2021 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 8085985 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

John Hughes Viktoria Zsok

3.563 Ebooks trong thể loại này

Bìa của Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Natarajan Meghanathan: Advanced Methods for Complex Network Analysis

Bìa của Salma Abdalla (Maquarie university, Australia) Hamad & Quan Z. Sheng: Security Framework for The Internet of Things Applications

Salma Abdalla (Maquarie university, Australia) Hamad & Quan Z. Sheng: Security Framework for The Internet of Things Applications

The text highlights a comprehensive survey that focuses on all security aspects and challenges facing the Internet of Things systems, including outsourcing techniques for partial computations on edge …

Bìa của ew (Robb Editorial, California, USA) Robb: Server Disk Management in a Windows Environment

ew (Robb Editorial, California, USA) Robb: Server Disk Management in a Windows Environment

Hard drives and disk management receive scant attention from the industry press, yet recent surveys have identified disk failure as the #1 source of server downtime. Combine this fact with the skyroc …

Bìa của Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

Keke Gai & Jing Yu: Introduction to Cybersecurity in the Internet of Things

This book addresses the security challenges facing the rapidly growing Internet of Things (Io T) industry, including the potential threats and risks arising from its complex architecture. The authors …

Bìa của Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Yassine Maleh & Saad Motahhir: Security Engineering for Embedded and Cyber-Physical Systems

Digital transformation, also known as Industry 4.0, Smart Industry, and Smart Manufacturing, is at the top of leaders’ agendas. Such a transformation stimulates innovation in new products and service …

Bìa của Jeffrey C. Carver & Neil P. Chue Hong: Software Engineering for Science

Jeffrey C. Carver & Neil P. Chue Hong: Software Engineering for Science

Software Engineering for Science provides an in-depth collection of peer-reviewed chapters that describe experiences with applying software engineering practices to the development of scientific soft …

Bìa của M.H Beilby: Scientific Programmer''s Toolkit

M.H Beilby: Scientific Programmer”s Toolkit

The Scientific Programmer”s Toolkit: Turbo Pascal Edition presents a complete software environment for anyone writing programs in mathematical, engineering, or science areas. This toolkit package is …

Bìa của Kornel Terplan: Intranet Performance Management

Kornel Terplan: Intranet Performance Management

To avoid serious bottlenecks, components of the Internet and of intranets-such as servers, browsers, and the access networks-must be properly designed, implemented, managed, and monitored. Beginning …

Bìa của F.A.P (Heriot-Watt University, Edinburgh, UK) Tooley & B.S (Heriot-Watt University, Edinburgh, UK) Wherrett: Optical Computing

F.A.P (Heriot-Watt University, Edinburgh, UK) Tooley & B.S (Heriot-Watt University, Edinburgh, UK) Wherrett: Optical Computing

Written by ten leading experts in the field, Optical Computing cover topics such as optical bistability, optical interconnects and circuits, photorefractive devices, spatial light modulators, …

Bìa của Agus Kurniawan: Internet of Things Projects with ESP32

Agus Kurniawan: Internet of Things Projects with ESP32

Create and program Internet of Things projects using the Espressif ESP32. Key Features

Getting to know the all new powerful EPS32 boards and build interesting Internet of Things projects …

Trang tiếp theo >>>