Clojure Programming

Specialisation in software has become a thing of the past. With the move towards graphical user interface programming, engineers must have a sound knowledge of several programming languages and for t

Volume 1: "Symbolic Computing" Volume 2: "Advanced Techniques" Volume 3: "Beyond Programming" This series is for people--adults and teenagers--who are interested in computer programming because it's f

Provides a solid integration of basic computing concepts with Pascal programming to foster the use of programming as a problem-solving tool. Topics run the gamut from algorithms and artificial intelli

Programming by Demonstration is a method that allows end users to create, customize, and extend programs by demonstrating what the program should do. Until recently most programming power has been in

Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types. By restricting this logic to Horn clauses, a concise form of logic programming that incorporates functional programming is achieved. The book begins by reviewing the fundamental Skolem-Herbrand-Gödel Theorem and resolution, which are then extrapolated to a higher-order setting; this requires introducing higher-order equational unification which builds in higher-order equational theories and uses higher-order rewriting. The logic programming language derived has the unique property of being sound and complete with respect to Henkin-Andrews general models, and consequently of treating equivalent terms as identical. First published in 1993, the book can be used for graduate courses in theorem-proving, but will be of interest

This classic guide teaches the art of programming to first time programmers. Logo for the Macintosh teaches the art of programming to first time programmers. It begins with Turtle Geometry, a series o

An essential reference and sourcebook for all software engineers using the Ada programming language.

This book presents the rationale behind the design and development of the programming language Ada. The materials incorporating corrections to its original printing by the Ada Joint Program Office (AJPO), will be essential reading for all those currently using the language as well as those considering its adoption.

This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem. Ultimately the solution to the simplest version must be given explicitly. In functional programming, recursion has received its full due since it is quite often the only repetitive construct. However, the programming language used here is Pascal and the examples have been chosen accordingly. It makes an interesting contrast with the use of recursion in functional and logic programming. The early chapters consider simple linear recursion using examples such as finding the highest common factor of a pair of numbers, and processing linked lists. Subsequent chapters move up through binary recursion, with examples which include the Towers of Hanoi problem and symbolic differentiation, to general recursion. The book contains well over 100 examples.

A manual describing STRESS, a programming system for the solution of structural engineering problems. STRESS, which is the abbreviation for STRuctural Engineering Systems Solver, is a programming sy

Unlock the Secrets of Linux System Programming and Take Your Coding Skills to the Next Level Do you use Linux, but not really understand it? Have you ever wondered how ls -l' knows everything does? Could you explain to a coworker why ls' and find' can be external commands but cd' and umask' must be built into the shell? The answers to these questions, and more, are in Linux Application Programming by Example, Second Edition. Purposely avoiding Too Much Information (TMI) this book tells you exactly what you need to know--no more and no less--about the fundamental Linux system programming APIs. Following the latest POSIX standard, author Arnold Robbins explains how the basic file, process, IPC and networking APIs work. Wherever possible, he demonstrates the use of the APIs with code drawn from real programs (V7 Unix, BSD Unix, and GNU). When not possible, the author provides small, clearly documented and annotated, standalone example programs of his own. The author focuses on both

As an introduction to Python, this book allows readers to take a slow and steady approach to understanding Python code, explaining concepts, connecting programming with real-life examples, writing Python programs, and completing case studies.While there are many books, websites, and online courses about the topic, we break down Python programming into easily digestible lessons of less than 5 minutes each, following our BiteSize approach. Each lesson begins with a clear and short introduction to the topic. This gives you a strong base to start from and gets you ready for deeper learning. Then, you will see coding demonstrations that show the ideas discussed. These examples are simple and useful, helping you really understand the concepts. You'll then practice tasks at different difficulty levels, so you can test your knowledge and increase your confidence. You'll also play with case studies to solve real-world problems. Tips are included to show how you can incorporate generative AI int

Learn How to Better Understand Distributed System Design and Solve Common Problems Enterprises today rely on a range of distributed software handling data storage, messaging, system management, and compute capability. Distributed system designs need to be implemented in some programming language, and there are common problems that these implementations need to solve. These problems have common recurring solutions. A patterns approach is very suitable to describe these implementation aspects. Patterns by nature are generic enough to cover a broad range of products from cloud services like Amazon S3 to message brokers like Apache Kafka to infrastructure frameworks like Kubernetes to databases like MongoDB or Actor frameworks like Akka. At the same time the pattern structure is specific enough to be able to show real code. The beauty of this approach is that even if the code structure is shown in one programming language (Java in this case), the structure applies to many other programming

