All Ebooks

Free Ebooks

Premium Ebooks

Title: A to Z
Title: Z to A
Release Date: Newest to Oldest
Release Date: Oldest to Newest
View ↓
View ↑

Search Results

1 - 24 of 24 results

Filter

Categories

All (38146)
Data(4750)
- Ml Ai(937)
  - Artificial Intelligence(773)
    - Automata Theory(24)

Formal Semantics in Modern Type Theories

Efficient Computation of Argumentation Semantics

Beishui Liao

Express Learning: Automata Theory and Formal Languages

Shyamalendu Kandar

Computation and Storage in the Cloud

Jinjun Chen, Yun Yang, Dong Yuan

Introduction to Automata Theory, Formal Languages and Computation

Shyamalendu Kandar

Decision Theory

Lurdes Inoue, Giovanni Parmigiani

Theory of Computation

George Tourlakis

Political Theory

Ranajay Kumar, Hoveyda Abbas

A Modern Theory of Random Variation: With Applications in Stochastic Calculus, Financial Mathematics, and Feynman Integration

Patrick Muldowney

Formal Languages and Automata Theory

K.V.N. Sunitha

Formal Verification

M Kumar, Tom Schubert, Erik Seligman

Probability, Random Variables, and Random Processes: Theory and Signal Processing Applications

John J. Shynk

An Introduction to Formal Languages and Automata, 6th Edition

Linz

Automata Studies. (AM-34), Volume 34

J. McCarthy, C. E. Shannon

Existence Theory for Generalized Newtonian Fluids

Dominic Breit

Understanding Computation

Tom Stuart

Special Theory of Relativity

S. P. Puri

Islamic Capital Markets: Theory and Practice

Noureddine Krichene

Introduction to Formal Languages, Automata Theory and Computation

Kamala Krithivasan, R Rama

Express Learning: Introduction to Information Technology

ITL Education Solutions Limited

View Updating and Relational Theory

Chris Date

Managing Investor Relations

Alexander Laskin

Numerical Methods for Stochastic Computations

Dongbin Xiu

Diplomacy in Japan-EU Relations

Oliviero Frattolillo

Formal Semantics in Modern Type Theories

Author
Release Date 2021/02
This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide powerful means for adequate semantic constructions. This offers a serious alternative to the traditional settheoretical foundation for ....
Efficient Computation of Argumentation Semantics

Author Beishui Liao
Release Date 2013/12
Efficient Computation of Argumentation Semantics addresses argumentation semantics and systems, introducing readers to cutting-edge decomposition methods that drive increasingly efficient logic computation in AI and intelligent systems. Such complex and distributed ....
Express Learning: Automata Theory and Formal Languages

Author Shyamalendu Kandar
Release Date 2012/01
Express Learning is a series of books designed as quick reference guides to important undergraduate computer courses. The organized and accessible format of these books allows students to learn important concepts in an easy-to-understand, question-and-answer format.....
Computation and Storage in the Cloud

Author Jinjun Chen , Yun Yang , Dong Yuan
Release Date 2013/02
Computation and Storage in the Cloud is the first comprehensive and systematic work investigating the issue of computation and storage trade-off in the cloud in order to reduce the overall application cost. Scientific applications are usually computation and data in....
Introduction to Automata Theory, Formal Languages and Computation

Author Shyamalendu Kandar
Release Date 2013/01
Formal languages and automata theory is the study of abstract machines and how these can be used for solving problems. The book has a simple and exhaustive approach to topics like automata theory, formal languages and theory of computation. These descriptions are fo....
Decision Theory

Author Lurdes Inoue , Giovanni Parmigiani
Release Date 2009/05
Decision theory provides a formal framework for making logical choices in the face of uncertainty. Given a set of alternatives, a set of consequences, and a correspondence between those sets, decision theory offers conceptually simple procedures for choice. ....
Theory of Computation

Author George Tourlakis
Release Date 2012/04
Learn the skills and acquire the intuition to assess the theoretical limitations of computer programmingOffering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various com....
Political Theory

Author Ranajay Kumar , Hoveyda Abbas
Release Date 2012/04
Political Theory is about the description, observation, analysis and inquiry into the issues of political science. Divided into 15 chapters, the book captures all relevant aspects of political science and analyses them in the light of examples from India and the res....
A Modern Theory of Random Variation: With Applications in Stochastic Calculus, Financial Mathematics, and Feynman Integration

