Clojure Programming

A guide to the programming language for intermediate to advanced level programmers covers forms, disk and files, advanced Windows API usage, and database and Internet programming.

The Definitive Java Programming GuideIn Java: The Complete Reference, Eighth Edition, bestselling programming author Herb Schildt shows you everything you need to develop, compile, debug, and run Java

Collects programming puzzles requiring Visual Basic skills to solve problems and customize the Windows API

Explores some of the more advanced tools in computer programming such as structured problem solving, object- oriented programming, data abstraction, and the comparative analysis of algorithms. The aut

Sets out a new method for generating tight linear or convex programming relaxations for discrete and continuous nonconvex programming problems, featuring a model that affords a useful representation a

Object-oriented programming increases software reusability, extensibility, interoperability, and reliability. Software testing is necessary to realize these benefits by uncovering as many programming

This 1998 book conveys the essence of object-oriented programming and software building through the Unified Modeling Language (UML). Composed of updated versions of James Odell's articles from The Journal of Object-Oriented Programming, ROAD, and Object Magazine, it provides concise but in-depth pieces on structural issues, dynamic issues, business rules, object complexity, object aggregation, design templates, and the process of objects.

Java is a new object-oriented programming language that was developed by SunMicrosystems for programming the Internet and intelligent appliances. In a very short time it hasbecome one of the most wide

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.

The leading author of programming tutorials for beginners introduces you to Visual C++ 2010 Ivor Horton is the preeminent author of introductory programming language tutorials; previous editions of h

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

《Java 程序員修煉之道（第2 版）》是為有志成為卓越 Java 開發者的人編寫的實用指南。相比於第 1 版，第 2 版擴展了內容，深入探討了 Java 8、11 及更高版本的特性。本書不僅覆蓋了 Java 語言本身的新特性，還引入了與現代開發實踐息息相關的主題，包括函數式編程、併發、多語言編程及容器化部署等。本書的核心目標是幫助開發者建立紮實的基礎，掌握 Java 語言和 JVM 平臺的深層知識，同時引導讀者瞭解 Java 生態中的非 Java 語言，如 Kotlin 和 Clojure。通過對 Java 語言核心原理的學習，讀者將掌握如何高效地使用 Java，如何應對日益複雜的開發環境，並理解平臺的未來演化方向。

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

併發程式設計近年逐漸熱起來，Go 等併發語言也對併發程式設計提供了良好的支援，使得併發這個話題受到越來越多人的關注。本書延續了《七周七語言》的寫作風格，通過以下七個精選的模型説明讀者瞭解併發領域的輪廓：執行緒與鎖，函數式程式設計，Clojure，actor，通信順序進程，資料級並行，Lambda 架構。書中每一章都設計成三天的閱讀量。每天閱讀結束都會有相關練習，鞏固並擴展當天的知識。每一章均有複習

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