0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (4)
  • R100 - R250 (263)
  • R250 - R500 (3,674)
  • R500+ (10,898)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer programming > Programming languages

Introduction to JavaScript Programming - The "Nothing but a Browser" Approach (Paperback): Eric Roberts Introduction to JavaScript Programming - The "Nothing but a Browser" Approach (Paperback)
Eric Roberts
R3,404 Discovery Miles 34 040 Ships in 10 - 15 working days

For courses in Java Programming. Introducing the fundamental concepts of programming with JavaScript A brand new textbook by Eric Roberts, Understanding Programming through JavaScript focuses on the fundamental concepts of programming, and is written for students with no prior knowledge or experience. It draws on a rich pedagogical heritage-including the immersive Karel the Robot microworld, time-testing programming guidelines, and a logical, step-by-step organization-to give them the foundational skills needed to pursue other coding languages, or a career in computer programming. Using the text, students will build their skills and develop live, interactive web applications that really work on web browsers, providing both instant feedback and gratification. This new text includes chapter openers that humanize computing, review questions for student self-testing, and many other valuable features.

HTML and CSS QuickStart Guide - The Simplified Beginners Guide to Developing a Strong Coding Foundation, Building Responsive... HTML and CSS QuickStart Guide - The Simplified Beginners Guide to Developing a Strong Coding Foundation, Building Responsive Websites, and Mastering the Fundamentals of Modern Web Design (Hardcover)
David Durocher
R996 R864 Discovery Miles 8 640 Save R132 (13%) Ships in 18 - 22 working days
Python For ArcGIS (Hardcover, 1st ed. 2015): Laura Tateosian Python For ArcGIS (Hardcover, 1st ed. 2015)
Laura Tateosian
R4,000 Discovery Miles 40 000 Ships in 10 - 15 working days

This book introduces Python scripting for geographic information science (GIS) workflow optimization using ArcGIS. It builds essential programming skills for automating GIS analysis. Over 200 sample Python scripts and 175 classroom-tested exercises reinforce the learning objectives. Readers will learn to: * Write and run Python in the ArcGIS Python Window, the PythonWin IDE, and the PyScripter IDE * Work with Python syntax and data types * Call ArcToolbox tools, batch process GIS datasets, and manipulate map documents using the arcpy package * Read and modify proprietary and ASCII text GIS data * Parse HTML web pages and KML datasets * Create Web pages and fetch GIS data from Web sources. * Build user-interfaces with the native Python file dialog toolkit or the ArcGIS Script tools and PyToolboxes Python for ArcGIS is designed as a primary textbook for advanced-level students in GIS. Researchers, government specialists and professionals working in GIS will also find this book useful as a reference.

Numerical Methods in Finance with C++ (Hardcover, New): Maciej J. Capinski, Tomasz Zastawniak Numerical Methods in Finance with C++ (Hardcover, New)
Maciej J. Capinski, Tomasz Zastawniak
R1,785 Discovery Miles 17 850 Ships in 10 - 15 working days

Driven by concrete computational problems in quantitative finance, this book provides aspiring quant developers with the numerical techniques and programming skills they need. The authors start from scratch, so the reader does not need any previous experience of C++. Beginning with straightforward option pricing on binomial trees, the book gradually progresses towards more advanced topics, including nonlinear solvers, Monte Carlo techniques for path-dependent derivative securities, finite difference methods for partial differential equations, and American option pricing by solving a linear complementarity problem. Further material, including solutions to all exercises and C++ code, is available online. The book is ideal preparation for work as an entry-level quant programmer and it gives readers the confidence to progress to more advanced skill sets involving C++ design patterns as applied in finance.

UNIX and Perl to the Rescue! - A Field Guide for the Life Sciences (and Other Data-rich Pursuits) (Hardcover, New): Keith... UNIX and Perl to the Rescue! - A Field Guide for the Life Sciences (and Other Data-rich Pursuits) (Hardcover, New)
Keith Bradnam, Ian Korf
R2,289 Discovery Miles 22 890 Ships in 10 - 15 working days

