15 results (0,17001 seconds)

Show all filters

Brand

Merchant

Price (EUR)

Reset filter

Products
From
Shops

Discrete Mathematics for Computer Science An Example-Based Introduction

Discrete Mathematics for Computer Science An Example-Based Introduction

Discrete Mathematics for Computer Science: An Example-Based Introduction is intended for a first- or second-year discrete mathematics course for computer science majors. It covers many important mathematical topics essential for future computer science majors such as algorithms number representations logic set theory Boolean algebra functions combinatorics algorithmic complexity graphs and trees. Features Designed to be especially useful for courses at the community-college level Ideal as a first- or second-year textbook for computer science majors or as a general introduction to discrete mathematics Written to be accessible to those with a limited mathematics background and to aid with the transition to abstract thinking Filled with over 200 worked examples boxed for easy reference and over 200 practice problems with answers Contains approximately 40 simple algorithms to aid students in becoming proficient with algorithm control structures and pseudocode Includes an appendix on basic circuit design which provides a real-world motivational example for computer science majors by drawing on multiple topics covered in the book to design a circuit that adds two eight-digit binary numbers Jon Pierre Fortney graduated from the University of Pennsylvania in 1996 with a BA in Mathematics and Actuarial Science and a BSE in Chemical Engineering. Prior to returning to graduate school he worked as both an environmental engineer and as an actuarial analyst. He graduated from Arizona State University in 2008 with a PhD in Mathematics specializing in Geometric Mechanics. Since 2012 he has worked at Zayed University in Dubai. This is his second mathematics textbook. | Discrete Mathematics for Computer Science An Example-Based Introduction

GBP 48.99
1

Formal Methods in Computer Science

Formal Methods in Computer Science

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods including set theory functions finite state machines and regular expressions. The second part focuses on logic a powerful formal language in specifying systems properties. It covers propositional logic predicate logic temporal logic and model checking. The third part presents Petri nets the most popular formal language in system behavior modeling. In additional to regular Petri nets this part also examines timed Petri nets and high-level Petri nets. The textbook is ideal for undergraduate or graduate courses in computer engineering software engineering computer science and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation. Features * Introduces a comprehensive yet manageable set of formal techniques for computer science students * Stresses real-world application value of each formal technique * Offers a good set of exercises which help students better understand the presented techniques * Also offers a prepared source code for downloading and non-commercial use

GBP 69.99
1

Automata and Computability A Programmer's Perspective

Automata and Computability A Programmer's Perspective

Automata and Computability is a class-tested textbook which provides a comprehensive and accessible introduction to the theory of automata and computation. The author uses illustrations engaging examples and historical remarks to make the material interesting and relevant for students. It incorporates modern/handy ideas such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus. The book also shows how to sculpt automata by making the regular language conversion pipeline available through a simple command interface. A Jupyter notebook will accompany the book to feature code YouTube videos and other supplements to assist instructors and studentsFeatures Uses illustrations engaging examples and historical remarks to make the material accessible Incorporates modern/handy ideas such as derivative-based parsing and a Lambda reducer showing the universality of Lambda calculus Shows how to sculpt automata by making the regular language conversion pipeline available through simple command interface Uses a mini functional programming (FP) notation consisting of lambdas maps filters and set comprehension (supported in Python) to convey math through PL constructs that are succinct and resemble math Provides all concepts are encoded in a compact Functional Programming code that will tesselate with Latex markup and Jupyter widgets in a document that will accompany the books. Students can run code effortlessly. All the code can be accessed here. | Automata and Computability A Programmer's Perspective

GBP 39.99
1

Control of Nonlinear Differential Algebraic Equation Systems with Applications to Chemical Processes

Control of Nonlinear Differential Algebraic Equation Systems with Applications to Chemical Processes