React is today's most popular open-source JavaScript library for front-end web application development. React Programming: The Big Nerd Ranch Guide helps you master React hands-on, through examples crafted to help you quickly leverage its remarkable power. Based on Big Nerd Ranch's popular bootcamps, it illuminates key concepts with realistic code, guiding you step-by-step through building a complete production-ready React app with Create React App, functional components, hooks, lint rules with ESLint, React Testing Library, and Cypress. Step by step, Big Nerd Ranch instructor and expert developer Loren Klingman help you build on your current skills, as you learn how to: Set up React and get started with its tools and environment Work with styles and components Utilize React's router and flexboxes Use declarative views to write more manageable, reliable code Create carts, checkouts, fulfillment, and other ecommerce features Add authentication to your front-ends Test components and en

In A Tour of C++, Third Edition, Bjarne Stroustrup provides an overview of ISO C++, C++20, that aims to give experienced programmers a clear understanding of what constitutes modern C++. Featuring carefully crafted examples and practical help in getting started, this revised and updated edition concisely covers most major language features and the major standard-library components needed for effective use. Stroustrup presents C++ features in the context of the programming styles they support, such as object-oriented and generic programming. His tour is remarkably comprehensive. Coverage begins with the basics, then ranges widely through more advanced topics, emphasizing newer language features. This edition covers many features that are new in C++20 as implemented by major C++ suppliers, including modules, concepts, coroutines, and ranges. It even introduces some library components in current use that are not scheduled for inclusion in the standard until C++23. This authoritative guid

The second edition of a rigorous and example-driven introduction to topics in economic dynamics that emphasizes techniques for modeling dynamic systems.This text provides an introduction to the modern theory of economic dynamics, with emphasis on mathematical and computational techniques for modeling dynamic systems. Written to be both rigorous and engaging, the book shows how sound understanding of the underlying theory leads to effective algorithms for solving real-world problems. The material makes extensive use of programming examples to illustrate ideas, bringing to life the abstract concepts in the text. Key topics include algorithms and scientific computing, simulation, Markov models, and dynamic programming. Part I introduces fundamentals and part II covers more advanced material. This second edition has been thoroughly updated, drawing on recent research in the field.New for the second edition:“Programming-language agnostic” presentation using pseudocode.New chapter 1 covering

CUDA is now the dominant language used for programming GPUs, one of the most exciting hardware developments of recent decades. With CUDA, you can use a desktop PC for work that would have previously required a large cluster of PCs or access to a HPC facility. As a result, CUDA is increasingly important in scientific and technical computing across the whole STEM community, from medical physics and financial modelling to big data applications and beyond. This unique book on CUDA draws on the author's passion for and long experience of developing and using computers to acquire and analyse scientific data. The result is an innovative text featuring a much richer set of examples than found in any other comparable book on GPU computing. Much attention has been paid to the C++ coding style, which is compact, elegant and efficient. A code base of examples and supporting material is available online, which readers can build on for their own projects.

At the end of the twentieth century, academics and policymakers welcomed a trend toward fiscal and political decentralization as part of a potential solution for slow economic growth and poor performance by insulated, unaccountable governments. For the last two decades, researchers have been trying to answer a series of vexing questions about the political economy of multi-layered governance. Much of the best recent research on decentralization has come from close collaborations between university researchers and international aid institutions. As the volume and quality of this collaborative research have increased in recent decades, the time has come to review the lessons from this literature and apply them to debates about future programming. In this volume, the contributors place this research in the broader history of engagement between aid institutions and academics, particularly in the area of decentralized governance, and outline the challenges and opportunities to link evidence

Learn PHP, the programming language used to build sites like Facebook, Wikipedia and WordPress, then discover how these sites store information in a database (MySQL) and use the database&nbs

Learn PHP, the programming language used to build sites like Facebook, Wikipedia and WordPress, then discover how these sites store information in a database (MySQL) and use the database&nbs

Future coders will love the mix of non-fiction and activities in this educational book full of BIG ideas. Fun games and puzzles teach boys and girls about code, programming, loops, conditionals, spotting patterns and solving problems. Start a lifelong passion for STEM subjects.

A playful project-based introduction to robot building and programming using the new LEGO MINDSTORMS Robot Inventor Kit. This introduction to the LEGO MINDSTORMS Robot Inventor Kit is a great way to enter the world of robotics--no previous programming experience necessary! Seven cool projects guide you through creating interactive robotic models with the LEGO MINDSTORMS Robot Inventor kit. You'll build a series of funny and increasingly sophisticated models, like: - a remotely-controlled biped walking robot that can transform into a car- a playable 3/4-sized guitar- a fully functional pinball game bigger than the kit box itself- a cute and shy turtle pet with unpredictable behavior- and more! The book is packed with illustrations to help you better visualize each model and includes a quick reference guide to the programming blocks used and the complete bill of materials of the kit, really helpful when developing your own creations. As you build these robots, you'll learn how to use the

