FREE SHIPPING OVER $100

To any Australian address

AUSTRALIAN OWNED & OPERATED

Supporting local authors, readers and publishers

Mathematical theory of computation Books

Maths for computer scientists

Add to Cart The item has been added

Time Series Clustering and Classification

The beginning of the age of artificial intelligence and machine learning has created new challenges and opportunities for data analysts, statisticians, mathematicians, econometricians, computer...

RRP:

$424.00

Add to Cart The item has been added
Add to Cart The item has been added

Sparse Modeling

This book provides an introduction to the growing field of sparse modeling, including application examples, problem formulations that yield sparse solutions, algorithms for finding such solutions,...

RRP:

$204.00

Add to Cart The item has been added
Add to Cart The item has been added

The Virtual Mind

The Virtual Mind: Designing the Logic to Approximate Human Thinking, through an in-depth and multidisciplinary review, outlines and defines the underpinnings for modelling human thinking through...

RRP:

$373.00

Add to Cart The item has been added
Add to Cart The item has been added

Case Studies in Secure Computing

In today's age of wireless and mobile computing, network and computer security is paramount. Case Studies in Secure Computing: Achievements and Trends gathers the latest research from researchers who...

RRP:

$145.00

Add to Cart The item has been added
Add to Cart The item has been added

Modern Computer Vision with PyTorch

Get to grips with deep learning techniques for building image processing applications using PyTorch with the help of code notebooks and test questionsKey FeaturesImplement solutions to 50 real-world...

RRP:

$131.00

Add to Cart The item has been added
Add to Cart The item has been added

Reproducible Data Science with Pachyderm

Create scalable and reliable data pipelines easily with PachydermKey Features:Learn how to build an enterprise-level reproducible data science platform with PachydermDeploy Pachyderm on cloud...

RRP:

$103.00

Add to Cart The item has been added
Add to Cart The item has been added

Machine Learning with Amazon SageMaker Cookbook

A step-by-step solution-based guide to preparing building, training, and deploying high-quality machine learning models with Amazon SageMakerKey Features:Perform ML experiments with built-in and...

RRP:

$109.00

Add to Cart The item has been added
Add to Cart The item has been added

Learning Deep Architectures for AI

Can machine learning deliver AI? Theoretical results, inspiration from the brain and cognition, as well as machine learning experiments suggest that in order to learn the kind of complicated...

RRP:

$206.00

Add to Cart The item has been added
Add to Cart The item has been added

Orthomodular Lattices

Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. Bowever, the "tree" of knowledge of mathematics and related fields does...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Relations and Graphs

Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and...

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

Universal Algebra for Computer Scientists

A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that...

RRP:

$184.00

Add to Cart The item has been added
Add to Cart The item has been added

Structural Complexity II

RRP:

$233.00

Add to Cart The item has been added
Add to Cart The item has been added

Regulated Rewriting in Formal Language Theory

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Gems of Theoretical Computer Science

This book assembles some of the most important problems and solutions in theoretical computer science-from computability, logic, circuit theory, and complexity. The book presents these important...

RRP:

$241.00

Add to Cart The item has been added
Add to Cart The item has been added

System Modeling and Optimization

rd This book constitutes a collection of extended versions of papers presented at the 23 IFIP TC7 Conference on System Modeling and Optimization, which was held in C- cow, Poland, on July 23-27, 2007...

RRP:

$324.00

Add to Cart The item has been added
Add to Cart The item has been added

Euro-Par 2011 Parallel Processing

The two-volume set LNCS 6852/6853 constitutes the refereed proceedings of the 17th International Euro-Par Conference held in Bordeaux, France, in August/September 2011. The 81 revised full papers...

RRP:

$191.00

Add to Cart The item has been added
Add to Cart The item has been added

Studies in Complexity and Cryptography

This book presents a collection of 36 pieces of scientific work in the areas of complexity theory and foundations of cryptography: 20 research contributions, 13 survey articles, and 3 programmatic...

RRP:

$162.00

Add to Cart The item has been added
Add to Cart The item has been added

Petri Nets for Systems Engineering

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to...

RRP:

$194.00

Add to Cart The item has been added
Add to Cart The item has been added

The Classical Decision Problem

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a...

RRP:

$303.00

Add to Cart The item has been added
Add to Cart The item has been added

Code Generation - Concepts, Tools, Techniques

Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991. The aim of the workshop was to evaluate ...

RRP:

$154.00

Add to Cart The item has been added
Add to Cart The item has been added

Soft Computing and Its Applications, Volume Two

This book will be highly useful to researchers in the area of pattern classification and computer vision as well as for academics and professionals. Combining theory and practice, the book presents...

RRP:

$214.00

Add to Cart The item has been added
Add to Cart The item has been added

Regularization, Optimization, Kernels, and Support Vector Machines

This book is a collection of invited contributions from leading researchers in machine learning. Comprised of 21 chapters, this comprehensive reference covers the latest research and advances in...