The feedback control of nonlinear differential and algebraic equation systems (DAEs) is a relatively new subject. Developing steadily over the last few years it has generated growing interest inspired by its engineering applications and by advances in the feedback control of nonlinear ordinary differential equations (ODEs). This book-the first of its kind-introduces the reader to the inherent characteristics of nonlinear DAE systems and the methods used to address their control then discusses the significance of DAE systems to the modeling and control of chemical processes. Within a unified framework Control of Nonlinear Differential Algebraic Equation Systems presents recent results on the stabilization output tracking and disturbance elimination for a large class of nonlinear DAE systems. Written at a basic mathematical level-assuming some familiarity with analysis and control of nonlinear ODEs-the authors focus on continuous-time systems of differential and algebraic equations in semi-explicit form. Beginning with background material about DAE systems and their differences from ODE systems the book discusses generic classes of chemical processes feedback control of regular and non-regular DAE systems control of systems with disturbance inputs the connection of the DAE systems considered with singularly perturbed systems and finally offers examples that illustrate the application of control methods and the advantages of using high-index DAE models as the basis for controller design. Mathematicians and engineers will find that this book provides unique timely results that also clearly documents the relevance of DAE systems to chemical processes. | Control of Nonlinear Differential Algebraic Equation Systems with Applications to Chemical Processes

GBP 110.00
1

A Criminologist's Guide to R Crime by the Numbers

A Criminologist's Guide to R Crime by the Numbers

A Criminologist's Guide to R: Crime by the Numbers introduces the programming language R and covers the necessary skills to conduct quantitative research in criminology. By the end of this book a person without any prior programming experience can take raw crime data be able to clean it visualize the data present it using R Markdown and change it to a format ready for analysis. A Criminologist's Guide to R focuses on skills specifically for criminology such as spatial joins mapping and scraping data from PDFs however any social scientist looking for an introduction to R for data analysis will find this useful. Key Features: Introduction to RStudio including how to change user preference settings. Basic data exploration and cleaning – subsetting loading data regular expressions aggregating data. Graphing with ggplot2. How to make maps (hotspot maps choropleth maps interactive maps). Webscraping and PDF scraping. Project management – how to prepare for a project how to decide which projects to do best ways to collaborate with people how to store your code (using git) and how to test your code. | A Criminologist's Guide to R Crime by the Numbers

GBP 74.99
1

Fundamentals of Parallel Multicore Architecture

Fundamentals of Parallel Multicore Architecture

Although multicore is now a mainstream architecture there are few textbooks that cover parallel multicore architectures. Filling this gap Fundamentals of Parallel Multicore Architecture provides all the material for a graduate or senior undergraduate course that focuses on the architecture of multicore processors. The book is also useful as a reference for professionals who deal with programming on multicore or designing multicore chips. The text’s coverage of fundamental topics prepares students to study research papers in the multicore architecture area. The text offers many pedagogical features including:Sufficiently short chapters that can be comfortably read over a weekendIntroducing each concept by first describing the problem and building intuition that leads to the need for the conceptDid you know? boxes that present mini case studies alternative points of view examples and other interesting facts or discussion itemsThought-provoking interviews with experts who share their perspectives on multicore architectures in the past present and futureOnline programming assignments and solutions that enhance students’ understandingThe first several chapters address programming issues in shared memory multiprocessors such as the programming model and techniques to parallelize regular and irregular applications. The core of the book covers the architectures for shared memory multiprocessors. The final chapter contains interviews with experts in parallel multicore architecture.

GBP 44.99
1

Discrete Mathematics with Ducks

Discrete Mathematics with Ducks

Discrete Mathematics with Ducks Second Edition is a gentle introduction for students who find the proofs and abstractions of mathematics challenging. At the same time it provides stimulating material that instructors can use for more advanced students. The first edition was widely well received with its whimsical writing style and numerous exercises and materials that engaged students at all levels. The new expanded edition continues to facilitate effective and active learning. It is designed to help students learn about discrete mathematics through problem-based activities. These are created to inspire students to understand mathematics by actively practicing and doing which helps students better retain what they’ve learned. As such each chapter contains a mixture of discovery-based activities projects expository text in-class exercises and homework problems. The author’s lively and friendly writing style is appealing to both instructors and students alike and encourages readers to learn. The book’s light-hearted approach to the subject is a guiding principle and helps students learn mathematical abstraction. Features:The book’s Try This! sections encourage students to construct components of discussed concepts theorems and proofsProvided sets of discovery problems and illustrative examples reinforce learningBonus sections can be used by instructors as part of their regular curriculum for projects or for further study