The Creator of OpenSCAD, Marius Kintel, teaches anyone how to code and print fun games, puzzles, and more.OpenSCAD is free, open-source 3D modeling software; its easy-to-use programming interface is g

Originally published in 1992, this title reviews seven major subareas in artificial intelligence at that time: knowledge acquisition; logic programming and representation; machine learning; natural la

A new assembly language programming book from a well-loved master. Art of 64-bit Assembly Language capitalizes on the long-lived success of Hyde's seminal The Art of Assembly Language. Randall Hyde's

Based on the author's forty years of teaching experience, this unique textbook covers both basic and advanced concepts of optimization theory and methods for process systems engineers. Topics covered include continuous, discrete and logic optimization (linear, nonlinear, mixed-integer and generalized disjunctive programming), optimization under uncertainty (stochastic programming and flexibility analysis), and decomposition techniques (Lagrangean and Benders decomposition). Assuming only a basic background in calculus and linear algebra, it enables easy understanding of mathematical reasoning, and numerous examples throughout illustrate key concepts and algorithms. End-of-chapter exercises involving theoretical derivations and small numerical problems, as well as in modeling systems like GAMS, enhance understanding and help put knowledge into practice. Accompanied by two appendices containing web links to modeling systems and models related to applications in PSE, this is an essential

Learn Quantum Computing with Python and Q# introduces quantum computing from a practical perspective. Summary Learn Quantum Computing with Python and Q# demystifies quantum computing. Using Python and the new quantum programming language Q#, you'll build your own quantum simulator and apply quantum programming techniques to real-world examples including cryptography and chemical analysis. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications. About the technology Quantum computers present a radical leap in speed and computing power. Improved scientific simulations and new frontiers in cryptography that are impossible with classical computing may soon be in reach. Microsoft's Quantum Development Kit and the Q# language give you the tools to experiment with quantum computing without knowing advanced math or theoretical physics. About the book Learn Quantum Computing with Python and Q# introduces quantum computing from a practical pers

Data Structures using Python provides an introduction to design, analysis, and implementation of data structures using the powerful programming language, Python. This book is designed for a first cour

Strategies for building large systems that can be easily adapted for new situations with only minor programming modifications.Time pressures encourage programmers to write code that works well for a n

Want to kill it at your job interview in the tech industry? Want to win that coding competition? Learn all the algorithmic techniques and programming skills you need from two experienced coaches, problem setters, and jurors for coding competitions. The authors highlight the versatility of each algorithm by considering a variety of problems and show how to implement algorithms in simple and efficient code. Readers can expect to master 128 algorithms in Python and discover the right way to tackle a problem and quickly implement a solution of low complexity. Classic problems like Dijkstra's shortest path algorithm and Knuth-Morris-Pratt's string matching algorithm are featured alongside lesser known data structures like Fenwick trees and Knuth's dancing links. The book provides a framework to tackle algorithmic problem solving, including: Definition, Complexity, Applications, Algorithm, Key Information, Implementation, Variants, In Practice, and Problems. Python code included in the book

A project-based approach to learning Python programming for beginners. Intriguing projects teach you how to tackle challenging problems with code.You've mastered the basics. Now you're ready to explor

Dive Into Algorithms is a broad introduction to algorithms using the Python Programming Language.Dive Into Algorithms is a wide-ranging, Pythonic tour of many of the world's most interesting algorithm

This book illustrates how the blockchain is being sustained through a host of platforms, programming languages, and enabling tools. It details how blockchain is being blended with cloud computin

This book can provide the basics for understanding how swarm intelligence algorithms work, and aid readers in programming these algorithms to solve various computational problems. It is useful for stu

This book takes the reader through the basics of using the R statistical programming environment for data analysis using a series of case studies based around tasks that answer real research questions

This book takes the reader through the basics of using the R statistical programming environment for data analysis using a series of case studies based around tasks that answer real research questions

The theoretical aspects of the book are based on an essential introduction to the building blocks of the two topics under consideration: mathematical programming and stochastic processes. It also 

The theoretical aspects of the book are based on an essential introduction to the building blocks of the two topics under consideration: mathematical programming and stochastic processes. It also 

Yona has been stuck behind a desk for years working as a programming coordinator for Jungle, a travel company specialising in package holidays to destinations ravaged by disaster. When a senior collea

A fully up-to-date companion to the successful A Beginner's Guide to Coding.Ever wondered how to make a computer follow instructions? Then it is time to get coding! Using the free programming language