Dòng Nội dung
1
A practical introduction to denotational semantics / loyd Allison
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1986.
xii, 132 pages. ; 22 cm.
Ký hiệu phân loại (DDC): 005.13
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions.
 Số bản sách: (1) Tài liệu số: (0)
2
Advanced R / Hadley Wickham
Boca Raton, FL : CRC Press, 2019
587 pages. : illustrations ; 24 cm.
Ký hiệu phân loại (DDC): 005.13
An Essential Reference for Intermediate and Advanced R Programmers Advanced R presents useful tools and techniques for attacking many types of R programming problems, helping you avoid mistakes and dead ends. With more than ten years of experience programming in R, the author illustrates the elegance, beauty, and flexibility at the heart of R. The book develops the necessary skills to produce quality code that can be used in a variety of circumstances. You will learn: The fundamentals of R, including standard data types and functions Functional programming as a useful framework for solving wide classes of problems The positives and negatives of metaprogramming How to write fast, memory-efficient code This book not only helps current R users become R programmers but also shows existing programmers what's special about R. Intermediate R programmers can dive deeper into R and learn new strategies for solving diverse problems while programmers from other languages can learn the details of R and understand why R works the way it does.
Số bản sách: (1) Tài liệu số: (0)
3
Beginning C++20 : from novice to professional / Ivor Horton; Peter van Weert
Berkeley, California : Apress, 2020
xxviii, 825 pages. : illustrations ; 26 cm.
Ký hiệu phân loại (DDC): 005.133
Begin your programming journey with C++, starting with the basics and progressing through step-by-step examples that will help you become a proficient C++ programmer. This book includes new features from the C++20 standard such as modules, concepts, ranges, and the spaceship operator. All you need are "Beginning C++20" and any recent C++ compiler and you'll soon be writing real C++ programs. There is no assumption of prior programming knowledge. All language concepts that are explained in the book are illustrated with working program examples, and all chapters include exercises for you to test and practice your knowledge. Free source code downloads are provided for all examples from the text and solutions to the exercises. This latest edition has been fully updated to the latest version of the language, C++20, and to all conventions and best practices of modern C++. "Beginning C++20" also introduces the elements of the C++ standard library that provide essential support for the C++20 language.
 Số bản sách: (1) Tài liệu số: (0)
4
Foundations of programming languages / Kent D Lee
Switzerland : Springer, 2017
382 pages. : illustrations
Ký hiệu phân loại (DDC): 005.13
This clearly written textbook provides an accessible introduction to the three programming paradigms of object-oriented/imperative, functional, and logic programming. Highly interactive in style, the text encourages learning through practice, offering test exercises for each topic covered. Review questions and programming projects are also presented, to help reinforce the concepts outside of the classroom. This updated and revised new edition features new material on the Java implementation of the JCoCo virtual machine. Topics and features: Includes review questions and solved practice exercises, with supplementary code and support files available from an associated website Presents an historical perspective on the models of computation used in implementing the programming languages used today Provides the foundations for understanding how the syntax of a language is formally defined by a grammar Illustrates how programs execute at the level of assembly language, through the implementation of a stack-based Python virtual machine called JCoCo and a Python disassembler Introduces object-oriented languages through examples in Java, functional programming with Standard ML, and programming using the logic language Prolog Describes a case study involving the development of a compiler for the high level functional language Small, a robust subset of Standard ML Undergraduate students of computer science will find this engaging textbook to be an invaluable guide to the skills and tools needed to become a better programmer. While the text assumes some background in an imperative language, and prior coverage of the basics of data structures, the hands-on approach and easy to follow writing style will enable the reader to quickly grasp the essentials of programming languages, frameworks, and architectures. Dr. Kent D. Lee is Professor of Computer Science at Luther College, Decorah, Iowa, USA. He is the author of the successful Springer textbooks Python Programming Fundamentals and Data Structures and Algorithms with Python
 Số bản sách: (0) Tài liệu số: (1)
5
Guide to scientific computing in C++ / Joe Pitt-Francis; Jonathan Whiteley
Cham, Switzerland : Springer, 2017
293 pages. : illustrations
Ký hiệu phân loại (DDC): 005.133
This simple-to-follow textbook/reference provides an invaluable guide to object-oriented C++ programming for scientific computing. Through a series of clear and concise discussions, the key features most useful to the novice programmer are explored, enabling the reader to quickly master the basics and build the confidence to investigate less well-used features when needed. The text presents a hands-on approach that emphasizes the benefits of learning by example, stressing the importance of a clear programming style to minimise the introduction of errors into the code, and offering an extensive selection of practice exercises. This updated and enhanced new edition includes additional material on software testing, and on some new features introduced in modern C++ standards such as C++11. Topics and features: Presents a practical treatment of the C++ programming language for applications in scientific computing Reviews the essentials of procedural programming in C++, covering variables, flow of control, input and output, pointers, functions and reference variables Introduces the concept of classes, showcasing the main features of object-orientation, and discusses such advanced C++ features as templates and exceptions Examines the development of a collection of classes for linear algebra calculations, and presents an introduction to parallel computing using MPI Describes how to construct an object-oriented library for solving second order differential equations Contains appendices reviewing linear algebra and useful programming constructs, together with solutions to selected exercises Provides exercises and programming tips at the end of every chapter, and supporting code at an associated website This accessible textbook is a "must-read" for programmers of all levels of expertise. Basic familiarity with concepts such as operations between vectors and matrices, and the Newton-Raphson method for finding the roots of non-linear equations, would be an advantage, but extensive knowledge of the underlying mathematics is not assumed. Dr. Joe Pitt-Francis is a Departmental Lecturer at the Department of Computer Science and teaches Computer Science at Exeter College, the University of Oxford, UK. Prof. Jonathan Whiteley is Associate Professor at the Department of Computer Science and Governing Body Fellow of Linacre College, the University of Oxford, UK.
 Số bản sách: (0) Tài liệu số: (1)