» książki » Computers - Machine Theory
topmenu
 |
Mathematics for Large Scale Computing
ISBN: 9780824781224 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
1224,44 |
 |
Security and Privacy in the Age of Uncertainty: Ifip Tc11 18th International Conference on Information Security (Sec2003) May 26-28, 2003, Athens, Gre
ISBN: 9781402074493 / Angielski / Twarda / 494 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In light of the rapidly escalating age of uncertainty in the IT security and privacy world, this book provides the professional IT community and, in particular, security and data protection experts and researchers, with a selection of state-of-the-art material on emerging technologies for IT security and privacy issues. Furthermore, the book analyzes the new security threats and vulnerabilities that appear in modern information societies. Security and Privacy in the Age of Uncertainty covers issues related to security and privacy of information in a wide range of... In light of the rapidly escalating age of uncertainty in the IT security and privacy world, this book provides the professional IT community and, i... |
cena:
402,53 |
 |
Statistical Computing in C++ and R
ISBN: 9781420066500 / Angielski / Twarda / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With the advancement of statistical methodology inextricably linked to the use of computers, new methodological ideas must be translated into usable code and then numerically evaluated relative to competing procedures. In response to this, Statistical Computing in C++ and R concentrates on the writing of code rather than the development and study of numerical algorithms per se. The book discusses code development in C++ and R and the use of these symbiotic languages in unison. It emphasizes that each offers distinct features that, when used in tandem, can take code writing beyond what can... With the advancement of statistical methodology inextricably linked to the use of computers, new methodological ideas must be translated into usabl... |
cena:
514,26 |
 |
Multi-Agent Systems: Simulation and Applications
ISBN: 9781420070231 / Angielski / Twarda / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Methodological Guidelines for Modeling and Developing MAS-Based Simulations The intersection of agents, modeling, simulation, and application domains has been the subject of active research for over two decades. Although agents and simulation have been used effectively in a variety of application domains, much of the supporting research remains scattered in the literature, too often leaving scientists to develop multi-agent system (MAS) models and simulations from scratch. Multi-Agent Systems: Simulation and Applications... Methodological Guidelines for Modeling and Developing MAS-Based Simulations The intersection of agents, modeling, s... |
cena:
881,59 |
 |
Information Algebras: Generic Structures for Inference
ISBN: 9781852336899 / Angielski / Miękka / 265 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Information usually comes in pieces, from different sources. It refers to different, but related questions. Therefore information needs to be aggregated and focused onto the relevant questions. Considering combination and focusing of information as the relevant operations leads to a generic algebraic structure for information. This book introduces and studies information from this algebraic point of view. Algebras of information provide the necessary abstract framework for generic inference procedures. They allow the application of these procedures to a large variety of different formalisms...
Information usually comes in pieces, from different sources. It refers to different, but related questions. Therefore information needs to be aggregat...
|
cena:
483,04 |
 |
Elements of Finite Model Theory
ISBN: 9783540212027 / Angielski / Twarda / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable; in other words, completeness fails over...
Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for fin...
|
cena:
362,27 |
 |
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
ISBN: 9783540412175 / Angielski / Twarda / 607 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties,... Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in siz...
|
cena:
402,53 |
 |
Theory of Semi-Feasible Algorithms
ISBN: 9783540422006 / Angielski / Twarda / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Invitation to the Dance It is an underappreciated fact that sets may have various types of complex ity, and not all types are in harmony with each other. The primary goal of this book is to unify and make more widely accessible a vibrant stream of research-the theory of semi-feasible computation-that perfectly showcases the richness of, and contrasts between, the central types of complexity. The semi-feasible sets, which are most commonly referred to as the P selective sets, are those sets L for which there is a deterministic polynornial time algorithm that, when given as input any two...
An Invitation to the Dance It is an underappreciated fact that sets may have various types of complex ity, and not all types are in harmony with each ...
|
cena:
402,53 |
 |