GBP 38.99
1

Introduction to Asymptotic Methods

Introduction to Asymptotic Methods

Among the theoretical methods for solving many problems of applied mathematics physics and technology asymptotic methods often provide results that lead to obtaining more effective algorithms of numerical evaluation. Presenting the mathematical methods of perturbation theory Introduction to Asymptotic Methods reviews the most important methods of singular perturbations within the scope of application of differential equations. The authors take a challenging and original approach based on the integrated mathematical-analytical treatment of various objects taken from interdisciplinary fields of mechanics physics and applied mathematics. This new hybrid approach will lead to results that cannot be obtained by standard theories in the field. Emphasizing fundamental elements of the mathematical modeling process the book provides comprehensive coverage of asymptotic approaches regular and singular perturbations one-dimensional non-stationary non-linear waves Padé approximations oscillators with negative Duffing type stiffness and differential equations with discontinuous nonlinearities. The book also offers a method of construction for canonical variables transformation in parametric form along with a number of examples and applications. The book is applications oriented and features results and literature citations that have not been seen in the Western Scientific Community. The authors emphasize the dynamics of the development of perturbation methods and present the development of ideas associated with this wide field of research.

GBP 59.99
1

Combinatorial Nullstellensatz With Applications to Graph Colouring

Combinatorial Nullstellensatz With Applications to Graph Colouring

Combinatorial Nullstellensatz is a novel theorem in algebra introduced by Noga Alon to tackle combinatorial problems in diverse areas of mathematics. This book focuses on the applications of this theorem to graph colouring. A key step in the applications of Combinatorial Nullstellensatz is to show that the coefficient of a certain monomial in the expansion of a polynomial is nonzero. The major part of the book concentrates on three methods for calculating the coefficients: Alon-Tarsi orientation: The task is to show that a graph has an orientation with given maximum out-degree and for which the number of even Eulerian sub-digraphs is different from the number of odd Eulerian sub-digraphs. In particular this method is used to show that a graph whose edge set decomposes into a Hamilton cycle and vertex-disjoint triangles is 3-choosable and that every planar graph has a matching whose deletion results in a 4-choosable graph. Interpolation formula for the coefficient: This method is in particular used to show that toroidal grids of even order are 3-choosable r-edge colourable r-regular planar graphs are r-edge choosable and complete graphs of order p+1 where p is a prime are p-edge choosable. Coefficients as the permanents of matrices: This method is in particular used in the study of the list version of vertex-edge weighting and to show that every graph is (2 3)-choosable. It is suited as a reference book for a graduate course in mathematics. | Combinatorial Nullstellensatz With Applications to Graph Colouring

GBP 52.99
1

Forecasting and Analytics with the Augmented Dynamic Adaptive Model (ADAM)

Forecasting and Analytics with the Augmented Dynamic Adaptive Model (ADAM)

Forecasting and Analytics with the Augmented Dynamic Adaptive Model (ADAM) focuses on a time series model in Single Source of Error state space form called “ADAM” (Augmented Dynamic Adaptive Model). The book demonstrates a holistic view to forecasting and time series analysis using dynamic models explaining how a variety of instruments can be used to solve real life problems. At the moment there is no other tool in R or Python that would be able to model both intermittent and regular demand would support both ETS and ARIMA work with explanatory variables be able to deal with multiple seasonalities (e. g. for hourly demand data) and have a support for automatic selection of orders components and variables and provide tools for diagnostics and further improvement of the estimated model. ADAM can do all of that in one and the same framework. Given the rising interest in forecasting ADAM being able to do all those things is a useful tool for data scientists business analysts and machine learning experts who work with time series as well as any researchers working in the area of dynamic models. Key Features: • It covers basics of forecasting • It discusses ETS and ARIMA models • It has chapters on extensions of ETS and ARIMA including how to use explanatory variables and how to capture multiple frequencies • It discusses intermittent demand and scale models for ETS ARIMA and regression • It covers diagnostics tools for ADAM and how to produce forecasts with it • It does all of that with examples in R.

GBP 89.99
1

Differential Geometry of Curves and Surfaces

Differential Geometry of Curves and Surfaces

