» książki » Computers - Computer Science
topmenu
 |
Fundamentals of Computation Theory: International Conference Fct '87 Kazan, Ussr, June 22-26, 1987. Proceedings
ISBN: 9783540187400 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT '87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical...
This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals ...
|
cena:
203,13 |
 |
Stacs 88: 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
ISBN: 9783540188346 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed...
This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux...
|
cena:
203,13 |
 |
Caap '88: 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings
ISBN: 9783540190219 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The preceding 12 colloquia were held in France, Italy and Germany. CAAP '85 and CAAP '87 were integrated into the International Joint Conference on Theory and Practice of Software Development, TAPSOFT (see Lecture Notes in Computer Science volumes 185 and 249). As another effort to link theory and practice in computer science, CAAP '88 was held in conjunction with the European Symposium on Programming, ESOP '88 (see volume 300 of this Lecture Notes...
This volume contains the proceedings of the 13th Colloquium on Trees in Algebra and Programming (CAAP '88), held in Nancy, March 21-24, 1988. The prec...
|
cena:
203,13 |
 |
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... |
106,66 |
 |
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...
|
444,28 |
 |
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 ... |
414,93 |
 |
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 ...
|
150,81 |
 |
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:
203,13 |
 |
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:
203,13 |
![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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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,94 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
 |
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:
203,13 |
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