DNA Computing: New Computing Paradigms
ISBN: 9783540641964 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The authors are much indebted to many friends and collaborators whose con tributions to automata and language theory approach to DNA computing can be recognized in the present book. The bibliography specifies their names and we shall not repeat them here. Some of them have also read previous versions of various chapters, suggesting modifications which have improved the readability of the text. Many thanks are due in this respect to Tom Head, Hendrik Jan Hoogeboom, Vincenzo Manca, Alexandru Mateescu, Victor Mi trana, Andrei Paun, and Nike van Vugt. In particular, we are grateful to our...
The authors are much indebted to many friends and collaborators whose con tributions to automata and language theory approach to DNA computing can be ...
|
cena:
341,99 |
 |
Introduction to Circuit Complexity: A Uniform Approach
ISBN: 9783540643104 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. to Circuit COIllplexity A Uniform Approach With 29 Figures, Springer Author Dr. Heribert Vollmer Universitiit Wurzburg Theoretische Informatik Am Exerzierplatz 3 D-97072 Wurzburg, Germany vollmer@informatik. uni-wuerzburg. de Series Editors Prof. Dr. Wilfried Brauer Institut fUr Informatik, Technische Universitiit Munchen Arcisstrasse 21, D-80333 Munchen, Germany Prof. Dr. Grzegorz Rozenberg Department of Computer Science, University of Leiden Niels Bohrweg 1, P. O. Box 9512, 2300 RA Leiden, The Netherlands Prof. Dr. Arto Salomaa Data City, Turku Centre for Computer Science FIN-20520 Turku,...
to Circuit COIllplexity A Uniform Approach With 29 Figures, Springer Author Dr. Heribert Vollmer Universitiit Wurzburg Theoretische Informatik Am Exer...
|
cena:
301,89 |
 |
Robust Range Image Registration Using Genetic Algorithms and the Surface Interpenetration Measure
ISBN: 9789812561084 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. - Provides a comprehensive review of the literature in range image registration and serves as an effective study guide on this important topic
- Presents a novel robust error measure, the surface interpretation, which is easily computed and offers significant immunity to non-Gaussian errors. The shortcomings of the least squares formalism in this setting are carefully explored - The first substantive work focusing on precision alignment, and the first capable of attaining such alignments in low-overlap scenarios without human intervention or manual prealignment - Offers extensive... - Provides a comprehensive review of the literature in range image registration and serves as an effective study guide on this important topic
- Pr... |
cena:
465,29 |
 |
Graphtheoretic Concepts in Computer Science: Proceedings of the International Workshop Wg 80 Bad Honnef, June 15-18, 1980
ISBN: 9783540102915 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungaria, August 24-28, 1981
ISBN: 9783540108542 / Angielski / Miękka / 471 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,24 |
 |
Stacs 87: 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Frg, February 19-21, 1987
ISBN: 9783540172192 / Angielski / Miękka / 483 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
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:
201,24 |
 |
Modified Branching Programs and Their Computational Power
ISBN: 9783540513407 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest research in this field. It presents a branching program-based approach to complexity theory. Starting with a definition of branching programs and a review of the former research, nondeterministic branching programs are introduced and investigated, thus allowing the description of some fundamental complexity classes. The book then concentrates on the new concept of Omega-branching programs. Apart from the usual binary tests they contain features for...
Branching Programs are, besides Boolean circuits, the most important nonuniform model of computation. This volume gives a survey of the latest researc...
|
cena:
201,24 |
 |
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings
ISBN: 9783540516316 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique combination of research level articles on various aspects of the theory of finite automata and its applications. Advances made in the last five years on the mathematical foundations form the first part of the book. The second part is devoted to the important problems of the theory including star-height, concatenation hierarchies, and connections with logic and word problems. The last part presents a large variety of possible applications: number...
The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique ...
|
cena:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
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
