Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
72,001
result(s) for
"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
Probabilistic (logic) programming concepts
A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling of complex, structured probability distributions. Each of these languages employs its own probabilistic primitives, and comes with a particular syntax, semantics and inference procedure. This makes it hard to understand the underlying programming concepts and appreciate the differences between the different languages. To obtain a better understanding of probabilistic programming, we identify a number of core programming concepts underlying the primitives used by various probabilistic languages, discuss the execution mechanisms that they require and use these to position and survey state-of-the-art probabilistic languages and their implementation. While doing so, we focus on probabilistic extensions of
logic
programming languages such as Prolog, which have been considered for over 20 years.
Journal Article
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
Array programming with NumPy
Array programming provides a powerful, compact and expressive syntax for accessing, manipulating and operating on data in vectors, matrices and higher-dimensional arrays. NumPy is the primary array programming library for the Python language. It has an essential role in research analysis pipelines in fields as diverse as physics, chemistry, astronomy, geoscience, biology, psychology, materials science, engineering, finance and economics. For example, in astronomy, NumPy was an important part of the software stack used in the discovery of gravitational waves
1
and in the first imaging of a black hole
2
. Here we review how a few fundamental array concepts lead to a simple and powerful programming paradigm for organizing, exploring and analysing scientific data. NumPy is the foundation upon which the scientific Python ecosystem is constructed. It is so pervasive that several projects, targeting audiences with specialized needs, have developed their own NumPy-like interfaces and array objects. Owing to its central position in the ecosystem, NumPy increasingly acts as an interoperability layer between such array computation libraries and, together with its application programming interface (API), provides a flexible framework to support the next decade of scientific and industrial analysis.
NumPy is the primary array programming library for Python; here its fundamental concepts are reviewed and its evolution into a flexible interoperability layer between increasingly specialized computational libraries is discussed.
Journal Article
Awesome algorithms and creative coding
\"Awesome Algorithms and Creative Coding explores how computers work and explains how to think in a logical way. The bright and engaging design guides readers through clear explanations of binary code, simple algorithms, and computer language. With real-life examples, students learn about the development of coding using simple decision-making processes. Programming languages that readers can use themselves, including Scratch and LOGO, are reviewed. \"Stretch Yourself\" features give practical activities to help readers explore and test key principles to help reinforce learning and are not linked to specific software or operating systems. \"True Story\" features give real-world anecdotes from the world of information technology. \"Computer Hero\" features look at the groundbreaking scientists that paved the way for digital technology today.\"-- Provided by publisher.
Book
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