» książki » Computers - Machine Theory
topmenu
 |
Advances in Artificial Life: 10th European Conference, ECAL 2009, Budapest, Hungary, September 13-16, 2009, Revised Selected Papers, Part I
ISBN: 9783642212826 / Angielski / Miękka / 501 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNAI 5777 and LNAI 5778 constitutes the thoroughly refereed post-conference proceedings of the 10th European Conference, ECAl 2009, held in Budapest, Hungary, in September 2009. The 141 revised full papers presented were carefully reviewed and selected from161 submissions. The papers are organized in topical sections on evolutionary developmental biology and hardware, evolutionary robotics, protocells and prebiotic chemistry, systems biology, artificial chemistry and neuroscience, group selection, ecosystems and evolution, algorithms and evolutionary computation, philosophy...
The two-volume set LNAI 5777 and LNAI 5778 constitutes the thoroughly refereed post-conference proceedings of the 10th European Conference, ECAl 2009,...
|
cena:
201,24 |
 |
Interactive Theorem Proving: Third International Conference, Itp 2012, Princeton, Nj, Usa, August 13-15, 2012. Proceedings
ISBN: 9783642323461 / Angielski / Miękka / 419 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012. The 21 revised full papers presented together with 4 rough diamond papers, 3 invited talks, and one invited tutorial were carefully reviewed and selected from 40 submissions. Among the topics covered are formalization of mathematics; program abstraction and logics; data structures and synthesis; security; (non-)termination and automata; program verification; theorem prover development; reasoning about program...
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Prin...
|
cena:
201,24 |
 |
Service-Oriented Distributed Knowledge Discovery
ISBN: 9781439875315 / Angielski / Twarda / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A new approach to distributed large-scale data mining, service-oriented knowledge discovery extracts useful knowledge from today s often unmanageable volumes of data by exploiting data mining and machine learning distributed models and techniques in service-oriented infrastructures. Service-Oriented Distributed Knowledge Discovery presents techniques, algorithms, and systems based on the service-oriented paradigm. Through detailed descriptions of real software systems, it shows how the techniques, models, and architectures can be implemented. The book covers... A new approach to distributed large-scale data mining, service-oriented knowledge discovery extracts useful knowledge from today s often unmanageab... |
cena:
538,76 |
 |
Structural Complexity II
ISBN: 9783642753596 / Angielski / Miękka / 283 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treated in Volume I, but the present volume itself is nearly self-contained. As in Volume I, each chapter of this book ends with a section entitled "Bibliographical Remarks," in which the relevant references for the chapter are briefly commented upon. These sections might also be of interest to those wanting an overview of the evolution of the field, as well as relevant related results which are not included in the text. Each chapter includes a...
This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treate...
|
cena:
442,79 |
 |
Structural Complexity I
ISBN: 9783642792373 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the six years since the first edition of this book was published, the field of Structural Complexity has grown quite a bit. However, we are keeping this volume at the same basic level that it had in the first edition, and the only new result incorporated as an appendix is the closure under complementation of nondeterministic space classes, which in the previous edition was posed as an open problem. This result was already included in our Volume II, but we feel that due to the basic nature of the result, it belongs to this volume. There are of course other important results obtained during...
In the six years since the first edition of this book was published, the field of Structural Complexity has grown quite a bit. However, we are keeping...
|
cena:
201,24 |
 |
Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings
ISBN: 9783642324680 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris,...
|
cena:
185,18 |
 |
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques: 15th International Workshop, Approx 2012, and 16th Internatio
ISBN: 9783642325113 / Angielski / Miękka / 674 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2012, and the 16th International Workshop on Randomization and Computation, RANDOM 2012, held in Cambridge, Massachusetts, USA, in August 2011. The volume contains 28 contributed papers, selected by the APPROX Program Committee out of 70 submissions, and 28 contributed papers, selected by the RANDOM Program Committee out of 67 submissions. APPROX focuses on algorithmic and complexity issues surrounding the development of efficient...
This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Pro...
|
cena:
201,24 |
 |
Logic, Language, Information, and Computation
ISBN: 9783642326202 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Work...
|
cena:
201,24 |
 |
Swarm Intelligence: 8th International Conference, Ants 2012, Brussels, Belgium, September 12-14, 2012, Proceedings
ISBN: 9783642326493 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012. This volume contains 15 full papers, 20 short papers, and 7 extended abstracts carefully selected out of 81 submissions. The papers cover various topics of swarm intelligence.
This book constitutes the proceedings of the 8th International Conference on Swarm Intelligence, held in Brussels, Belgium, in September 2012. This vo...
|
cena:
201,24 |
 |
Uncertainty Quantification in Scientific Computing: 10th Ifip Wg 2.5 Working Conference, Wocouq 2011, Boulder, Co, Usa, August 1-4, 2011, Revised Sele
ISBN: 9783642326769 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections: UQ need: risk, policy, and decision making, UQ theory, UQ tools, UQ practice, and hot topics. The papers are followed by the records of the discussions between the participants and the speaker.
This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, ...
|
cena:
201,24 |
 |
Engineering Applications of Neural Networks: 13th International Conference, Eann 2012, London, Uk, September 20-23, 2012.
ISBN: 9783642329081 / Angielski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Engineering Applications of Neural Networks, EANN 2012, held in London, UK, in September 2012. The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers describe the applications of neural networks and other computational intelligence approaches to intelligent transport, environmental engineering, computer security, civil engineering, financial forecasting, virtual learning environments, language interpretation, bioinformatics and general engineering.
This book constitutes the refereed proceedings of the 13th International Conference on Engineering Applications of Neural Networks, EANN 2012, held in...
|
cena:
201,24 |
 |
Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings
ISBN: 9783642329425 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, India, in September 2012. The 16 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 73 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012 held in Bangalore, ...
|
cena:
185,18 |
 |
