Resultados de Pesquisa

INGLÊS

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

de Wolfgang Schreiner

~~67,58€~~ 60,82€ 10% IMEDIATO

portes grátis

 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;
INGLÊS

Integration In Finite Terms: Fundamental Sources

202,77€ + 10% EM CARTÃO

portes grátis

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

Anti-Differentiation And The Calculation Of Feynman Amplitudes

189,25€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

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

de Wolfgang Schreiner

87,86€ + 10% EM CARTÃO

portes grátis

 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;
INGLÊS

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

de Wolfgang Schreiner

66,24€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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;
INGLÊS

Integration In Finite Terms: Fundamental Sources

198,09€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

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

Integration In Finite Terms: Fundamental Sources

202,77€ + 10% EM CARTÃO

portes grátis

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

Anti-Differentiation And The Calculation Of Feynman Amplitudes

184,84€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

An Invitation To Analytic Combinatorics - From One To Several Variables

de Stephen Melczer

162,21€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

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

121,66€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

American Administrative Capacity - Decline, Decay, And Resilience

de M. Ernita Joaquin e Thomas J. Greitens

135,18€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Anti-Differentiation And The Calculation Of Feynman Amplitudes

189,25€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

An Invitation To Analytic Combinatorics - From One To Several Variables

de Stephen Melczer

162,21€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

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

de Wolfgang Schreiner

79,49€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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>
INGLÊS

Invitation To Analytic Combinatorics - From One To Several Variables

de Stephen Melczer

158,34€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

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

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Introduction To Computational Origami

de Tetsuo Ida

198,09€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

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

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

121,66€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Algorithms In Invariant Theory

de Bernd Sturmfels

35,76€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

Elliptic Integrals, Elliptic Functions And Modular Forms In Quantum Field Theory

264,34€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 <p>This book includes review articles in the field of elliptic integrals, elliptic functions and modular forms intending to foster the discussion between theoretical physicists working on higher loop calculations and mathematicians working in the field of modular forms and functions and analytic solutions of higher order differential and difference equations. </p>
The Symbolic Computation Of Integrability Structures For Partial Differential Equations

de Alexander Verbovetsky, Joseph Krasil'Shchik e Raffaele Vitolo

135,18€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

Symbolic Computation Of Integrability Structures For Partial Differential Equations

de Alexander Verbovetsky, Joseph Krasil'Shchik e Raffaele Vitolo

131,84€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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.
INGLÊS

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

202,77€ + 10% EM CARTÃO

portes grátis

 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.
INGLÊS

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

de Olli-Pekka Hilmola

60,82€ + 10% EM CARTÃO

portes grátis

 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.
A carregar resultados...

Ver mais resultados