Search Results

ENGLISH

Concrete Abstractions - Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker

by Wolfgang Schreiner

~~67,58€~~ 47,31€ 30% OFF

free shipping

 This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;
ENGLISH

Integration In Finite Terms: Fundamental Sources

~~202,77€~~ 141,94€ 30% OFF

free shipping

 This volume gives an up-to-date review of the subject Integration in Finite Terms.
ENGLISH

Anti-Differentiation And The Calculation Of Feynman Amplitudes

~~189,25€~~ 132,48€ 30% OFF

free shipping

 This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Germany, in October 2020, and a few additional invited reviews.
ENGLISH

Concrete Abstractions - Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker

by Wolfgang Schreiner

~~87,86€~~ 61,50€ 30% OFF

free shipping

 This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;
ENGLISH

Concrete Abstractions - Formalizing And Analyzing Discrete Theories And Algorithms With The Riscal Model Checker

by Wolfgang Schreiner

66,24€ + 10% CARD

 This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science;
ENGLISH

Integration In Finite Terms: Fundamental Sources

198,09€ + 10% CARD

 This volume gives an up-to-date review of the subject Integration in Finite Terms.
ENGLISH

Integration In Finite Terms: Fundamental Sources

~~202,77€~~ 141,94€ 30% OFF

free shipping

 This volume gives an up-to-date review of the subject Integration in Finite Terms.
ENGLISH

Anti-Differentiation And The Calculation Of Feynman Amplitudes

184,84€ + 10% CARD

 This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Germany, in October 2020, and a few additional invited reviews.
ENGLISH

An Invitation To Analytic Combinatorics - From One To Several Variables

by Stephen Melczer

~~162,21€~~ 113,55€ 30% OFF

free shipping

 This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics.
ENGLISH

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions And Computer Algebra - In Honour Of Peter Paule On His 60th Birthday

~~121,66€~~ 85,16€ 30% OFF

free shipping

 The book is centered around the research areas of combinatorics, special functions, and computer algebra. Readers will range from graduate students, researchers to practitioners who are interested in solving concrete problems within mathematics and other research disciplines.
ENGLISH

American Administrative Capacity - Decline, Decay, And Resilience

by M. Ernita Joaquin e Thomas J. Greitens

~~135,18€~~ 94,63€ 30% OFF

free shipping

 Calling attention to a more comprehensive appreciation of the dynamics around administrative capacity, this volume argues for Congress, citizens, and the good government community to promote capacity rebuilding initiatives that have resilience at the core.
ENGLISH

Anti-Differentiation And The Calculation Of Feynman Amplitudes

~~189,25€~~ 132,48€ 30% OFF

free shipping

 This volume comprises review papers presented at the Conference on Antidifferentiation and the Calculation of Feynman Amplitudes, held in Zeuthen, Germany, in October 2020, and a few additional invited reviews.
ENGLISH

An Invitation To Analytic Combinatorics - From One To Several Variables

by Stephen Melczer

~~162,21€~~ 113,55€ 30% OFF

free shipping

 This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics.
ENGLISH

Thinking Programs - Logical Modeling And Reasoning About Languages, Data, Computations, And Executions

by Wolfgang Schreiner

79,49€ + 10% CARD

 This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly <i>think</i> about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute from given inputs wanted outputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single universal language, the formal language of <i>logic</i>. Apart from its universal elegance and expressiveness, this "logical" approach to the formal modeling of and reasoning about computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by <i>software</i>. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools thatare based on respectively make use of the presented logical underpinnings.<div><br></div>
ENGLISH

Invitation To Analytic Combinatorics - From One To Several Variables

by Stephen Melczer

158,34€ + 10% CARD

 This book uses new mathematical tools to examine broad computability and complexity questions in enumerative combinatorics, with applications to other areas of mathematics, theoretical computer science, and physics.
ENGLISH

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions And Computer Algebra - In Honour Of Peter Paule On His 60th Birthday

118,59€ + 10% CARD

 The book is centered around the research areas of combinatorics, special functions, and computer algebra. Readers will range from graduate students, researchers to practitioners who are interested in solving concrete problems within mathematics and other research disciplines.
ENGLISH

Introduction To Computational Origami

by Tetsuo Ida

198,09€ + 10% CARD

 In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers.
ENGLISH

Algorithmic Combinatorics: Enumerative Combinatorics, Special Functions And Computer Algebra - In Honour Of Peter Paule On His 60th Birthday

~~121,66€~~ 85,16€ 30% OFF

free shipping

 The book is centered around the research areas of combinatorics, special functions, and computer algebra. Readers will range from graduate students, researchers to practitioners who are interested in solving concrete problems within mathematics and other research disciplines.
ENGLISH

Algorithms In Invariant Theory

by Bernd Sturmfels

35,76€ + 10% CARD

 J. Kung and G.-C. Rota, in their 1984 paper, write: "Like the Arabian phoenix rising out of its ashes, the theory of invariants, pronounced dead at the turn of the century, is once again at the forefront of mathematics". The book of Sturmfels is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic side of invariant theory. The Groebner bases method is the main tool by which the central problems in invariant theory become amenable to algorithmic solutions. Students will find the book an easy introduction to this "classical and new" area of mathematics. Researchers in mathematics, symbolic computation, and computer science will get access to a wealth of research ideas, hints for applications, outlines and details of algorithms, worked out examples, and research problems.
The Symbolic Computation Of Integrability Structures For Partial Differential Equations

by Alexander Verbovetsky, Joseph Krasil'Shchik e Raffaele Vitolo

~~135,18€~~ 94,63€ 30% OFF

free shipping

 This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers a huge number of situations through tutorials.
ENGLISH

Symbolic Computation Of Integrability Structures For Partial Differential Equations

by Alexander Verbovetsky, Joseph Krasil'Shchik e Raffaele Vitolo

131,84€ + 10% CARD

 This is the first book devoted to the task of computing integrability structures by computer. The symbolic computation of integrability operator is a computationally hard problem and the book covers a huge number of situations through tutorials.
ENGLISH

New Avenues For Regional Innovation Systems - Theoretical Advances, Empirical Cases And Policy Lessons

~~202,77€~~ 141,94€ 30% OFF

free shipping

 This book discusses the latest theoretical advances in regional innovation research, presents empirical cases involving the development of regional innovation systems (RISs), and explores regional innovation policy approaches.
ENGLISH

Supply Chain Cases - Leading Authors, Research Themes And Future Direction

by Olli-Pekka Hilmola

~~60,82€~~ 42,57€ 30% OFF

free shipping

 Identifying key scholars and articles throughout supply chain management, the author explores research themes such as the emphasis on sustainability and the environment post-financial crisis, as well as a growing interest in food supply chain case studies.
ENGLISH

Approximate Commutative Algebra

118,59€ + 10% CARD

 In this volume nine contributions from established researchers describe various approaches to tackle a variety of problems arising in Approximate Commutative Algebra.
Loading results...

View more results