Author Patrick Muldowney
Release Date 2012/10
A ground-breaking and practical treatment of probability and stochastic processesA Modern Theory of Random Variation is a new and radical re-formulation of the mathematical underpinnings of subjects as diverse as investment, communication engineering, and quantum me....
Formal Languages and Automata Theory

Author K.V.N. Sunitha
Release Date 2015/04
Formal Languages and Automata Theory deals with the mathematical abstraction model of computation and its relation to formal languages. This book is intended to expose students to the theoretical development of computer science. It also provides conceptual tools th....
Formal Verification

Author M Kumar , Tom Schubert , Erik Seligman
Release Date 2015/07
Formal Verification: An Essential Toolkit for Modern VLSI Design presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these techniques into their work. Formal Verification (FV) enables a designer to direct....
Probability, Random Variables, and Random Processes: Theory and Signal Processing Applications

Author John J. Shynk
Release Date 2012/11
Probability, Random Variables, and Random Processes is a comprehensive textbook on probability theory for engineers that provides a more rigorous mathematical framework than is usually encountered in undergraduate courses. It is intended for first-year graduate stud....
An Introduction to Formal Languages and Automata, 6th Edition

Author Linz
Release Date 2016/01
The Sixth Edition of An Introduction to Formal Languages and Automata provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal languages, automata,....
Automata Studies. (AM-34), Volume 34

Author J. McCarthy , C. E. Shannon
Release Date 2016/03
The description for this book, Automata Studies. (AM-34), Volume 34, will be forthcoming. Show and hide more
Existence Theory for Generalized Newtonian Fluids

Author Dominic Breit
Release Date 2017/03
Existence Theory for Generalized Newtonian Fluids provides a rigorous mathematical treatment of the existence of weak solutions to generalized Navier-Stokes equations modeling Non-Newtonian fluid flows. The book presents classical results, developments over the las....
Understanding Computation

Author Tom Stuart
Release Date 2013/05
Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer science in a context you’ll recognize, helping you appreciate why these ideas matter and how they can inf....
Special Theory of Relativity

Author S. P. Puri
Release Date 2013/01
Special Theory of Relativity is primarily intended as a textbook for the students of physics at the undergraduate level. Examining developments in the field as well as the predictions of special relativity that have taken place since 1959, its comprehensive coverage....
Islamic Capital Markets: Theory and Practice

Author Noureddine Krichene
Release Date 2013/01
A comprehensive look at the essentials of Islamic capital marketsBringing together theoretical and practical aspects of capital markets, Islamic Capital Markets offers readers a comprehensive insight into the institutions, instruments, and regulatory framework that ....
Introduction to Formal Languages, Automata Theory and Computation

Author Kamala Krithivasan , R Rama
Release Date 2009/04
Introduction to Formal Languages, Automata Theory and Computation presents the theoretical concepts in a concise and clear manner, with an in-depth coverage of formal grammar and basic automata types.
Express Learning: Introduction to Information Technology

Author ITL Education Solutions Limited
Release Date 2012/01
Express Learning is a series of books designed as quick reference guides to important undergraduate computer courses. The organized and accessible format of these books allows students to learn important concepts in an easy-to-understand, question-and-answer format.....
View Updating and Relational Theory

Author Chris Date
Release Date 2012/12
Views are virtual tables. That means they should be updatable, just as "real" or base tables are. In fact, view updatability isn’t just desirable, it’s crucial, for practical reasons as well as theoretical ones. But view updating has always been a controversial topi....
Managing Investor Relations

Author Alexander Laskin
Release Date 2010/05
This book will examine the profession of investor relations from the practical standpoint. The book will define what investor relations is, what investor relations professionals do, what skills and competencies are required to become a successful investor relations ....
Numerical Methods for Stochastic Computations

Author Dongbin Xiu
Release Date 2010/07
The@ first graduate-level textbook to focus on fundamental aspects of numerical methods for stochastic computations, this book describes the class of numerical methods based on generalized polynomial chaos (gPC). These fast, efficient, and accurate methods are an e....
Diplomacy in Japan-EU Relations

Author Oliviero Frattolillo
Release Date 2013/06
Since the 1950s, Japan-Europe relations have been characterised by a mutual coldness in terms of diplomatic dialogue, punctuated by a number of trade disputes. This book analyses the development of the political and diplomatic relationship between Japan and Europe, ....

Recommended
Privacy Policy
About