This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date.

This book introduces the reader to central ideas of computation by establishing a series of mental models for computation. It has had a dramatic impact on computer science curricula over the past decades. Examples are implemented using the JavaScript.

This introduction to programming places computer science at the core of a liberal arts education. Unlike other introductory books, it focuses on the program design process, presenting program design guidelines.

The book shows that algorithms implemented in a real programming language, such as C++, can operate in the most general mathematical setting. For example, the fast exponentiation algorithm is defined to work with any associative operation.

This book describes techniques they have found effective--over their combined 100-plus years of programming experience--that will help programmers avoid programming themselves into corners.

This book introduces the mathematics behind computer programming. It intents to tell: programming is isomorphic to mathematics. Just like in art and music, there are interesting stories and mathematicians behind the great minds.

This book has had a dramatic impact on computer science curricula over the past decade. This long-awaited revision contains changes throughout the text. Examples are implemented using the Scheme dialect of Lisp.

This book introduces programming to readers involved with the arts and humanities; there are no prerequisites, and no previous knowledge of programming is assumed. It reveals programming can also be a tool for sketching, brainstorming, and inquiry.

The book explains fundamental concepts, provides an introduction to Persistent Memory programming APIs for C, C++, JavaScript, and other languages, discusses RMDA with persistent memory; reviews security features; and presents many examples.

This document explains the structure of memory subsystems in use on modern commodity hardware, illustrating why CPU caches were developed, how they work, and what programs should do to achieve optimal performance by utilizing them.

This is an introduction to programming with pointers and memory in C, C++ and other languages. Explains how pointers and memory work and how to use them -- from the basic concepts through all the major programming techniques.

This book book will introduce the reader to the theory and practice of Answer Set Programming (ASP). It will include numerous examples of ASP programs and present the mathematical theory that ASP is based on, and exercises with complete solutions.

The book explores the technical as well as cultural imaginaries of programming from its insides, introduces and demonstrates the reflexive practice of aesthetic programming, engaging with learning to program as a way to understand and question.

The purpose of this book is to give you a thorough introduction to competitive programming. It is assumed that you already know the basics of programming, but no previous background in competitive programming is needed.

The algorithmic approach to solving problems in computer technology is an essential tool. This book presents a readable, entertaining, and energetic book that will motivate and challenge students to open their minds to the algorithmic nature of problem solving.

This book is an introduction to computer programming. It covers the essential information of a Computer Science course. It is recommended for beginners and intermediate programmers.

This book shows you how computer programming works without all the technical details or hard programming language. It explores the common parts of every computer programming language and how to write for multiple platforms.

The book introduces the reader to computer programming, i.e. algorithms and data structures. It covers many new programming concepts that have emerged in recent years including object-oriented programming and design patterns.

This innovative book presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine.

It teaches programming according to the Architecture First methodology which reacts at the companies' complaints that the school graduates are usually good in coding, but bad in software architecture.

Starting at an elementary level, this book teaches about fundamental structures of discrete mathematics and many simple but powerful programming techniques using those structures.

This book is aimed at teaching Python 3 to students and teenagers who are completely new to programming, assumes no previous knowledge of programming on the part of the students, and contains numerous exercises to train their programming skills.

You'll learn to write code that's easy to read and understand. You'll have more fun and your coworkers will love you. It focuses on the nuts and bolts of programming, with simple and practical techniques you can use every time you sit down to write code.

This book is a hands-on introduction to coding that teaches you how to program bots to do cool things in the game you love - Minecraft! This book takes the robotic "turtle" method, and extends it to the 3D, interactive world of Minecraft.

This book is a hands-on introduction to the Python programming language, written for people who have no experience with programming whatsoever. You don't need to worry. Learning how to program a computer is far from impossible.

This book provides a quick introduction to the PureBasic programming language. It has been written, with the complete novice in mind. It is to guide novices through their first steps and to give the seasoned programmer a quick overview of the language.

This series is for people who are interested in computer programming because it's fun. It uses the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence.

This book provides you with the chance to study how 26 experienced programmers think when they are building something new. The programs you will read about in this book were all written from scratch to solve difficult problems, in 500 lines of code or less.

This book is designed to be used as the primary textbook in a college-level first course in computing. It takes a fairly traditional approach, emphasizing problem solving, design, and programming as the core skills of computer science.

This is a textbook for beginning computer programming. It takes a graphics-early approach: you'll start manipulating and combining graphic images from Chapter 1 and writing event-driven GUI programs from Chapter 6, even before seeing arithmetic.

It's basically two books in one, integrated. One book is an introduction to programming, teaching you basic concepts of organizing data and the programs that operate over them. The other book is an introduction to programming languages.

