Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
45,031
result(s) for
"COMPUTER PROGRAMMING LANGUAGES"
Sort by:
Learn to program
\"Learn programming basics in this kid-friendly, easy-to-follow book. It covers computer languages, writing programs, bugs, and loops using real-world examples and fun illustrations. Online and offline activities also boost learning and skills.\"-- Provided by publisher.
Book
Practical Foundations for Programming Languages
Types are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design – the absence of ill-defined programs – follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical.
eBook
Learn to code : a brain-friendly guide
It's no secret the world around you is becoming more connected, more configurable, more programmable, more computational. You can remain a passive participant, or you can learn to code. With Head First Learn to Code you'll learn how to think computationally and how to write code to make your computer, mobile device, or anything with a CPU do things for you. Using the Python programming language, you'll learn step by step the core concepts of programming as well as many fundamental topics from computer science, such as data structures, storage, abstraction, recursion, and modularity.
Book
Programming Language Cultures
\"In this book, Brian Lennon demonstrates the power of a philological approach to the history of programming languages and their usage cultures. In chapters focused on specific programming languages such as SNOBOL and JavaScript, as well as on code comments, metasyntactic variables, the very early history of programming, and the concept of DevOps, Lennon emphasizes the histories of programming languages in their individual specificities over their abstract formal or structural characteristics, viewing them as carriers and sometimes shapers of specific cultural histories. The book's philological approach to programming languages presents a natural, sensible, and rigorous way for researchers trained in the humanities to perform research on computing in a way that draws on their own expertise. Combining programming knowledge with a humanistic analysis of the social and historical dimensions of computing, Lennon offers researchers in literar
eBook
Nominal Sets
Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II, the author surveys some of the applications that have developed in programming language semantics (both operational and denotational), functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets, it will be welcomed by researchers and graduate students in theoretical computer science.
eBook
Programming Beyond Practices : Be More Than Just a Code Monkey
This work discusses a range of advanced programming techinquies, from requirements discovery and rapid prototyping to business analysis and designing for maintainability.
Book
Hands-On Concurrency with Rust
Get to grips with modern software demands by learning the effective uses of Rust's powerful memory safety.About This Book• Learn and improve the sequential performance characteristics of your software• Understand the use of operating system processes in a high-scale concurrent system• Learn of the various coordination methods available in the Standard libraryWho This Book Is ForThis book is aimed at software engineers with a basic understanding of Rust who want to exploit the parallel and concurrent nature of modern computing environments, safely.What You Will Learn• Probe your programs for performance and accuracy issues• Create your own threading and multi-processing environment in Rust• Use coarse locks from Rust's Standard library• Solve common synchronization problems or avoid synchronization using atomic programming• Build lock-free/wait-free structures in Rust and understand their implementations in the crates ecosystem• Leverage Rust's memory model and type system to build safety properties into your parallel programs• Understand the new features of the Rust programming language to ease the writing of parallel programsIn DetailMost programming languages can really complicate things, especially with regard to unsafe memory access. The burden on you, the programmer, lies across two domains: understanding the modern machine and your language's pain-points. This book will teach you to how to manage program performance on modern machines and build fast, memory-safe, and concurrent software in Rust. It starts with the fundamentals of Rust and discusses machine architecture concepts. You will be taken through ways to measure and improve the performance of Rust code systematically and how to write collections with confidence. You will learn about the Sync and Send traits applied to threads, and coordinate thread execution with locks, atomic primitives, data-parallelism, and more.The book will show you how to efficiently embed Rust in C++ code and explore the functionalities of various crates for multithreaded applications. It explores implementations in depth. You will know how a mutex works and build several yourself. You will master radically different approaches that exist in the ecosystem for structuring and managing high-scale systems.By the end of the book, you will feel comfortable with designing safe, consistent, parallel, and high-performance applications in Rust.Style and approachReaders will be taken through various ways to improve the performance of their Rust code.
eBook
The secret life of programs : understand computers - craft better code
\"Presents essential information about how computers work, including many broad topics, such as how computers process languages, how programs manipulate data in memory, and how web browsers work.\"-- Provided by publisher.
Book
Mastering the Faster Web with PHP, MySQL, and JavaScript
The Faster Web is quickly changing the way we think about Web development. The Web has changed considerably in recent years and is now built upon many new technologies: the HTTP/2 protocol, asynchronous programming, PHP tools like Blackfire.io and server monitoring tools like the TICK stack. This book will help you take a deep dive into these.
eBook