Through two previous editions the third edition of this popular and intriguing text takes both an analytical/theoretical approach and a visual/intuitive approach to the local and global properties of curves and surfaces. Requiring only multivariable calculus and linear algebra it develops students’ geometric intuition through interactive graphics applets. Applets are presented in Maple workbook format which readers can access using the free Maple Player. The book explains the reasons for various definitions while the interactive applets offer motivation for definitions allowing students to explore examples further and give a visual explanation of complicated theorems. The ability to change parametric curves and parametrized surfaces in an applet lets students probe the concepts far beyond what static text permits. Investigative project ideas promote student research. At users of the previous editions' request this third edition offers a broader list of exercises. More elementary exercises are added and some challenging problems are moved later in exercise sets to assure more graduated progress. The authors also add hints to motivate students grappling with the more difficult exercises. This student-friendly and readable approach offers additional examples well-placed to assist student comprehension. In the presentation of the Gauss-Bonnet Theorem the authors provide more intuition and stepping-stones to help students grasp phenomena behind it. Also the concept of a homeomorphism is new to students even though it is a key theoretical component of the definition of a regular surface. Providing more examples show students how to prove certain functions are homeomorphisms. | Differential Geometry of Curves and Surfaces

GBP 56.99
1

Linux The Textbook Second Edition

Linux The Textbook Second Edition

Choosen by BookAuthority as one of BookAuthority's Best Linux Mint Books of All TimeLinux: The Textbook Second Edition provides comprehensive coverage of the contemporary use of the Linux operating system for every level of student or practitioner from beginners to advanced users. The text clearly illustrates system-specific commands and features using Debian-family Debian Ubuntu and Linux Mint and RHEL-family CentOS and stresses universal commands and features that are critical to all Linux distributions. The second edition of the book includes extensive updates and new chapters on system administration for desktop stand-alone PCs and server-class computers; API for system programming including thread programming with pthreads; virtualization methodologies; and an extensive tutorial on systemd service management. Brand new online content on the CRC Press website includes an instructor’s workbook test bank and In-Chapter exercise solutions as well as full downloadable chapters on Python Version 3. 5 programming ZFS TC shell programming advanced system programming and more. An author-hosted GitHub website also features updates further references and errata. Features New or updated coverage of file system sorting regular expressions directory and file searching file compression and encryption shell scripting system programming client-server–based network programming thread programming with pthreads and system administration Extensive in-text pedagogy including chapter objectives student projects and basic and advanced student exercises for every chapter Expansive electronic downloads offer advanced content on Python ZFS TC shell scripting advanced system programming internetworking with Linux TCP/IP and many more topics all featured on the CRC Press website Downloadable test bank work book and solutions available for instructors on the CRC Press website Author-maintained GitHub repository provides other resources such as live links to further references updates and errata | Linux The Textbook Second Edition

GBP 38.99
1

Reproducible Research with R and RStudio

Reproducible Research with R and RStudio

Praise for previous editions:Gandrud has written a great outline of how a fully reproducible research project should look from start to finish with brief explanations of each tool that he uses along the way… Advanced undergraduate students in mathematics statistics and similar fields as well as students just beginning their graduate studies would benefit the most from reading this book. Many more experienced R users or second-year graduate students might find themselves thinking ‘I wish I’d read this book at the start of my studies when I was first learning R!’…This book could be used as the main text for a class on reproducible research … (The American Statistician) Reproducible Research with R and R Studio Third Edition brings together the skills and tools needed for doing and presenting computational research. Using straightforward examples the book takes you through an entire reproducible research workflow. This practical workflow enables you to gather and analyze data as well as dynamically present results in print and on the web. Supplementary materials and example are available on the author’s website. New to the Third Edition Updated package recommendations examples URLs and removed technologies no longer in regular use. More advanced R Markdown (and less LaTeX) in discussions of markup languages and examples. Stronger focus on reproducible working directory tools. Updated discussion of cloud storage services and persistent reproducible material citation. Added discussion of Jupyter notebooks and reproducible practices in industry. Examples of data manipulation with Tidyverse tibbles (in addition to standard data frames) and pivot_longer() and pivot_wider() functions for pivoting data. Features Incorporates the most important advances that have been developed since the editions were published Describes a complete reproducible research workflow from data gathering to the presentation of results Shows how to automatically generate tables and figures using R Includes instructions on formatting a presentation document via markup languages Discusses cloud storage and versioning services particularly Github Explains how to use Unix-like shell programs for working with large research projects | Reproducible Research with R and RStudio

