![]() |
The Resolution Calculus
ISBN: 9783642644733 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, Language, and Information in Essex. The challenge of this course (a total of five two-hour lectures) con- sisted in the selection of the topics to be presented. Clearly the first selection has already been made by calling the course "resolution theorem proving" instead of "automated deduction" . In the latter discipline a remarkable body of knowledge has been created during the last 35 years, which hardly can be presented exhaustively, deeply and...
The History of the Book In August 1992 the author had the opportunity to give a course on resolution theorem proving at the Summer School for Logic, L...
|
cena:
201,24 |
![]() |
Assignment Problems
ISBN: 9781611972221 / Angielski / Twarda / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive guide to practical and theoretic aspects of assignment problems, suitable for researchers and practitioners.
A comprehensive guide to practical and theoretic aspects of assignment problems, suitable for researchers and practitioners.
|
cena:
433,13 |
![]() |
Coding Theory and Cryptology
ISBN: 9789812384508 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
210,60 |
![]() |
From Combinatorics to Dynamical Systems: Journées de Calcul Formel, Strasbourg, March 22-23, 2002
ISBN: 9783110178753 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains nine refereed research papers in various areas from combinatorics to dynamical systems, with computer algebra as an underlying and unifying theme. Topics covered include irregular connections, rank reduction and summability of solutions of differential systems, asymptotic behaviour of divergent series, integrability of Hamiltonian systems, multiple zeta values, quasi-polynomial formalism, PadE approximants related to analytic integrability, hybrid systems. The interactions between computer algebra, dynamical systems and combinatorics discussed in this volume should be...
This volume contains nine refereed research papers in various areas from combinatorics to dynamical systems, with computer algebra as an underlying an...
|
cena:
467,22 |
![]() |
A Guide to Maple
ISBN: 9781461264361 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This "hands-on" book is for people who are interested in immediately putting Maple to work. The reader is provided with a compact, fast and surveyable guide that introduces them to the extensive capabilities of the software. The book is sufficient for standard use of Maple and will provide techniques for extending Maple for more specialized work. The author discusses the reliability of results systematically and presents ways of testing questionable results. The book allows a reader to become a user almost immediately and helps him/her to grow gradually to a broader and more proficient use....
This "hands-on" book is for people who are interested in immediately putting Maple to work. The reader is provided with a compact, fast and surveyable...
|
cena:
201,24 |
![]() |
Discrete Probability and Algorithms
ISBN: 9781461269052 / Angielski / Miękka / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Discrete probability theory and the theory of algorithms have become close partners over the last ten years, though the roots of this partnership go back much longer. The papers in this volume address the latest developments in this active field. They are from the IMA Workshops "Probability and Algorithms" and "The Finite Markov Chain Renaissance." They represent the current thinking of many of the world's leading experts in the field. Researchers and graduate students in probability, computer science, combinatorics, and optimization theory will all be interested in this collection... Discrete probability theory and the theory of algorithms have become close partners over the last ten years, though the roots of this partnership g... |
cena:
442,79 |
![]() |
An Introduction to Convex Polytopes
ISBN: 9781461270232 / Angielski / Miękka / 162 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this book is to introduce the reader to the fascinating world of convex polytopes. The highlights of the book are three main theorems in the combinatorial theory of convex polytopes, known as the Dehn-Sommerville Relations, the Upper Bound Theorem and the Lower Bound Theorem. All the background information on convex sets and convex polytopes which is m eded to under- stand and appreciate these three theorems is developed in detail. This background material also forms a basis for studying other aspects of polytope theory. The Dehn-Sommerville Relations are classical, whereas the...
The aim of this book is to introduce the reader to the fascinating world of convex polytopes. The highlights of the book are three main theorems in th...
|
cena:
201,24 |
![]() |
Codes, Designs and Geometry
ISBN: 9781461286189 / Angielski / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Codes, Designs, and Geometry brings together in one place important contributions and up-to-date research results in this important area.
Codes, Designs, and Geometry serves as an excellent reference, providing insight into some of the most important research issues in the field. Codes, Designs, and Geometry brings together in one place important contributions and up-to-date research results in this important area. |
cena:
603,81 |
![]() |
Discrete Analysis and Operations Research
ISBN: 9789401072175 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains translations of papers from the first volume of the new Russian-language journal published at the Sobolev Institute of Mathematics (Sibe rian Branch of the Russian Academy of Sciences, Novosibirsk) since 1994. In 1994 the journal was titled Sibirskil Zhurnal Issledovaniya Operatsil. Since 1995 this journal has the title DiskretnYl Analiz i Issledovanie Operatsil (Discrete Analysis and Operations Research) The aim of this journal is to bring together research papers in different areas of discrete mathematics and computer science. The journal DiskretnYl Analiz i Issledovanie...
This book contains translations of papers from the first volume of the new Russian-language journal published at the Sobolev Institute of Mathematics ...
|
cena:
402,53 |
![]() |
Diskrete Algebraische Methoden: Arithmetik, Kryptographie, Automaten Und Gruppen
ISBN: 9783110312607 / Niemiecki / Twarda / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Bei diskreten algebraischen Methoden handelt es sich um ein zukunftsweisendes Gebiet, dessen Grundlagen weiter an Bedeutung gewinnen werden. Die Grundidee des vorliegenden Lehrbuchs ist, wesentliche Elemente der diskreten Mathematik zu vermitteln, um die modernen Entwicklungen im Informationszeitalter kompetent mathematisch beurteilen zu konnen. Es beginnt mit einem allgemeinen Kapitel uber algebraische Strukturen, welches die Grundlage fur das gesamte Buch bereitstellt. Das folgende Kapitel vermittelt Grundkenntnisse in Kryptographie. Kapitel 3 uber zahlentheoretische Algorithmen ist... Bei diskreten algebraischen Methoden handelt es sich um ein zukunftsweisendes Gebiet, dessen Grundlagen weiter an Bedeutung gewinnen werden. Die Gr... |
cena:
106,02 |
![]() |
Dynamics of Algorithms
ISBN: 9781461270737 / Angielski / Miękka / 145 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The articles collected in this volume represent the contributions presented at the IMA workshop on "Dynamics of Algorithms" which took place in November 1997. The workshop was an integral part of the 1997 -98 IMA program on "Emerging Applications of Dynamical Systems." The interaction between algorithms and dynamical systems is mutually beneficial since dynamical methods can be used to study algorithms that are applied repeatedly. Convergence, asymptotic rates are indeed dynamical properties. On the other hand, the study of dynamical systems benefits enormously from having efficient...
The articles collected in this volume represent the contributions presented at the IMA workshop on "Dynamics of Algorithms" which took place in Novemb...
|
cena:
201,24 |
![]() |
Introduction to Partial Differential Equations with MATLAB
ISBN: 9781461272663 / Angielski / Miękka / 541 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Overview The subject of partial differential equations has an unchanging core of material but is constantly expanding and evolving. The core consists of solution methods, mainly separation of variables, for boundary value problems with constant coeffi- cients in geometrically simple domains. Too often an introductory course focuses exclusively on these core problems and techniques and leaves the student with the impression that there is no more to the subject. Questions of existence, uniqueness, and well-posedness are ignored. In particular there is a lack of connection between the analytical...
Overview The subject of partial differential equations has an unchanging core of material but is constantly expanding and evolving. The core consists ...
|
cena:
301,89 |
![]() |
Discrete Event Systems: Analysis and Control
ISBN: 9781461370253 / Angielski / Miękka / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000). This book provides a survey of the current state of the art in the field of modeling, analysis and control synthesis of discrete event systems, lecture notes for a mini course on sensitivity analysis for performance evaluation of timed discrete event systems, and 48 carefully selected papers covering all areas of discrete event theory and the most important applications domains. Topics include automata theory and...
Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belg...
|
cena:
402,53 |
![]() |
Coding for Channels with Feedback
ISBN: 9781461376194 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Coding for Channels with Feedback presents both algorithms for feedback coding and performance analyses of these algorithms, including analyses of perhaps the most important performance criterion: computational complexity. The algorithms are developed within a single framework, termed the compressed-error-cancellation framework, where data are sent via a sequence of messages: the first message contains the original data; each subsequent message contains a source-coded description of the channel distortions introduced on the message preceding it.
Coding for Channels with... Coding for Channels with Feedback presents both algorithms for feedback coding and performance analyses of these algorithms, including analys...
|
cena:
402,53 |
![]() |
Asymptotic Combinatorial Coding Theory
ISBN: 9781461378396 / Angielski / Miękka / 93 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Asymptotic Combinatorial Coding Theory is devoted to the investigation of the combinatorial properties of transmission systems using discrete signals. The book presents results of interest to specialists in combinatorics seeking to apply combinatorial methods to problems of combinatorial coding theory.
Asymptotic Combinatorial Coding Theory serves as an excellent reference for resarchers in discrete mathematics, combinatorics, and combinatorial coding theory, and may be used as a text for advanced courses on the subject. Asymptotic Combinatorial Coding Theory is devoted to the investigation of the combinatorial properties of transmission systems using discrete...
|
cena:
402,53 |
![]() |
Inkompressible Strömungen Um Systeme Paralleler Zylinder Von Elliptischem Querschnitt
ISBN: 9783531024783 / Niemiecki / Miękka / 54 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1m April 1961 hat die Firma Mannesmann AG einen Bericht tiber Versuche mit Stromungen urn Bundel von parallelen Rohren vorgelegt . Diese Rohrbundel spielen beim Bau von Warmetauschern eine wichtige Rolle. EKperimentell wurde festgestellt, daB Rohre, die senkrecht zur Rohrachse angestromt werden und von elliptischem Querschnitt sind, in stromungs- und warmetechnischer Hin sicht Kreisrohren uberlegen sind. Es zeigt sich, daB die Stromung fast der gesamten Rohrwand anliegt und die auftretenden Wirbelgebiete sehr klein sind (Abb. 1,1). Abb. 1,1 Es erschien deshalb interessant, diese Messungen...
1m April 1961 hat die Firma Mannesmann AG einen Bericht tiber Versuche mit Stromungen urn Bundel von parallelen Rohren vorgelegt . Diese Rohrbundel...
|
cena:
206,88 |
![]() |
Finite Elements Using Maple: A Symbolic Programming Approach
ISBN: 9783642627552 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Almost all physical phenomena can be mathematically described in terms of differential equations. The finite element method is a tool for the appro- mate solution of differential equations. However, despite the extensive use of the finite element method by engineers in the industry, understanding the principles involved in its formulation is often lacking in the common user. As an approximation process, the finite ele ent method can be for- lated with the general technique of weighted residuals. This technique has the advantage of enhancing the essential unity of all processes of approxi-...
Almost all physical phenomena can be mathematically described in terms of differential equations. The finite element method is a tool for the appro- m...
|
cena:
201,24 |
![]() |
Greedoids
ISBN: 9783642634994 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the advent of computers, algorithmic principles play an ever increasing role in mathematics. Algorithms have to exploit the structure of the underlying mathematical object, and properties exploited by algorithms are often closely tied to classical structural analysis in mathematics. This connection between algorithms and structure is in particular apparent in discrete mathematics, where proofs are often constructive, and can be turned into algorithms more directly. The principle of greediness plays a fundamental role both in the design of continuous algorithms (where it is called the...
With the advent of computers, algorithmic principles play an ever increasing role in mathematics. Algorithms have to exploit the structure of the unde...
|
cena:
201,24 |
![]() |
Local Stabilizability of Nonlinear Control Systems
ISBN: 9789810207137 / Angielski / Twarda / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents stabilizability of nonlinear systems, the problem, its motivation, features and results. Control systems defined by ordinary differential equations are dealt with and many worked examples have been included. The main focus is on the mathematical aspects of the problem
Presents stabilizability of nonlinear systems, the problem, its motivation, features and results. Control systems defined by ordinary differential equ...
|
cena:
235,10 |
![]() |
Lectures on Sphere Arrangements - The Discrete Geometric Side
ISBN: 9781461481171 / Angielski / Twarda / 175 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph gives a short introduction to the relevant modern parts of discrete geometry, in addition to leading the reader to the frontiers of geometric research on sphere arrangements. The readership is aimed at advanced undergraduate and early graduate students, as well as interested researchers. It contains more than 40 open research problems ideal for graduate students and researchers in mathematics and computer science. Additionally, this book may be considered ideal for a one-semester advanced undergraduate or graduate level course. The core part of this book is... This monograph gives a short introduction to the relevant modern parts of discrete geometry, in addition to leading the reader to the frontiers of ... |
cena:
201,24 |