![]() |
Probabilistic Methods for Algorithmic Discrete Mathematics
ISBN: 9783540646228 / Angielski / Twarda / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Leave nothing to chance. This cliche embodies the common belief that ran- domness has no place in carefully planned methodologies, every step should be spelled out, each i dotted and each t crossed. In discrete mathematics at least, nothing could be further from the truth. Introducing random choices into algorithms can improve their performance. The application of proba- bilistic tools has led to the resolution of combinatorial problems which had resisted attack for decades. The chapters in this volume explore and celebrate this fact. Our intention was to bring together, for the first time,...
Leave nothing to chance. This cliche embodies the common belief that ran- domness has no place in carefully planned methodologies, every step should b...
|
cena:
402,53 |
![]() |
Genetic Programming: European Conference, Eurogp 2000 Edinburgh, Scotland, Uk, April 15-16, 2000 Proceedings
ISBN: 9783540673392 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of EuroGP 2000, the European Conf- ence on Genetic Programming, held in Edinburgh on the 15th and 16th April 2000. This event was the third in a series which started with the two European workshops: EuroGP 98, held in Paris in April 1998, and EuroGP 99, held in Gothenburg in May 1999. EuroGP 2000 was held in conjunction with EvoWo- shops 2000 (17th April) and ICES 2000 (17th-19th April). Genetic Programming (GP) is a growing branch of Evolutionary Compu- tion in which the structures in the population being evolved are computer p- grams. GP has been applied...
This volume contains the proceedings of EuroGP 2000, the European Conf- ence on Genetic Programming, held in Edinburgh on the 15th and 16th April 2000...
|
cena:
201,24 |
![]() |
Petri Net Algebra
ISBN: 9783540673989 / Angielski / Twarda / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con current: typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are...
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the w...
|
cena:
603,81 |
![]() |
Lattice-Ordered Groups: An Introduction
ISBN: 9789027726438 / Angielski / Twarda / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The study of groups equipped with a compatible lattice order ("lattice-ordered groups" or "I!-groups") has arisen in a number of different contexts. Examples of this include the study of ideals and divisibility, dating back to the work of Dedekind and continued by Krull; the pioneering work of Hahn on totally ordered abelian groups; and the work of Kantorovich and other analysts on partially ordered function spaces. After the Second World War, the theory of lattice-ordered groups became a subject of study in its own right, following the publication of fundamental papers by Birkhoff, Nakano...
The study of groups equipped with a compatible lattice order ("lattice-ordered groups" or "I!-groups") has arisen in a number of different contexts. E...
|
cena:
402,53 |
![]() |
Cellular Robotics and Micro Robotic Systems
ISBN: 9789810214579 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work introduces various topics, from concepts to the latest research, on cellular and micro-robotic systems. The cellular robotic system is a self-organizing robotic system composed of a large number of autonomous robotic units, named "cells". This idea came from the organic structure of a living body. Several topics in this area are covered, such as swarm intelligence, communications and robotic mechanisms. Micro-mechanisms, control and intelligence, with respect to this system are treated here. The combination of both technologies will prepare the way for a new paradigm in the field of...
This work introduces various topics, from concepts to the latest research, on cellular and micro-robotic systems. The cellular robotic system is a sel...
|
cena:
440,80 |
![]() |
1. Fachtagung Über Automatentheorie Und Formale Sprachen: Gi. Gesellschaft Für Informatik E.V. Bonn, 9.-12. Juli 1973
ISBN: 9783540065272 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
120,73 |
![]() |
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
ISBN: 9783540071426 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Theoretical Computer Science: 5th Gi-Conference Karlsruhe, March 23-25, 1981
ISBN: 9783540105763 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium "Rekursive Kombinatorik" Held from May 23-28, 1983 at the Institut
ISBN: 9783540133315 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,86 |
![]() |
Mathematical Foundations of Computer Science 1984: 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings
ISBN: 9783540133728 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
ISBN: 9783540156505 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
![]() |
Parallel Algorithms and Architectures: International Workshop Suhl, Gdr, May 25-30, 1987; Proceedings
ISBN: 9783540180999 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
120,73 |
![]() |
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:
201,24 |
![]() |
Proceedings / Parcella 1988: Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, Gdr, October 17-21, 1988
ISBN: 9783540506478 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains selected papers for the Parcella '88, the Fourth International Workshop on "Parallel Processing by Cellular Automata and Arrays" held in Berlin from October 17 to 21, 1988. The profile of the Parcella workshop series is focused on problems of processing by regular structures, i.e. their "flexibilization" or adapting to "irregular" algorithms and, closely related to this, on the "regularization" of algorithms for their embedding into regular structures. It seems that these problems will have an increasing priority within the list of central problems in parallelization and...
This volume contains selected papers for the Parcella '88, the Fourth International Workshop on "Parallel Processing by Cellular Automata and Arrays" ...
|
cena:
201,24 |
![]() |
Synthesizing Synchronous Systems by Static Scheduling in Space-Time
ISBN: 9783540511564 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. The task is to find a mapping, assigning a space-time coordinate to each event, so that causality is not violated and the solution is "good." Previous work in the area, if it...
The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-ti...
|
cena:
201,24 |
![]() |
Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
ISBN: 9783540569923 / Angielski / Miękka / 439 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda...
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the s...
|
cena:
201,24 |
![]() |
Database Theory - ICDT '95: 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings
ISBN: 9783540589075 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995.
Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis. This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995.
Besides two... |
cena:
201,24 |
![]() |
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
ISBN: 9783540602187 / Angielski / Miękka / 553 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.
The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra,... This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in Aug...
|
cena:
201,24 |
![]() |
Parallel Algorithms for Irregularly Structured Problems: Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings
ISBN: 9783540603214 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '95, held in Lyon, France in September 1995. This workshop series addresses issues related to deriving efficient parallel solutions to irregularly structured problems and aims at fostering cooperation between practitioners and theoreticians in the field.
Besides three invited papers, 20 full papers and eight short contributions are presented, all selected during a highly competitive refereeing process; the volume is organized in sections on... This book presents the proceedings of the Second International Workshop on Parallel Algorithms for Irregularly Structured Problems, IRREGULAR '95, hel...
|
cena:
201,24 |
![]() |
Computational Learning Theory: 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings
ISBN: 9783540657019 / Angielski / Miękka / 299 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text presents the proceedings of the 4th European Conference on Computational Learning Theory. The 23 contributions address topics such as learning from queries and counter examples, reinforcement learning, online learning and export advice, teaching and learning and inductive inference.
This text presents the proceedings of the 4th European Conference on Computational Learning Theory. The 23 contributions address topics such as learni...
|
cena:
201,24 |