書名: Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python
作者: Therese Hardin, Mathieu Jaume, Francois Pessaux, Veronique Viguie Donzeau-Gouge
ISBN: 9781786305305
出版社: John Wiley
出版日期: 2021/01
書籍開數、尺寸: 23.7*16.8
重量: 0.63 Kg
頁數: 336
#資訊
定價: 4784
售價: 4306
庫存: 庫存: 1
LINE US! 詢問這本書 團購優惠、書籍資訊 等

付款方式: 超商取貨付款 line pay
信用卡 全支付
線上轉帳 Apple pay
物流方式: 超商取貨
宅配
門市自取

詳細資訊

【簡介】 This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, while also providing an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 1 is dedicated to functional and imperative features. Included is the formal study of the semantics of typing and execution; their acquisition is facilitated by implementation into OCaml and Python, as well as by worked examples. Data representation is considered in detail: endianness, pointers, memory management, union types and pattern-matching, etc., with examples in OCaml, C and C++. The second volume introduces a specific model for studying modular and object features and uses this model to present Ada and OCaml modules, and subsequently Java, C++, OCaml and Python classes and objects. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification. 【目錄】

為您推薦

BUILDING SCIENCE - CONCEPTS AND APPLICATION

BUILDING SCIENCE - CONCEPTS AND APPLICATION

類似書籍推薦給您

原價: 1500 售價: 0 現省: 1500元
立即查看
Policy Analysis: Concepts and Practice 7/e 2025 (7版)

Policy Analysis: Concepts and Practice 7/e 2025 (7版)

類似書籍推薦給您

原價: 1500 售價: 1500 現省: 0元
立即查看
Organ Crosstalk in Acute Kidney Injury: Basic Concepts and Clinical Practices (1版)

Organ Crosstalk in Acute Kidney Injury: Basic Concepts and Clinical Practices (1版)

類似書籍推薦給您

This is an original work dedicated to an important and current topic in nephrology: organ crosstalk in acute renal injury. Acute kidney injury is a prevalent and serious syndrome. The related mortality to this syndrome has not been significantly reduced in the last decades despite the advances in renal replacement therapy technology. For this reason, a new approach to obtain an effective treatment is urgently needed. The organ crosstalk perspective could be useful in order to achieve this objective since it implies a very early acute kidney injury diagnose and treatment. This book includes a comprehensive review of the organ crosstalk perspective in acute kidney injury. Organized in two parts, the chapters in the first part present general subjects as an introduction to analysing the crosstalk concept. These chapters give an overview of the concepts of biosemiotics, hormones, neurotransmitters, cytokines, signalling and adhesion molecules, organ intercommunication, and epigenetics. The second part gathers chapters on the different kidney crosstalk, such as brain, lung, heart, liver, gut, and placenta. Finally, there is a chapter dedicated to the influence of renal replacement treatment on kidney crosstalk. Since acute kidney injury is a topic of interest to many health professionals, this work will be a useful resource to general practitioners, internal medicine physicians, geriatricians, nephrologists, critical care therapists, immunologists, and also biologists and bioengineers.

原價: 4760 售價: 4284 現省: 476元
立即查看
POWER SYSTEMS - FUNDAMENTAL CONCEPTS AND THE TRANSITION TO SUSTAINABILITY (1版)

POWER SYSTEMS - FUNDAMENTAL CONCEPTS AND THE TRANSITION TO SUSTAINABILITY (1版)

類似書籍推薦給您

原價: 1500 售價: 1500 現省: 0元
立即查看
Data Mining: Concepts and Techniques (4版)

Data Mining: Concepts and Techniques (4版)

類似書籍推薦給您

【簡介】 Description Data Mining: Concepts and Techniques, Fourth Edition introduces concepts, principles, and methods for mining patterns, knowledge, and models from various kinds of data for diverse applications. Specifically, it delves into the processes for uncovering patterns and knowledge from massive collections of data, known as knowledge discovery from data, or KDD. It focuses on the feasibility, usefulness, effectiveness, and scalability of data mining techniques for large data sets. After an introduction to the concept of data mining, the authors explain the methods for preprocessing, characterizing, and warehousing data. They then partition the data mining methods into several major tasks, introducing concepts and methods for mining frequent patterns, associations, and correlations for large data sets; data classificcation and model construction; cluster analysis; and outlier detection. Concepts and methods for deep learning are systematically introduced as one chapter. Finally, the book covers the trends, applications, and research frontiers in data mining. 【目錄】 Table of contents Chapter 1: Introduction Chapter 2: Data, measurements, and data preprocessing Chapter 3: Data warehousing and online analytical processing Chapter 4: Pattern mining: basic concepts and methods Chapter 5: Pattern mining: advanced methods Chapter 6: Classification: basic concepts and methods Chapter 7: Classification: advanced methods Chapter 8: Cluster analysis: basic concepts and methods Chapter 9: Cluster analysis: advanced methods Chapter 10: Deep learning Chapter 11: Outlier detection Chapter 12: Data mining trends and research frontiers Appendix A: Mathematical background Bibliography Bibliography Bibliography Index

原價: 3050 售價: 2867 現省: 183元
立即查看