» książki » Computers - Computer Science
topmenu
 |
Uniqueness Theorems for Variational Problems by the Method of Transformation Groups
ISBN: 9783540218395 / Angielski / Miękka / 158 str. Termin realizacji zamówienia: 22 dni roboczych A classical problem in the calculus of variations is the investigation of critical points of functionals {cal L} on normed spaces V. The present work addresses the question: Under what conditions on the functional {cal L} and the underlying space V does {cal L} have at most one critical point? A sufficient condition for uniqueness is given: the presence of a "variational sub-symmetry," i.e., a one-parameter group G of transformations of V, which strictly reduces the values of {cal L}. The "method of transformation groups" is applied to... A classical problem in the calculus of variations is the investigation of critical points of functionals {cal L} on normed spaces V. The p... |
122,34 |
 |
Classification, Clustering, and Data Mining Applications: Proceedings of the Meeting of the International Federation of Classification Societies (Ifcs
ISBN: 9783540220145 / Angielski / Miękka / 658 str. Termin realizacji zamówienia: 22 dni roboczych Modern data analysis stands at the interface of statistics, computer science, and discrete mathematics. This volume describes new methods in this area, with special emphasis on classification and cluster analysis. Those methods are applied to problems in information retrieval, phylogeny, medical diagnosis, microarrays, and other active research areas.
Modern data analysis stands at the interface of statistics, computer science, and discrete mathematics. This volume describes new methods in this area...
|
510,46 |
 |
Algebraic Integrability, Painlevé Geometry and Lie Algebras
ISBN: 9783540224709 / Angielski / Twarda / 484 str. Termin realizacji zamówienia: 22 dni roboczych This Ergebnisse volume is aimed at a wide readership of mathematicians and physicists, graduate students and professionals. The main thrust of the book is to show how algebraic geometry, Lie theory and Painleve analysis can be used to explicitly solve integrable differential equations and construct the algebraic tori on which they linearize; at the same time, it is, for the student, a playing ground to applying algebraic geometry and Lie theory. The book is meant to be reasonably self-contained and presents numerous examples. The latter appear throughout the text to illustrate the ideas,... This Ergebnisse volume is aimed at a wide readership of mathematicians and physicists, graduate students and professionals. The main thrust of the ... |
476,72 |
 |
The Valuative Tree
ISBN: 9783540229841 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: 22 dni roboczych This volume is devoted to a beautiful object, called the valuative tree and designed as a powerful tool for the study of singularities in two complex dimensions. Its intricate yet manageable structure can be analyzed by both algebraic and geometric means. Many types of singularities, including those of curves, ideals, and plurisubharmonic functions, can be encoded in terms of positive measures on the valuative tree. The construction of these measures uses a natural tree Laplace operator of independent interest.
This volume is devoted to a beautiful object, called the valuative tree and designed as a powerful tool for the study of singularities in two complex ...
|
173,07 |
 |
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in
ISBN: 9783540231677 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004. talks were carefully reviewed and selected from 70 submissions. specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets,...
This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and...
|
cena:
202,66 |
 |
Fundamentals of Computation Theory: 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings
ISBN: 9783540405436 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Symposium Fundamentals of Computation Theory, FCT 2003, held in Malmo, Sweden in August 2003.The 36 revised full papers presented together with an invited paper and the abstracts of 2 invited talks were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on approximibility, algorithms, networks and complexity, computational biology, computational geometry, computational models and complexity, structural complexity, formal languages, and logic.
This book constitutes the refereed proceedings of the 14th International Symposium Fundamentals of Computation Theory, FCT 2003, held in Malmo, Sweden...
|
cena:
202,66 |
![Efficient Structures for Geometric Data Management Oliver G]nther 9783540504634 Springer](/9783540504634_efficient_structures_for_geometric_data_management.jpg "Efficient Structures for Geometric Data Management") |
Efficient Structures for Geometric Data Management
ISBN: 9783540504634 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The efficient management of geometric data, such as points, curves, or polyhedra in arbitrary dimensions, is of great importance in many complex database applications like CAD/CAM, robotics, or computer vision. To provide optimal support for geometric operations, it is crucial to choose efficient data representation schemes. The first part of this book contains a taxonomy and critical survey of common operations and representation schemes for geometric data. Then several new schemes for the efficient support of set operations (union, intersection) and search operations (point location, range...
The efficient management of geometric data, such as points, curves, or polyhedra in arbitrary dimensions, is of great importance in many complex datab...
|
cena:
202,66 |
 |
Symbolic and Algebraic Computation: International Symposium Issac' 88, Rome, Italy, July 4-8, 1988. Proceedings
ISBN: 9783540510840 / Angielski / Miękka / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the...
The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Gr...
|
cena:
202,66 |
 |
EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings
ISBN: 9783540515173 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer Science. They contain original research material not published elsewhere, and a few invited lectures summarising the state of the art. Computer algebra is the science of using computers to do algebraic calculations, rather than the purely arithmetic calculations which we all know computers can do. These calculations may be polynomial-like calculations - one thread of the conference was devoted to...
This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have a...
|
cena:
202,66 |
 |
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
ISBN: 9783540516620 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program...
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in A...
|
cena:
190,50 |
 |
Optimal Algorithms: International Symposium. Varna, Bulgaria, May 29-June 2, 1989. Proceedings
ISBN: 9783540518594 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume brings together papers from various fields of theoretical computer science, including computational geometry, parallel algorithms, algorithms on graphs, data structures and complexity of algorithms. Some of the invited papers include surveys of results in particular fields and some report original research, while all the contributed papers report original research. Most of the algorithms given are for parallel models of computation. The papers were presented at the Second International Symposium on Optimal Algorithms held in Varna, Bulgaria, in May/June 1989. The volume will be...
This volume brings together papers from various fields of theoretical computer science, including computational geometry, parallel algorithms, algorit...
|
cena:
202,66 |
 |
Concrete and Abstract Voronoi Diagrams
ISBN: 9783540520559 / Angielski / Miękka / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all points of the plane that are closer to this site than to the other ones. Such partitions are of great importance to computer science and many other fields. The challenge is to compute Voronoi diagrams quickly. The problem is that their structure depends on the notion of distance and the sort of site. In this book the author proposes a unifying approach by introducing abstract Voronoi diagrams. These are based on the concept of bisecting curves, which...
The Voronoi diagram of a set of sites is a partition of the plane into regions, one to each site, such that the region of each site contains all point...
|
cena:
202,66 |
 |
STACS 90: 7th Annual Symposium on Theoretical Aspects of Computer Science. Rouen, France, February 22-24, 1990. Proceedings
ISBN: 9783540522829 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Francaise de Cybernetique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft fur Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing...
The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Associat...
|
cena:
202,66 |
 |
Progress in Distributed Operating Systems and Distributed Systems Management: European Workshop, Berlin, FRG, April 18/19, 1989, Proceedings
ISBN: 9783540526094 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains a selection of papers which were presented at a workshop on distributed operating systems and management of distributed systems. Including case study analyses, the papers focus on the illustration of the existing concepts and solutions in distributed systems research and development.
Contains a selection of papers which were presented at a workshop on distributed operating systems and management of distributed systems. Including ca...
|
cena:
202,66 |
 |
Visualization in Human-Computer Interaction: 7th Interdisciplinary Workshop on Informatics and Psychology, Schärding, Austria, May 24-27, 1988. Select
ISBN: 9783540526988 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents a selection of the contributions to the Seventh Workshop on Informatics and Psychology. The theme of the workshop was Visualization in Human-Computer Interaction. Visualization is nowadays recognized as an important aspect of user-oriented human-computer interfaces. Both informatics and psychology are concerned with this topic. In informatics, the technology is being developed which makes visualization and interaction based on visual concepts feasible. Another important trend in informatics is the development of prototypical solutions. Visual programming,...
This volume presents a selection of the contributions to the Seventh Workshop on Informatics and Psychology. The theme of the workshop was Visualiz...
|
cena:
202,66 |
 |
Algorithms: International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990. Proceedings
ISBN: 9783540529217 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the proceedings of the SIGAL International Symposium on Algorithms held at CSK Information Education Center, Tokyo, Japan, August 16-18, 1990. SIGAL (Special Interest Group on Algorithms) was organized within the Information Processing Society of Japan in 1988 to encourage research in the field of discrete algorithms, and held 6-8 research meetings each year.
This is the proceedings of the SIGAL International Symposium on Algorithms held at CSK Information Education Center, Tokyo, Japan, August 16-18, 1990....
|
cena:
202,66 |
 |
Advances in Computing and Information - ICCI '90: International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Procee
ISBN: 9783540535041 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and co-operation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of the 1990 conference were information and coding theory, the foundations of computer science, concurrency and parallelism, and VLSI.
ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. The...
|
cena:
202,66 |
 |
Stacs 91: 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings
ISBN: 9783540537090 / Angielski / Miękka / 551 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of STACS 91, a symposium on the theoretical aspects of computer science, held in Hamburg, Germany in February 1991. STACS is held each year, alternately in Germany and France, and is organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft fuer Informatik (GI) and the Special Interest Group for Applied Mathematics of the Association Francaise des Sciences et Techniques de l'Information et de Systemes (AFCET).
This volume contains the proceedings of STACS 91, a symposium on the theoretical aspects of computer science, held in Hamburg, Germany in February 199...
|
cena:
405,36 |
 |
Advances in Petri Nets 1990
ISBN: 9783540538639 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. The papers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1990 covers the Tenth...
The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results...
|
cena:
202,66 |
 |
Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
ISBN: 9783540539049 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of an international conference on rewriting techniques and applications, designed for researchers and lecturers in theoretical computer science and mathematics. It includes 40 papers on a wide variety of topics including term rewriting systems, equational unification, algebraic rewriting, termination proofs, generalization problems, undecidable properties, parametrized specification, normalizing systems, program transformation, query optimization, tree languages, graph languages, theorem proving systems, completion, graph rewriting systems and open...
This volume contains the proceedings of an international conference on rewriting techniques and applications, designed for researchers and lecturers i...
|
cena:
202,66 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