RRP:

$270.00

Add to Cart The item has been added
Add to Cart The item has been added

Video Cataloguing

Video Cataloguing explains how to efficiently perform video structure analysis as well as extract the basic semantic contents for video summarization, which is essential for handling large-scale...

RRP:

$270.00

Add to Cart The item has been added
Add to Cart The item has been added

Automatic Defense Against Zero-day Polymorphic Worms in Communication Networks

Polymorphic worm attacks are considered one of the top threats to Internet security. They can be used to delay networks, steal information, delete information, and launch flooding attacks against...

RRP:

$226.00

Add to Cart The item has been added
Add to Cart The item has been added

Paradoxes in Scientific Inference

Paradoxes are poems of science and philosophy that collectively allow us to address broad multidisciplinary issues within a microcosm. A true paradox is a source of creativity and a concise...

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

Agent-Based Modeling and Simulation with Swarm

A thorough overview of multi-agent simulation and supporting tools, this book provides the methodology for a multi-agent-based modeling approach that integrates computational techniques such as...

RRP:

$410.00

Add to Cart The item has been added
Add to Cart The item has been added

A New Kind of Computational Biology

This book reflects more than three decades of research on Cellular Automata (CA), and nearly a decade of work on the application of CA to model biological strings, which forms the foundation of 'A...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Selected Topics in Algebra

Approach your problems from the right It isn't that they can't see the solution. end and begin with the answers. Then It is that they can't see the problem. one day, perhaps you will find the final G...

RRP:

$227.00

Add to Cart The item has been added
Add to Cart The item has been added

Lattice-Ordered Groups

The study of groups equipped with a compatible lattice order ("lattice-ordered groups" or "I!-groups") has arisen in a number of different contexts. Examples of this include the study of ideals and...

RRP:

$309.00

Add to Cart The item has been added
Add to Cart The item has been added

Soft Computing and Human-Centered Machines

Computer Science Workbench is a monograph series which will provide you with an in-depth working knowledge of current developments in computer technology. Every volume in this series will deal with a...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Künstliche Intelligenz und Heuristisches Programmieren

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Apatite

The preparation of a volume on this topic was undertaken with some hesitancy on my part because the ramifications of the mineralogy of apatite involve both bio logical and physical sciences in very...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

LATIN 2016

This book constitutes therefereed proceedings of the 12th Latin American Symposium on TheoreticalInformatics, LATIN 2016, held in Ensenada, Mexico, in April 2016.The 52 papers presentedtogether with...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Transactions on Computational Science XXIV

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Abstract State Machines, Alloy, B, TLA, VDM, and Z

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in...

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

Data Structures and Algorithms 2

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Data Structures and Algorithms 1

The design and analysis of data structures and efficient algorithms has gained considerable importance in recent years. The concept of "algorithm" is central in computer science, and "efficiency" is...

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

Products of Automata

Both theoretical and practical considerations motivate the repre sentation of objects as certain compositions of simpler ones. In the theory of automata this observation has led to the concepts of...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Uncertainty Quantification in Scientific Computing

This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August...

RRP:

$116.00

Add to Cart The item has been added
Add to Cart The item has been added

Descriptional Complexity of Formal Systems

This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

Application and Theory of Petri Nets

This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012...

RRP:

$92.00

Add to Cart The item has been added
Add to Cart The item has been added

OpenMP in a Heterogeneous World

This book constitutes the refereed proceedings of the 8th International Workshop on OpenMP, held in in Rome, Italy, in June 2012. The 18 technical full papers presented together with 7 posters were...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Abstract State Machines, Alloy, B, VDM, and Z

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

Software Service and Application Engineering

This festschrift volume, published in honor of Bernd Krämer on the occasion of his 65th birthday, contains 11 contributions by close scientific companions. Covering topics like Petri nets and...

RRP:

$122.00

Add to Cart The item has been added
Add to Cart The item has been added

The Multivariate Algorithmic Revolution and Beyond

Parameterized complexity is currently a thriving field in complexity theory and algorithm design. A significant part of the success of the field can be attributed to Michael R. Fellows. This...

RRP:

$122.00

Add to Cart The item has been added

Items 49 to 96 of 319 total

1
2
3
4
5
6
7

Mathematical theory of computation

PRE-SALES

If you have any questions before making a purchase chat with our online operators to get more information.

or find our Questions & Answers

AFTER-SALES

If you have need any help about the After-Sales issues, please contact us.

New Releases
For Dummies
School Textbooks And Teacher Resources
Lonely Planet
Star Wars
Minecraft
ADHD Books
Pokemon Books And Graphic Novels
Little Golden Books
How To Draw
Peppa Pig
Children's Activity books
Bluey
Trending Books
Kids Easter Books
Apple Park
Bigjigs
Peter Rabbit
Australian
ABIA award winners
Harry Potter
Alex Cross
Grug