This book shows students how object-oriented programming languages such as C++, C#, and Java support this effort with syntactic constructs. They also refine the program design discipline.

This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq code changes.

This book focuses on the type theory developed by Per Martin-Lof. It contains a thorough introduction to the Martin-Lof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.

There are two purposes to this book: to teach you to program in the C programming language, and to teach you how to choose, implement, and use data structures and standard programming techniques.

Scratch, the colorful drag-and-drop programming language, is used by millions of first-time learners, and in this book, you'll learn to program by making cool games. Get ready to destroy asteroids, shoot hoops, and slice and dice fruit!

This book is a collection of essays about a glamorous aspect of software: programming pearls whose origins lie beyond solid engineering, in the realm of insight and creativity.

This first fascicle updates The Art of Computer Programming, Vol 1, 3rd Edition: Fundamental Algorithms, and ultimately will become part of the 4th edition of that book.

This is by far the longest chapter in The Art of Computer Programming, a chapter on combinatorial algorithms that will itself fill four full-sized volumes.

This book is intended for school students and others learning to program in Visual Basic. It assumes no prior knowledge of programming, electronics, Visual Basic or the Visual Studio environment. Concepts are introduced and explained throughout the book.

This book tries a different approach for teaching introductory computer programming than most other books by choosing Smalltalk as the programming language. It aims computer users who have not done any computer programming before.

The book is a combination of a practical, hands-on approach to programming with the introduction of sound theoretical support focused on helping students learn the construction of high quality software. All the example code is written in Eiffel.

This book focuses on a range of programming strategies and techniques behind computer simulations of natural systems, from elementary concepts in mathematics and physics to more advanced algorithms that enable sophisticated visual results.

This book is a comprehensive computer programming tutorial that teaches programming, logical thinking, data structures and algorithms, problem solving and high quality code with lots of examples in C#.

By emphasizing modern programming concepts such as interfaces, abstraction, and encapsulation, the book provides an ideal foundation for further study of programming.

This book is a short, concise introduction to computer programming using the language Go by Google.

This introduction to computer programming was created for the BASIC-256 open source dialect of BASIC. With this book, anybody (from the young to old) can learn to create useful programs and have a lot if fun.

A gentle, efficient and comprehensive introduction to modern algorithmic design and computer programming with two programming languages: Karel the Robot and Python.

This book is designed to be used as the primary textbook in a college-level first course in computing. It takes a fairly traditional approach, emphasizing problem solving, design, and programming as the core skills of computer science.

This book does not attempt to cover all the facets of the Python programming language. The code in this book is based on Python 3.

This book has been designed as a complete self-contained text for learning programming, using the Z80. It aims at providing a true level of competence to the person who wishes to program using this microprocessor.

This book is a software engineer's notes on problem solving. Ideally suited as practice material for coding interviews. This started out as a collection of interview questions and solutions that suthor accumulated over the years.

Eloquent JavaScript is a guide to JavaScript that focuses on good programming techniques rather than offering a mish-mash of cut-and-paste effects.

This book is an introduction to programming and also an introduction to Java directed towards people who do not have any background in programming, although it might also be useful for experienced programmers who want to learn something about Java.

This book is an introduction to computer programming using C++ as the language for writing programmes.

This book presents a balanced and flexible approach to the incorporation of object-oriented principles in introductory courses using Python.

This book tries a different approach for teaching introductory computer programming than most other books by choosing Smalltalk as the programming language.

This tutorial is an elementary introduction to teach non-programmers how to customize their work environment; it can also be used as an introduction to programming basics. It includes numerous exercises and sample programs.

This book is an introduction to Java programming for beginners. It is tailored for students preparing for the Computer Science Advanced Placement (AP) Exam, but it is for anyone who wants to learn Java.

The goal of this book is to teach you to think like a computer scientist, using C++ as the programming language.

Small Basic is a programming language that is designed to make programming extremely easy, approachable and fun for beginners.

This book to provides a complete and coherent review of the theory of genetic programming (GP). It is written by three of the most active scientists in GP.

This book is for all readers interested in introductory programming courses using the Java programming language.

This book is based on a popular on-line tutorial that has been expanded and enhanced for this book. It takes you step-by-step through all the essential programming topics.

This book uses Linux assembly language to teach new programmers the most important concepts in programming.

This book is designed for a first course1 in computer science that uses C++ as the language by which programming is studied. It provides strong grounding in the analysis, construction, and design of programs and programming.

This book was written for both students interested in learning the C++ programming language from scratch, and for advanced C++ programmers wishing to enhance their knowledge of C++.

This book explores the role of Martin-Lof's Constructive Type Theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice.