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
Dynamic SQL : applications, performance, and security in Microsoft SQL Server / Edward Pollack
Berkeley : Apress, 2019
508 pages. : illustrations ; 25 cm.
Ký hiệu phân loại (DDC): 005.756
Take a deep dive into the many uses of dynamic SQL in Microsoft SQL server. This edition has been updated to use the newest features in SQL Server 2016 and SQL Server 2017 as well as incorporating the changing landscape of analytics and database administration. Code examples have been updated with new system objects and functions to improve efficiency and maintainability. Executing dynamic SQL is key to large-scale
 Số bản sách: (0) Tài liệu số: (1)
5
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)