GBP 56.99
1

Analyzing Baseball Data with R Second Edition

Analyzing Baseball Data with R Second Edition

Analyzing Baseball Data with R Second Edition introduces R to sabermetricians baseball enthusiasts and students interested in exploring the richness of baseball data. It equips you with the necessary skills and software tools to perform all the analysis steps from importing the data to transforming them into an appropriate format to visualizing the data via graphs to performing a statistical analysis. The authors first present an overview of publicly available baseball datasets and a gentle introduction to the type of data structures and exploratory and data management capabilities of R. They also cover the ggplot2 graphics functions and employ a tidyverse-friendly workflow throughout. Much of the book illustrates the use of R through popular sabermetrics topics including the Pythagorean formula runs expectancy catcher framing career trajectories simulation of games and seasons patterns of streaky behavior of players and launch angles and exit velocities. All the datasets and R code used in the text are available online. New to the second edition are a systematic adoption of the tidyverse and incorporation of Statcast player tracking data (made available by Baseball Savant). All code from the first edition has been revised according to the principles of the tidyverse. Tidyverse packages including dplyr ggplot2 tidyr purrr and broom are emphasized throughout the book. Two entirely new chapters are made possible by the availability of Statcast data: one explores the notion of catcher framing ability and the other uses launch angle and exit velocity to estimate the probability of a home run. Through the book’s various examples you will learn about modern sabermetrics and how to conduct your own baseball analyses. Max Marchi is a Baseball Analytics Analyst for the Cleveland Indians. He was a regular contributor to The Hardball Times and Baseball Prospectus websites and previously consulted for other MLB clubs. Jim Albert is a Distinguished University Professor of statistics at Bowling Green State University. He has authored or coauthored several books including Curve Ball and Visualizing Baseball and was the editor of the Journal of Quantitative Analysis of Sports. Ben Baumer is an assistant professor of statistical & data sciences at Smith College. Previously a statistical analyst for the New York Mets he is a co-author of The Sabermetric Revolution and Modern Data Science with R.

GBP 52.99
1

Artificial Intelligence and the Two Singularities

Artificial Intelligence and the Two Singularities

The science of AI was born a little over 60 years ago but for most of that time its achievements were modest. In 2012 it experienced a big bang when a branch of statistics called Machine Learning (and a sub-branch called Deep Learning) was applied to it. Now machines have surpassed humans in image recognition and they are catching up with us at speech recognition and natural language processing. Every day the media reports the launch of a new service a new product and a new demonstration powered by AI. When will it end? The surprising truth is the AI revolution has only just begun. Artificial Intelligence and the Two Singularities argues that in the course of this century the exponential growth in the capability of AI is likely to bring about two singularities - points at which conditions are so extreme that the normal rules break down. The first is the economic singularity when machine skill reaches a level that renders many of us unemployable and requires an overhaul of our current economic and social systems. The second is the technological singularity when machine intelligence reaches and then surpasses the cognitive abilities of an adult human relegating us to the second smartest species on the planet. These singularities will present huge challenges but this book argues that we can meet these challenges and overcome them. If we do the rewards could be almost unimaginable. This book covers: • Recent developments in AI and its future potential • The economic singularity and the technological singularity in depth • The risks and opportunities presented by AI • What actions we should take Artificial intelligence can turn out to be the best thing ever to happen to humanity making our future wonderful almost beyond imagination. But only if we address head-on the challenges that it will raise. Calum Chace is a best-selling author of fiction and non-fiction books and articles focusing on the subject of artificial intelligence. He is a regular speaker on artificial intelligence and related technologies and runs a blog on the subject at www. pandoras-brain. com. Prior to becoming a full-time writer and speaker he spent 30 years in business as a marketer a strategy consultant and a CEO. He studied philosophy at Oxford University where he discovered that the science fiction he had been reading since boyhood was simply philosophy in fancy dress.

GBP 46.99
1