![]() |
Formal Techniques for Distributed Objects, Components, and Systems: 36th Ifip Wg 6.1 International Conference, Forte 2016, Held as Part of the 11th In
ISBN: 9783319395692 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.
The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods. This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects, Components, and Sy...
|
cena:
201,24 |
![]() |
Computer Science - Theory and Applications: 11th International Computer Science Symposium in Russia, Csr 2016, St. Petersburg, Russia, June 9-13, 2016
ISBN: 9783319341705 / Angielski / Miękka / 425 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016.
The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer... This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in ... |
cena:
201,24 |
![]() |
Statistical Language and Speech Processing: Third International Conference, Slsp 2015, Budapest, Hungary, November 24-26, 2015, Proceedings
ISBN: 9783319257884 / Angielski / Miękka / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Conference on Statistical Language and Speech Processing, SLSP 2015, held in Budapest, Hungary, in November 2015. The 26 full papers presented together with two invited talks were carefully reviewed and selected from 71 submissions. The papers cover topics such as: anaphora and coreference resolution; authorship identification, plagiarism and spam filtering; computer-aided translation; corpora and language resources; data mining and semantic Web; information extraction; information retrieval; knowledge...This book constitutes the refereed proceedings of the Third International Conference on Statistical Language and Speech Processing, SLSP 2015, held... |
cena:
201,24 |
![]() |
Global Trends in Intelligent Computing Research and Development
ISBN: 9781466649361 / Angielski / Twarda / 601 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the amount of accumulated data across a variety of fields becomes harder to maintain, it is essential for a new generation of computational theories and tools to assist humans in extracting knowledge from this rapidly growing digital data.
Global Trends in Intelligent Computing Research and Development brings together recent advances and in depth knowledge in the fields of knowledge representation and computational intelligence. Highlighting the theoretical advances and their applications to real life problems, this book is an essential tool for researchers, lecturers,... As the amount of accumulated data across a variety of fields becomes harder to maintain, it is essential for a new generation of computational theorie...
|
cena:
1204,41 |
![]() |
Products of Automata
ISBN: 9783642648847 / Angielski / Miękka / 108 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Both theoretical and practical considerations motivate the repre sentation of objects as certain compositions of simpler ones. In the theory of automata this observation has led to the concepts of pro ducts and complete systems of automata. In the general form of the products of automata all the component automata are fed back to one another. With this very broad notion of products, the realization of automata with large numbers of states by means of compositions of basic components is a highly involved process; this increases the possibility of errors. In order to decrease the complexity of...
Both theoretical and practical considerations motivate the repre sentation of objects as certain compositions of simpler ones. In the theory of automa...
|
cena:
201,24 |
![]() |
Apatite: Its Crystal Chemistry, Mineralogy, Utilization, and Geologic and Biologic Occurrences
ISBN: 9783709183168 / Angielski / Miękka / 111 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The preparation of a volume on this topic was undertaken with some hesitancy on my part because the ramifications of the mineralogy of apatite involve both bio logical and physical sciences in very elaborate ways. This hesitancy may have arisen in part from the realization that considerable skill would be required in order to extract the meaning from the thousands of papers that have appeared within the past twenty years; the task of attempting to extract and assemble the usable information seemed gigantic. Greatly adding to the difficulty was the fact that a considerable portion of these...
The preparation of a volume on this topic was undertaken with some hesitancy on my part because the ramifications of the mineralogy of apatite involve...
|
cena:
201,24 |
![]() |
Lattice-Ordered Groups: An Introduction
ISBN: 9789401077927 / Angielski / Miękka / 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 |
![]() |
Engineering Applications of Neural Networks: 12th International Conference, Eann 2011 and 7th Ifip Wg 12.5 International Conference, Aiai 2011, Corfu,
ISBN: 9783642269547 / Angielski / Miękka / 532 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set IFIP AICT 363 and 364 constitutes the refereed proceedings of the 12th International Conference on Engineering Applications of Neural Networks, EANN 2011, and the 7th IFIP WG 12.5 International Conference, AIAI 2011, held jointly in Corfu, Greece, in September 2011. The 52 revised full papers and 28 revised short papers presented together with 31 workshop papers were carefully reviewed and selected from 150 submissions. The first volume includes the papers that were accepted for presentation at the EANN 2011 conference. They are organized in topical sections on computer...
The two-volume set IFIP AICT 363 and 364 constitutes the refereed proceedings of the 12th International Conference on Engineering Applications of Neur...
|
cena:
402,53 |
![]() |
Handbook of Deontic Logic and Normative Systems
ISBN: 9781848901322 / Angielski / Miękka / 646 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, from the interaction of deontic logic with a variety of other fields, including computer science, legal theory, organizational theory, economics, and linguistics. This...
The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and relat...
|
cena:
146,74 |
![]() |
Variational Inequalities and Network Equilibrium Problems
ISBN: 9781489913609 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume brings forth a set of papers presented at the conference on "Varia- tional Inequalities and network equilibrium problems," held in Erice at the "G. Stam- pacchia" School of the "E. Majorana" Centre for Scientific Culture in the period 19 25 June 1994. The meeting was conceived to contribute to the exchange between Variational Analysis and equilibrium problems, especially those related to network design. Most of the approaches and viewpoints of these fields are present in the volume, both as concerns the theory and the applications of equilibrium problems to transportation,...
This volume brings forth a set of papers presented at the conference on "Varia- tional Inequalities and network equilibrium problems," held in Erice a...
|
cena:
402,53 |
![]() |
Parameterized and Exact Computation: 8th International Symposium, Ipec 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers
ISBN: 9783319038971 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Parameterized and Exact Computation, IPEC 2013, in Sophia Antipolis, France, in September 2013.
The 29 revised full papers presented were carefully reviewed and selected from 58 submissions. The topics addressed cover research in all aspects of parameterized/exact algorithms and complexity including but are not limited to new techniques for the design and analysis of parameterized and exact algorithms, fixed-parameter tractability results, parameterized complexity theory,... This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Parameterized and Exact Computation, I...
|
cena:
201,24 |
![]() |
Mathematische Grundlagen Der Computergraphik
ISBN: 9783663001355 / Niemiecki / Miękka / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,88 |
![]() |
The Block Cipher Companion
ISBN: 9783642271113 / Angielski / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Block ciphers encrypt blocks of plaintext, messages, into blocks of ciphertext under the action of a secret key, and the process of encryption is reversed by decryption which uses the same user-supplied key. Block ciphers are fundamental to modern cryptography, in fact they are the most widely used cryptographic primitive - useful in their own right, and in the construction of other cryptographic mechanisms. In this book the authors provide a technically detailed, yet readable, account of the state of the art of block cipher analysis, design, and deployment. The authors first... Block ciphers encrypt blocks of plaintext, messages, into blocks of ciphertext under the action of a secret key, and the process of encryption is r... |
cena:
301,89 |
![]() |
Data Classification: Algorithms and Applications
ISBN: 9781466586741 / Angielski / Twarda / 708 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Comprehensive Coverage of the Entire Area of Classification Comprehensive Coverage of the Entire Area of Classification |
cena:
661,20 |
![]() |
Event Mining: Algorithms and Applications
ISBN: 9781466568570 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Event mining encompasses techniques for automatically and efficiently extracting valuable knowledge from historical event/log data. The field, therefore, plays an important role in data-driven system management. Event Mining: Algorithms and Applications presents state-of-the-art event mining approaches and applications with a focus on computing system management. The book first explains how to transform log data in disparate formats and contents into a canonical form as well as how to optimize system monitoring. It then shows how to extract useful knowledge... Event mining encompasses techniques for automatically and efficiently extracting valuable knowledge from historical event/log data. The field, ther... |
cena:
465,23 |
![]() |
Handbook of Deontic Logic and Normative Systems
ISBN: 9781848901285 / Angielski / Twarda / 646 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, from the interaction of deontic logic with a variety of other fields, including computer science, legal theory, organizational theory, economics, and linguistics. This...
The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and relat...
|
cena:
211,48 |
![]() |
Topical Directions of Informatics: In Memory of V. M. Glushkov
ISBN: 9781493904754 / Angielski / Twarda / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is devoted to the late Ukrainian computer scientist V. M. Glushkov on the 90th anniversary of his birthday. Dr. Glushkov is known for his contribution to the world computer science and technology and this volume analyzes the ideas and paths of development of informatics formulated by him and demonstrate their important role in constructing computer technologies of basic research in the fields of applied mathematics, theories of computer programming and computing systems. A significant portion of the monograph is devoted to the elucidation of new results obtained in the... This work is devoted to the late Ukrainian computer scientist V. M. Glushkov on the 90th anniversary of his birthday. Dr. Glushkov is known for his... |
cena:
402,53 |
![]() |
Mathematische Probleme Der Betriebswirtschaft in Basic Mit Dem IBM PC
ISBN: 9783528044510 / Niemiecki / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch bietet die mathematischen Grundlagen und gibt Erlauterungen zu den Gebieten der Zins-, Renten-, Tilgungs- und lnvestitionsrechnung, ferner fur die Renditen von Kapitalanlagen sowie der Statistik. Ausfuhrliche Beispiele zeigen, wie mit Hilfe der ausgedruckten Programme eigene Probleme in diesen Gebieten effizient gelost werden konnen. Die Programme in BASIC sind auch auf einer Diskette erhaltlich, um das muhsame Abtippen zu ersparen. ln den Diskettenprogrammen werden ebenfalls kurze Erlauterungen zu dem betreffenden Themenkreis gegeben. Alle Programme sind menu gesteuert...
Das vorliegende Buch bietet die mathematischen Grundlagen und gibt Erlauterungen zu den Gebieten der Zins-, Renten-, Tilgungs- und lnvestitionsrechnun...
|
cena:
206,88 |
![]() |
Membrane Computing: An Introduction
ISBN: 9783642628337 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Membrane computing is an unconventional model of computation associated with a new computing paradigm. The field of membrane computing was initiated in 1998 by the author of this book; it is a branch of natural computing inspired by the structure and functioning of the living cell and devises distributed parallel computing models in the form of membrane systems. This book is the first monograph surveying the new field in a systematic and coherent way. It presents the central notions and results: the main classes of P systems, the main results about their computational power and efficiency, a...
Membrane computing is an unconventional model of computation associated with a new computing paradigm. The field of membrane computing was initiated i...
|
cena:
201,24 |
![]() |
A Basis for Theoretical Computer Science
ISBN: 9781461394570 / Angielski / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer science seeks to provide a scientific basis for the study of inform a tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the science, in the microelectronics which has made machines of staggering complexity economically feasible, in the advances in programming methodology which allow immense programs to be designed with increasing speed and reduced error, and in the development of mathematical techniques to allow the rigorous specification of program, process, and machine....
Computer science seeks to provide a scientific basis for the study of inform a tion processing, the solution of problems by algorithms, and the design...
|
cena:
201,24 |