-
Formal Semantics in Modern Type Theories
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 .... -
Existence Theory for Generalized Newtonian Fluids
Author Dominic Breit
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....
Release Date 2017/03 -
An Introduction to Formal Languages and Automata, 6th Edition
Author Linz
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,....
Release Date 2016/01 -
Author M Kumar , Tom Schubert , Erik Seligman
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....
Release Date 2015/07 -
Formal Languages and Automata Theory
Author K.V.N. Sunitha
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....
Release Date 2015/04 -
Efficient Computation of Argumentation Semantics
Author Beishui Liao
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 ....
Release Date 2013/12 -
Diplomacy in Japan-EU Relations
Author Oliviero Frattolillo
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, ....
Release Date 2013/06 -
Author Tom Stuart
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....
Release Date 2013/05 -
Computation and Storage in the Cloud
Author Jinjun Chen , Yun Yang , Dong Yuan
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....
Release Date 2013/02 -
Islamic Capital Markets: Theory and Practice
Author Noureddine Krichene
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 ....
Release Date 2013/01 -
Introduction to Automata Theory, Formal Languages and Computation
Author Shyamalendu Kandar
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....
Release Date 2013/01 -
Author S. P. Puri
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....
Release Date 2013/01 -
View Updating and Relational Theory
Author Chris Date
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....
Release Date 2012/12 -
Probability, Random Variables, and Random Processes: Theory and Signal Processing Applications
Author John J. Shynk
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....
Release Date 2012/11 -
Author Patrick Muldowney
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....
Release Date 2012/10 -
Author George Tourlakis
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....
Release Date 2012/04 -
Author Ranajay Kumar , Hoveyda Abbas
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....
Release Date 2012/04 -
Express Learning: Automata Theory and Formal Languages
Author Shyamalendu Kandar
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.....
Release Date 2012/01 -
Express Learning: Introduction to Information Technology
Author ITL Education Solutions Limited
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.....
Release Date 2012/01 -
Numerical Methods for Stochastic Computations
Author Dongbin Xiu
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....
Release Date 2010/07 -
Author Alexander Laskin
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 ....
Release Date 2010/05 -
Author Lurdes Inoue , Giovanni Parmigiani
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. ....
Release Date 2009/05 -
Introduction to Formal Languages, Automata Theory and Computation
Author Kamala Krithivasan , R Rama
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.
Release Date 2009/04