Mathematical theory of computation books

11085 books were found.

Computational Techniques for the Summation of Series

Computational Techniques for the Summation of Series...

Author: Anthony Sofo
ISBN: 9781461349044
Format: Paperback
$290.37

Computational Techniques for the Summation of Series is a text on the representation of series in closed form. This...  Read More >>

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers

Rewriting Logic and Its Applications: 9th International...

Author: Francisco Durán
ISBN: 9783642340048
Format: Paperback
$131.97

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting...  Read More >>

New Developments in the Visualization and Processing of Tensor Fields

New Developments in the Visualization and Processing...

Author: David H. Laidlaw ,  Anna Vilanova
ISBN: 9783642273421
Format: Hardback
$448.77

Bringing together key researchers in disciplines ranging from visualization and image processing to applications...  Read More >>

Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws: Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012

Recent Developments in the Numerics of Nonlinear Hyperbolic...

Author: Rainer Ansorge ,  Hester Bijl
ISBN: 9783642332203
Format: Hardback
$580.77

In January 2012 an Oberwolfach workshop took place on the topic of  recent developments in the numerics of partial...  Read More >>

Computer Arithmetic: Algorithms and Hardware Implementations

Computer Arithmetic: Algorithms and Hardware Implementations...

Author: Mircea Vlăduţiu
ISBN: 9783642183140
Format: Hardback
$184.67

Computer Arithmetic provides a complete procedure for linking the digital design and arithmetic algorithms domain,...  Read More >>

Advances in Natural Language Processing: 8th International Conference on NLP, JapTAL 2012, Kanazawa, Japan, October 22-24, 2012, Proceedings

Advances in Natural Language Processing: 8th International...

Author: Hitoshi Isahara ,  Kyoko Kanzaki
ISBN: 9783642339820
Format: Paperback
$145.17

This book constitutes the refereed proceedings of the 8th International Conference on Advances in Natural Language...  Read More >>

Information Computing and Applications: Third International Conference, ICICA 2012, Chengde, China, September 14-16, 2012, Revised Selected Papers

Information Computing and Applications: Third International...

Author: Baoxiang Liu ,  Maode Ma
ISBN: 9783642340611
Format: Paperback
$145.17

Constitutes the refereed proceedings of the Third International Conference on Information Computing and Applications,...  Read More >>

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification...

Author: Tiziana Margaria ,  Bernhard Steffen
ISBN: 9783642340253
Format: Paperback
$145.17

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of...  Read More >>

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification...

Author: Tiziana Margaria ,  Bernhard Steffen
ISBN: 9783642340314
Format: Paperback
$145.17

Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of...  Read More >>

Filtering the Web to Feed Data Warehouses

Filtering the Web to Feed Data Warehouses

Author: Witold Abramowicz ,  Pawel J. Kalczynski
ISBN: 9781447111078
Format: Paperback
$116.41

This book discusses how to use information available on the Web to supply company data warehouses.  Read More >>

Mathematics of Discrete Structures for Computer Science

Mathematics of Discrete Structures for Computer Science...

Author: Gordon J. Pace
ISBN: 9783642298394
Format: Hardback
$224.37

 Read More >>

Principles of Secure Network Systems Design

Principles of Secure Network Systems Design

Author: Sumit Ghosh ,  H. Lawson
ISBN: 9781461265382
Format: Paperback
$145.17

A framework for network security which may be used by the military, government, industry, and academia network personnel....  Read More >>

Tabular Application Development for Information Systems: An Object-Oriented Methodology

Tabular Application Development for Information Systems:...

Author: Talib Damij
ISBN: 9781461265238
Format: Paperback
$145.17

The aim of the book is to represent a new object-oriented methodology called Tabular Application Development (TAD)....  Read More >>

Computer Logic: Design Principles and Applications

Computer Logic: Design Principles and Applications

Author: John Y. Hsu
ISBN: 9781461265429
Format: Paperback
$145.17

An understanding of modern computer logic - incorporating core knowledge of number systems, number conversions,...  Read More >>

The NCL Natural Constraint Language

The NCL Natural Constraint Language

Author: Jianyang Zhou
ISBN: 9783642238444
Format: Hardback
$448.77

""The NCL Natural Constraint Language"" presents the NCL language which is a description language in conventional...  Read More >>

Proceedings of the 21st International Meshing Roundtable

Proceedings of the 21st International Meshing Roundtable...

Author: Xiangmin Jiao ,  Jean-Christophe Weill
ISBN: 9783642335723
Format: Hardback
$580.77

This volume contains the articles presented at the 21st International Meshing Roundtable (IMR) organized, in part,...  Read More >>

Argumentation in Multi-Agent Systems: 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers

Argumentation in Multi-Agent Systems: 8th International...

Author: Peter McBurney ,  Simon Parsons
ISBN: 9783642331510
Format: Paperback
$131.97

This book constitutes the thoroughly reviewed post-proceedings of the 8th International Workshop on Argumentation...  Read More >>

Data Mining and Knowledge Discovery via Logic-Based Methods: Theory, Algorithms, and Applications

Data Mining and Knowledge Discovery via Logic-Based...

Author: Evangelos Triantaphyllou
ISBN: 9781461426134
Format: Paperback
$448.77

The importance of having ef cient and effective methods for data mining and kn- ledge discovery (DM&KD), to which...  Read More >>

802.11 Wireless Networks: Security and Analysis

802.11 Wireless Networks: Security and Analysis

Author: Alan Holt ,  Chi-Yu Huang
ISBN: 9781447125754
Format: Paperback
$290.37

This unique and practical text introduces the principles of WLANs based upon the IEEE 802.11 standards, demonstrating...  Read More >>

Frontiers in Computational and Systems Biology

Frontiers in Computational and Systems Biology

Author: Jianfeng Feng ,  Wenjiang Fu
ISBN: 9781447125709
Format: Paperback
$446.16

Obsession with computational biology and theoretical approaches is evidenced in articles hailing the arrival of...  Read More >>

Natural Deduction, Hybrid Systems and Modal Logics

Natural Deduction, Hybrid Systems and Modal Logics

Author: Andrzej Indrzejczak
ISBN: 9789400732438
Format: Paperback
$659.97

The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and...  Read More >>

IT Security Management: IT Securiteers - Setting up an IT Security Function

IT Security Management: IT Securiteers - Setting up...

Author: Alberto Partida ,  Diego Andina
ISBN: 9789400732629
Format: Paperback
$290.37

IT Security Management provides an insight on how to create and stimulate a team of passionate IT security professionals,...  Read More >>

Simulating Complex Systems by Cellular Automata

Simulating Complex Systems by Cellular Automata

Author: Alfons G. Hoekstra ,  Jiri Kroc
ISBN: 9783642263675
Format: Paperback
$290.37

In the applications part a number of representative examples of really using CA in a broad range of disciplines...  Read More >>

Computational Methods in Biometric Authentication: Statistical Methods for Performance Evaluation

Computational Methods in Biometric Authentication: Statistical...

Author: Michael E. Schuckers
ISBN: 9781447125662
Format: Paperback
$448.77

This unique reference offers a statistical methodology for practitioners and testers of biometric authentication...  Read More >>

The Essential PIC18® Microcontroller

The Essential PIC18® Microcontroller

Author: Sid Katzen
ISBN: 9781447125747
Format: Paperback
$316.77

Topics and features: uses an in-depth bottom-up approach to the topic of microcontroller design using the Microchip...  Read More >>

Sub Categories for
Mathematical theory of computation
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List