Your research has generated gigabytes of data and now you need to analyse it. You hate using spreadsheets but it is all you know, so what else can you do? This book will transform how you work with large and complex data sets, teaching you powerful programming tools for slicing and dicing data to suit your needs. Written in a fun and accessible style, this step-by-step guide will inspire and inform non-programmers about the essential aspects of Unix and Perl. It shows how, with just a little programming knowledge, you can write programs that could save you hours, or even days. No prior experience is required and new concepts are introduced using numerous code examples that you can try out for yourself. Going beyond the basics, the authors touch upon many broader topics that will help those new to programming, including debugging and how to write in a good programming style.

Reinforcement Learning From Scratch - Understanding Current Approaches - with Examples in Java and Greenfoot (Hardcover, 1st... Reinforcement Learning From Scratch - Understanding Current Approaches - with Examples in Java and Greenfoot (Hardcover, 1st ed. 2022)
Uwe Lorenz
R2,203 Discovery Miles 22 030 Ships in 18 - 22 working days

In ancient games such as chess or go, the most brilliant players can improve by studying the strategies produced by a machine. Robotic systems practice their own movements. In arcade games, agents capable of learning reach superhuman levels within a few hours. How do these spectacular reinforcement learning algorithms work? With easy-to-understand explanations and clear examples in Java and Greenfoot, you can acquire the principles of reinforcement learning and apply them in your own intelligent agents. Greenfoot (M.Koelling, King's College London) and the hamster model (D. Bohles, University of Oldenburg) are simple but also powerful didactic tools that were developed to convey basic programming concepts. The result is an accessible introduction into machine learning that concentrates on reinforcement learning. Taking the reader through the steps of developing intelligent agents, from the very basics to advanced aspects, touching on a variety of machine learning algorithms along the way, one is allowed to play along, experiment, and add their own ideas and experiments.

Quick Functional Programming (Hardcover): David Matuszek Quick Functional Programming (Hardcover)
David Matuszek
R2,466 Discovery Miles 24 660 Ships in 10 - 15 working days

Why learn functional programming? Isn't that some complicated ivory-tower technique used only in obscure languages like Haskell? In fact, functional programming is actually very simple. It's also very powerful, as Haskell demonstrates by throwing away all the conventional programming tools and using only functional programming features. But it doesn't have to be done that way. Functional programming is a power tool that you can use in addition to all your usual tools, to whatever extent your current mainstream language supports it. Most languages have at least basic support. In this book we use Python and Java and, as a bonus, Scala. If you prefer another language, there will be minor differences in syntax, but the concepts are the same. Give functional programming a try. You may be surprised how much a single power tool can help you in your day-to-day programming.

Ghost written by Picard the Cat (Hardcover): Donald I. Templeman Ghost written by Picard the Cat (Hardcover)
Donald I. Templeman
R498 Discovery Miles 4 980 Ships in 10 - 15 working days

From the descriptive styles which mirror 19th Century Romanticism to the bold starkness of contemporary dialects, these stories offer myriad insights into the many facets of the masculine soul. These are not cat stories. Well.actually there is one. But for the most part this is a collection of first person narratives in short fiction which are certain to leave the reader begging to dialogue with every page.

As with his powerful and imaginative science fiction novels, "The Last Champion of Earth" and "The Planet of Mortal Worship," Donald Templeman entertains, stuns and unveils lurid insights into the human condition with every keystroke.

'Author Templeman is a skilled writer and accomplished storyteller"-WRITER'S DIGEST 12TH ANNUAL BOOK AWARDS

Introduction to Bisimulation and Coinduction (Hardcover): Davide Sangiorgi Introduction to Bisimulation and Coinduction (Hardcover)
Davide Sangiorgi
R2,369 Discovery Miles 23 690 Ships in 10 - 15 working days

Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis.

Advanced Topics in Bisimulation and Coinduction (Hardcover): Davide Sangiorgi, Jan Rutten Advanced Topics in Bisimulation and Coinduction (Hardcover)
Davide Sangiorgi, Jan Rutten
R3,205 Discovery Miles 32 050 Ships in 10 - 15 working days

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Python for Scientific Computing and Artificial Intelligence (Hardcover): Stephen Lynch Python for Scientific Computing and Artificial Intelligence (Hardcover)
Stephen Lynch
R4,362 Discovery Miles 43 620 Ships in 10 - 15 working days

Python for Scientific Computation and Artificial Intelligence is split into 3 parts: in Section 1, the reader is introduced to the Python programming language and shown how Python can aid in the understanding of advanced High School Mathematics. In Section 2, the reader is shown how Python can be used to solve real-world problems from a broad range of scientific disciplines. Finally, in Section 3, the reader is introduced to neural networks and shown how TensorFlow (written in Python) can be used to solve a large array of problems in Artificial Intelligence (AI). This book was developed from a series of national and international workshops that the author has been delivering for over twenty years. The book is beginner friendly and has a strong practical emphasis on programming and computational modelling. Features: No prior experience of programming is required. Online GitHub repository available with codes for readers to practice. Covers applications and examples from biology, chemistry, computer science, data science, electrical and mechanical engineering, economics, mathematics, physics, statistics and binary oscillator computing. Full solutions to exercises are available as Jupyter notebooks on the Web.

Computer Programming in C for Beginners (Hardcover, 1st ed. 2020): Avelino J. Gonzalez Computer Programming in C for Beginners (Hardcover, 1st ed. 2020)
Avelino J. Gonzalez
R1,897 Discovery Miles 18 970 Ships in 10 - 15 working days

This textbook is an ideal introduction in college courses or self-study for learning computer programming using the C language. Written for those with minimal or no programming experience, Computer Programming in C for Beginners offers a heavily guided, hands-on approach that enables the reader to quickly start programming, and then progresses to cover the major concepts of C programming that are critical for an early stage programmer to know and understand. While the progression of topics is conventional, their treatment is innovative and designed for rapid understanding of the many concepts in C that have traditionally proven difficult for beginners, such as variable typing and scope, function definition, passing by value, pointers, passing by reference, arrays, structures, basic memory management, dynamic memory allocation, and linked lists, as well as an introductory treatment of searching and sorting algorithms. Written in an informal but clear narrative, the book uses extensive examples throughout and provides detailed guidance on how to write the C code to achieve the objectives of the example problems. Derived from the author's many years of teaching hands-on college courses, it encourages the reader to follow along by programming the progressively more complex exercise programs presented. In some sections, errors are purposely inserted into the code to teach the reader about the common pitfalls of programming in general, and the C language in particular.

Fine-Kinney-Based Fuzzy Multi-criteria Occupational Risk Assessment - Approaches, Case Studies and Python Applications... Fine-Kinney-Based Fuzzy Multi-criteria Occupational Risk Assessment - Approaches, Case Studies and Python Applications (Hardcover, 1st ed. 2021)
Muhammet Gul, Suleyman Mete, Faruk Serin, Erkan Celik
R2,653 Discovery Miles 26 530 Ships in 18 - 22 working days

This book presents a number of approaches to Fine-Kinney-based multi-criteria occupational risk-assessment. For each proposed approach, it provides case studies demonstrating their applicability, as well as Python coding, which will enable readers to implement them into their own risk assessment process. The book begins by giving a review of Fine-Kinney occupational risk-assessment methods and their extension by fuzzy sets. It then progresses in a logical fashion, dedicating a chapter to each approach, including the fuzzy best and worst method, interval-valued Pythagorean fuzzy VIKOR and interval type-2 fuzzy QUALIFLEX. This book will be of interest to professionals and researchers working in the field of occupational risk management, as well as postgraduate and undergraduate students studying applications of fuzzy systems.

SQL by Example (Paperback): John Russo SQL by Example (Paperback)
John Russo
R1,039 R867 Discovery Miles 8 670 Save R172 (17%) Ships in 18 - 22 working days
Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's - Selected Contributions on... Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's - Selected Contributions on Specification, Design, and Verification from FDL 2009 (Hardcover, 2010 ed.)
Dominique Borrione
R4,145 Discovery Miles 41 450 Ships in 18 - 22 working days

More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems.

FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as well as the importance of their industrial environment in Computer Science and Micro-electronics. In 2009, FDL was organized in the attractive south of France area of Sophia Antipolis. together with the DASIP (Design and Architectures for Signal and Image Processing) Conference and the SAME (Sophia Antipolis MicroElectronics ) Forum.

All submitted papers were carefully reviewed to build a program with 27 full and 10 short contributions. From these, the Program Committee selected a shorter list, based on the evaluations of the reviewers, and the originality and relevance of the work that was presented at the Forum. The revised, and sometimes extended versions of these contributions constitute the chapters of this volume.

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip. It is intended as a reference for researchers and lecturers, as well as a state of the art milestone for designers and CAD developers.

Quick Recursion (Hardcover): David Matuszek Quick Recursion (Hardcover)
David Matuszek
R2,581 Discovery Miles 25 810 Ships in 10 - 15 working days

Tackles a topic in a concise and accessible way that most believe too advanced to pick up easily. Author has over 40 years teaching and industry experience which they utilize in this book. Contains an appendix with extended code and examples of topics discussed in text.

Digital Image Processing With C++ - Implementing Reference Algorithms With the CImg Library (Hardcover): David Tschumperle,... Digital Image Processing With C++ - Implementing Reference Algorithms With the CImg Library (Hardcover)
David Tschumperle, Christophe Tilmant, Vincent Barra
R3,371 Discovery Miles 33 710 Ships in 10 - 15 working days

Digital Image Processing with C++ presents the theory of digital image processing, and implementations of algorithms using a dedicated library. Processing a digital image means transforming its content (denoising, stylizing, etc.), or extracting information to solve a given problem (object recognition, measurement, motion estimation, etc.). This book presents the mathematical theories underlying digital image processing, as well as their practical implementation through examples of algorithms implemented in the C++ language, using the free and easy-to-use CImg library. Chapters cover in a broad way the field of digital image processing and proposes practical and functional implementations of each method theoretically described. The main topics covered include filtering in spatial and frequency domains, mathematical morphology, feature extraction and applications to segmentation, motion estimation, multispectral image processing and 3D visualization. Students or developers wishing to discover or specialize in this discipline, teachers and researchers wishing to quickly prototype new algorithms, or develop courses, will all find in this book material to discover image processing or deepen their knowledge in this field.

Python for Beginners (Hardcover): Kuldeep Singh Kaswan, Jagjit Singh Dhatterwal, B. Balamurugan Python for Beginners (Hardcover)
Kuldeep Singh Kaswan, Jagjit Singh Dhatterwal, B. Balamurugan
R4,064 Discovery Miles 40 640 Ships in 10 - 15 working days

Python is an amazing programming language. It can be applied to almost any programming task. It allows for rapid development and debugging. Getting started with Python is like learning any new skill: it's important to find a resource you connect with to guide your learning. Luckily, there's no shortage of excellent books that can help you learn both the basic concepts of programming and the specifics of programming in Python. With the abundance of resources, it can be difficult to identify which book would be best for your situation. Python for Beginners is a concise single point of reference for all material on python. * Provides concise, need-to-know information on Python types and statements, special method names, built-in functions and exceptions, commonly used standard library modules, and other prominent Python tools * Offers practical advice for each major area of development with both Python 3.x and Python 2.x * Based on the latest research in cognitive science and learning theory * Helps the reader learn how to write effective, idiomatic Python code by leveraging its best-and possibly most neglected-features This book focuses on enthusiastic research aspirants who work on scripting languages for automating the modules and tools, development of web applications, handling big data, complex calculations, workflow creation, rapid prototyping, and other software development purposes. It also targets graduates, postgraduates in computer science, information technology, academicians, practitioners, and research scholars.

Raspberry Pi 2ed (Paperback, 2nd Revised edition): Mail Schmidt Raspberry Pi 2ed (Paperback, 2nd Revised edition)
Mail Schmidt
R477 Discovery Miles 4 770 Ships in 10 - 15 working days

User Level: Most of the book is targeted at beginners in computing and programming. A few parts, such as the small electronics project and setting up a web server, assume some intermediate skills. The Raspberry Pi is one of the most successful open source hardware projects ever. For only $35, you get a full-blown PC, a multimedia center, and a web server--and this book gives you everything you need to get started. You'll learn the basics, progress to controlling the Pi, and then build your own electronics projects. This new edition is revised and updated with two new chapters on adding digital and analog sensors, and creating videos and a burglar alarm with the Pi camera. Get your Raspberry Pi up and running and doing cool stuff. You'll start with the basics: adding hardware, installing and configuring Debian Linux, and customizing the Pi's firmware to get the most out of your hardware. Then the fun begins. You'll connect the Pi to your home network, surf the web, and tweet messages. You'll learn how to get the most out of Midori, the Pi's standard browser, and control the desktops of other PCs with the Pi. Then you'll explore the Pi's versatility with a series of home projects. Turn it into a web server in your home network; convert the Pi into a powerful multimedia center so you can watch high-definition video and listen to your favorite music; and play classic video games. Then you'll use the GPIO pins on the Raspberry Pi to build your own electronics projects, such as an "out of memory" alarm. You'll learn how to use digital and analog sensors with the Pi, even though the Pi doesn't have analog input ports! Finally, you'll set up the Pi camera, create your own time-lapse videos, and build an automatic e-mailing burglar alarm. Power to the Pi! What You Need You need a Raspberry Pi and several things that you probably already have at home, such as a keyboard, a mouse, a monitor/TV set, and an SD card. To build the electronic projects you need a few cheap parts and the Pi camera.

The Designer's Guide to the Cortex-M Processor Family (Paperback, 2nd edition): Trevor Martin The Designer's Guide to the Cortex-M Processor Family (Paperback, 2nd edition)
Trevor Martin
R1,526 R1,309 Discovery Miles 13 090 Save R217 (14%) Ships in 10 - 15 working days

The Designer's Guide to the Cortex-M Microcontrollers gives you an easy-to-understand introduction to the concepts required to develop programs in C with a Cortex-M based microcontroller. The book begins with an overview of the Cortex-M family, giving architectural descriptions supported with practical examples, enabling you to easily develop basic C programs to run on the Cortex-M0/M0+/M3 and M4 and M7. It then examines the more advanced features of the Cortex architecture such as memory protection, operating modes, and dual stack operation. Once a firm grounding in the Cortex-M processor has been established the book introduces the use of a small footprint RTOS and the CMSIS-DSP library. The book also examines techniques for software testing and code reuse specific to Cortex-M microcontrollers. With this book you will learn: the key differences between the Cortex-M0/M0+/M3 and M4 and M7; how to write C programs to run on Cortex-M based processors; how to make the best use of the CoreSight debug system; the Cortex-M operating modes and memory protection; advanced software techniques that can be used on Cortex-M microcontrollers; how to use a Real Time Operating System with Cortex-M devices; how to optimize DSP code for the Cortex-M4; and how to build real time DSP systems.

Algorithm Design: A Methodological Approach - 150 problems and detailed solutions (Hardcover): Patrick Bosc, Marc Guyomard,... Algorithm Design: A Methodological Approach - 150 problems and detailed solutions (Hardcover)
Patrick Bosc, Marc Guyomard, Laurent Miclet
R3,731 Discovery Miles 37 310 Ships in 10 - 15 working days

A best-seller in its French edition, the construction of this book is original and its success in the French market demonstrates its appeal. It is based on three principles: 1. An organization of the chapters by families of algorithms : exhaustive search, divide and conquer, etc. At the contrary, there is no chapter only devoted to a systematic exposure of, say, algorithms on strings. Some of these will be found in different chapters. 2. For each family of algorithms, an introduction is given to the mathematical principles and the issues of a rigorous design, with one or two pedagogical examples. 3. For its most part, the book details 150 problems, spanning on seven families of algorithms. For each problem, a precise and progressive statement is given. More important, a complete solution is detailed, with respect to the design principles that have been presented ; often, some classical errors are pointed at. Roughly speaking, two thirds of the book are devoted to the detailed rational construction of the solutions.

Algebra and Geometry with Python (Hardcover, 1st ed. 2021): Sergei Kurgalin, Sergei Borzunov Algebra and Geometry with Python (Hardcover, 1st ed. 2021)
Sergei Kurgalin, Sergei Borzunov
R2,494 Discovery Miles 24 940 Ships in 18 - 22 working days

This book teaches algebra and geometry. The authors dedicate chapters to the key issues of matrices, linear equations, matrix algorithms, vector spaces, lines, planes, second-order curves, and elliptic curves. The text is supported throughout with problems, and the authors have included source code in Python in the book. The book is suitable for advanced undergraduate and graduate students in computer science.

Quick Python 3 (Hardcover): David Matuszek Quick Python 3 (Hardcover)
David Matuszek
R2,583 Discovery Miles 25 830 Ships in 10 - 15 working days

Are you a programmer who wants to get started quickly in a new language? This book is for you. Are you a novice who wants to learn to program? This book is not for you. Are you a Python programmer who needs encyclopaedic information? This book is not for you. Like any mainstream language, Python has loops, if statements, assignment statements, functions, etc. I'll show you what these look like in Python. I won't waste your time telling you what they're good for. Python has features you may not be familiar with--iterators, list comprehensions, maybe even dictionaries. I'll spend more time on these. I'll cover some of the library functions I found most immediately useful, and tell you where to find more. In short, this book will help you hit the ground running. Next week, you'll be ready to buy that Python encyclopaedia.

UPC - Distributed Shared Memory Programming (Hardcover): T El-Ghazawi UPC - Distributed Shared Memory Programming (Hardcover)
T El-Ghazawi
R3,681 Discovery Miles 36 810 Ships in 18 - 22 working days

A must-have for UPC programmers and applications developers

This publication provides an in-depth interpretation of UPC language specifications for use in highly parallel systems. With its extensive use of examples, UPC programming case studies, and illustrations, it offers new insights into developing efficient and effective UPC applications such as high-speed signal processing and pattern recognition. As an added feature, readers have access to an ftp site containing an electronic copy of the full code and can make files for all the examples given in the text.

The book provides all the information and guidance needed to use this powerful new programming language: Chapter 1 provides a quick tutorial of the major features of the UPC language Chapter 2 presents the UPC programming model and describes how shared and nonshared data are declared and used Chapter 3 covers the critically important concept of pointers in UPC, identifying the types, declarations, and usage of the various UPC pointers and how they work with arrays Chapter 4 explains how data and work can be distributed in UPC such that data locality is exploited through efficient data declarations and work-sharing constructs Chapter 5 provides extensive treatment of dynamic memory allocation in the shared space Chapter 6 covers thread and data synchronization, explaining the effective mechanisms provided by UPC for mutual exclusion, barriers, and memory consistency control Chapter 7 offers programmers tools needed to write efficient applications Chapter 8 introduces two UPC standard libraries: the collective operations library and the parallel I/O library Appendices feature the UPC v1.1.1 specification; UPC v1.0 collectivelibrary specifications; UPC-IO v1.0 specifications; information on how to compile and run UPC programs; and a quick UPC reference card

UPC is ubiquitous. It is supported on parallel computers from HP, Cray, SGI, IBM, as well as on computer clusters. This is the authoritative source for learning how to master this programming language; El-Ghazawi, Carlson, and Yelick are among the developers of UPC.

Lambda Calculi - A Guide for Computer Scientists (Paperback): Chris Hankin Lambda Calculi - A Guide for Computer Scientists (Paperback)
Chris Hankin
R1,597 Discovery Miles 15 970 Ships in 10 - 15 working days

The lambda-calculus lies at the very foundation of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics and domain theory. The book emphasizes the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally the polymporphic lambda-calculus. Chapter 8 concerns three variants of the type-free lambda-calculus that have recently appeared in the research literature: the lazy lambda-calculus, the concurrent y-calculus and the lamdba omega-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, the book is written from a computer science perspective and emphasizes the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Thoughts on Government - Occasioned by…
George Rous Paperback R374 Discovery Miles 3 740
Oop Sirkel
De Waal Venter Paperback R10 Discovery Miles 100
The Laws Concerning Game - of Hunting…
William Nelson Paperback R536 Discovery Miles 5 360
The Amazing Spider-Man
Stan Lee, Steve Ditko Paperback R740 R646 Discovery Miles 6 460
A Billionaire Romance Series - Their…
Michelle Love, Megan Lee Hardcover R1,041 Discovery Miles 10 410
Holiday Billionaires Sweets - A…
Michelle Love Hardcover R1,072 Discovery Miles 10 720
Fire & Water - Stories from the…
Mary Fifield, Kristin Thiel Paperback R593 R542 Discovery Miles 5 420
The City of God and the Churck Makers
R Abbey Paperback R536 Discovery Miles 5 360
Agnes, the Indian Captive - a Poem, in…
John Mitford Paperback R460 Discovery Miles 4 600
The Dark Season - Romance Anthology
Michelle Love Hardcover R688 Discovery Miles 6 880

 

Partners