The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
ISBN: 9783642308901 / Angielski / Miękka / 506 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parameterized complexity is currently a thriving field in complexity theory and algorithm design. A significant part of the success of the field can be attributed to Michael R. Fellows.
This Festschrift has been published in honor of Mike Fellows on the occasion of his 60th birthday. It contains 20 papers that showcase the important scientific contributions of this remarkable man, describes the history of the field of parameterized complexity, and also reflects on other parts of Mike Fellows's unique and broad range of interests, including his work on the popularization of discrete... Parameterized complexity is currently a thriving field in complexity theory and algorithm design. A significant part of the success of the field can b...
|
cena:
201,24 |
 |
Desktop Publishing Mit Dem HP LaserJet: Anwendungen Mit Word, Windows, PageMaker Und Ventura Publisher
ISBN: 9783528046026 / Niemiecki / Miękka / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch ist ein praktischer Fuhrer fOr die Erstellung von Schrift satz und Grafik mit dem HP LaserJet. An uber 20 ausfOhrlich kommentierten Beispieldokumenten wird ein Kurs des "Desktop Publishing" absolviert, der den Leser ausgehend von einfachen Beispielen mit Microsoft Word uber die Anwen dung von Layoutprogrammen (PageMaker und Ventura Publisher) bis hin zu speziellen Anwendungen des wissenschaftlichen Formelsatzes fOhrt. AuBer dem erfahrt der Leser, wie die angebotene Software im Hinblick auf die Anfor derungen unterschiedlicher Anwendungsbereiche zu beurteilen ist. Das Buch...
Das vorliegende Buch ist ein praktischer Fuhrer fOr die Erstellung von Schrift satz und Grafik mit dem HP LaserJet. An uber 20 ausfOhrlich kommentiert...
|
cena:
206,88 |
 |
Abdominal Imaging -Computational and Clinical Applications: International Workshop, CCAAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Proceedings
ISBN: 9783642336119 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Workshop CCAAI 2012, held in Nice, France, in October 2012. The book includes 31 papers which were carefully reviewed and selected from 37 submissions. All of the accepted papers were revised by incorporating of the reviewers' comments and re-submitted by the authors to be included in this proceedings volume. The papers are organized into topical sections on colon and other gastrointestinal tract; and liver, kidney, and other organs.
This book constitutes the refereed proceedings of the International Workshop CCAAI 2012, held in Nice, France, in October 2012. The book includes 31 p...
|
cena:
201,24 |
 |
Computational Methods in Systems Biology: 10th International Conference, Cmsb 2012, London, Uk, October 3-5, 2012, Proceedings
ISBN: 9783642336355 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology, CMSB 2012, held in London, UK, during October 3-5, 2012. The 17 revised full papers and 8 flash posters presented together with the summaries of 3 invited papers were carefully reviewed and selected from 62 submissions. The papers cover the analysis of biological systems, networks, and data ranging from intercellular to multiscale. Topics included high-performance computing, and for the first time papers on synthetic biology.
This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Computational Methods in Systems Biology,...
|
cena:
201,24 |
 |
Artificial Immune Systems: 11th International Conference, Icaris 2012, Taormina, Italy, August 28-31, 2012, Proceedings
ISBN: 9783642337567 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 11th International Conference on Artificial Immune Systems, ICARIS 2012, held in Taormia, Italy, in August 2012. The 19 revised selected papers presented were carefully reviewed and selected for inclusion in this book. In addition 4 papers of the workshop on bio and immune inspired algorithms and models for multi-level complex systems are included in this volume. Artificial immune systems (AIS) is a diverse and maturing area of research that bridges the disciplines of immunology, biology, medical science, computer science, physics,...
This book constitutes the refereed proceedings of the 11th International Conference on Artificial Immune Systems, ICARIS 2012, held in Taormia, Italy,...
|
cena:
201,24 |
 |
Verification of Digital and Hybrid Systems
ISBN: 9783642640520 / Angielski / Miękka / 405 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is based on a NATO workshop. It has two parts. Part 1 addresses the basics of computer-aided verification of discrete event systems from two perspectives: automated theorem proving and model checking. In model checking, the essential problem of computational complexity is addressed, and the basic heuristics for dealing with this problem are presented. Part 2 formulates and classifies hybrid systems that capture continuous dynamics interacting with...
This state-of-the-art tutorial overview of computer-aided verification, hybrid systems, and publicly available tools for design and verification is ba...
|
cena:
402,53 |
 |
Highlights Aus Der Informatik
ISBN: 9783642646560 / Niemiecki / Miękka / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Band enthalt die Beitrage einer Ringvorlesung Highlights aus der Informatik an der Universitat Dortmund, in der Wissenschaftler, die durch ihre Forschung und didaktischen Fahigkeiten ausgewiesen sind, Glanzlichter aus der neueren Informatikforschung aufbereiteten und sie so Studenten und interessierten Laien zuganglich gemacht haben. Dabei wird das ganze Spektrum von tiefliegenden theoretischen Ergebnissen uber anwendungsorientierte Entwicklungen bis zur uberraschenden Losung altbekannter kombinatorischer Probleme behandelt. Die Autoren zeigen kenntnisreich und bisweilen...
Dieser Band enthalt die Beitrage einer Ringvorlesung Highlights aus der Informatik an der Universitat Dortmund, in der Wissenschaftler, die dur...
|
cena:
206,88 |
 |
Learning and Intelligent Optimization: 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers
ISBN: 9783642344121 / Angielski / Miękka / 514 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Learning and Intelligent Optimization, LION 6, held in Paris, France, in January 2012.
Constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Learning and Intelligent Optimization, LION 6, ...
|
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
