![]() |
5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by Bcs-Facs, London, 8-10 January 1992
ISBN: 9783540197522 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hard- and software is widely appreciated by academics and workers in industry, despite the fact that certain research areas, such as the application to industrial-scale problems, are still in their infancy. This volume contains the papers presented at the 5th Refinement Workshop held in London, 8-10 January 1992. Its theme was the theory and practice of software...
Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into design...
|
cena:
271,36 |
![]() |
Information Hiding: Second International Workshop, Ih'98, Portland, Oregon, Usa, April 14-17, 1998, Proceedings
ISBN: 9783540653868 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The mid-1990ssaw an exciting convergenceof a number of dieren t information protection technologies, whose theme was the hiding (as opposed to encryption) of information. Copyright marking schemes are about hiding either copyright notices or individual serial numbers imperceptibly in digital audio and video, as a component in intellectual property protection systems; anonymous c- munication is another area of rapid growth, with people designing systems for electronic cash, digital elections, and privacy in mobile communications; se- rity researchers are also interested in 'stray'...
The mid-1990ssaw an exciting convergenceof a number of dieren t information protection technologies, whose theme was the hiding (as opposed to encrypt...
|
cena:
271,36 |
![]() |
Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems
ISBN: 9783540655060 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. State-transition systems model machines, programs, and speci?cations 20, 23,284,329], butalsothegrowthanddeclineofantpopulations, ?nancial markets, diseases and crystals 22, 35, 178, 209, 279]. In the last decade, thegrowinguseofdigitalcontrollersinvariousenvironmentshasentailed theconvergenceofcontroltheoryandreal-timesystemstowardhybrids- tems 16] by combining both discrete-event facets of reality with Nature s continuous-time aspects. The computing scientist and the mathematician have re-discovered each other. Indeed, in the late sixties, the programming language Simula, father of...
State-transition systems model machines, programs, and speci?cations 20, 23,284,329], butalsothegrowthanddeclineofantpopulations, ?nancial markets, d...
|
cena:
271,36 |
![]() |
The Core Model Iterability Problem
ISBN: 9783540619383 / Angielski / Miękka / 115 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Large cardinal hypotheses play a central role in modern set theory. One important way to understand such hypotheses is to construct concrete, minimal universes, or "core models," satisfying them. Since Godel's pioneering work on the universe of constructible sets, several larger core models satisfying stronger hypotheses have been constructed, and these have proved quite useful. Here the author extends this theory so that it can produce core models satisfying "There is a Woodin cardinal," a large cardinal hypothesis which is the focus of much current research. The book is intended for...
Large cardinal hypotheses play a central role in modern set theory. One important way to understand such hypotheses is to construct concrete, minimal ...
|
cena:
271,36 |
![]() |
Transactions on Computational Collective Intelligence XV
ISBN: 9783662447499 / Angielski / Miękka / 183 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks, and multi-agent systems. TCCI strives to cover new methodological, theoretical and practical aspects of CCI understood as the form of intelligence that emerges from the collaboration and competition of many individuals (artificial and/or natural). The application of multiple computational intelligence technologies, such as fuzzy systems, evolutionary computation, neural systems, consensus... These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range... |
cena:
271,36 |
![]() |
Gaussian Processes for Machine Learning
ISBN: 9780262182539 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gaussian processes (GPs) provide a principled, practical, probabilistic approach to learning in kernel machines. GPs have received increased attention in the machine-learning community over the past decade, and this book provides a long-needed systematic and unified treatment of theoretical and practical aspects of GPs in machine learning. The treatment is comprehensive and self-contained, targeted at researchers and students in machine learning and applied statistics.The book deals with the supervised-learning problem for both regression and classification, and includes detailed... Gaussian processes (GPs) provide a principled, practical, probabilistic approach to learning in kernel machines. GPs have received increased attent... |
cena:
271,91 |
![]() |
Introducing Information Management
ISBN: 9780750666688 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a clear and concise overview of Information Management covering the key aspects of infrastructure, design, information assets and managing information.* Part 1 explores the diversity and changing nature of managing the information management function.* Part 2 investigates the role of information as an organizational resource.* Part 3 focuses on managing organizational data and information.* Part 4 examines the role of information management in organizational strategy and change.
This book provides a clear and concise overview of Information Management covering the key aspects of infrastructure, design, information assets and m...
|
cena:
273,17 |
![]() |
Lean IT: Enabling and Sustaining Your Lean Transformation
ISBN: 9781439817568 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Winner of a Shingo Research and Professional Publication Award Winner of a Shingo Research and Professional Publication Award |
cena:
273,17 |
![]() |
Introduction to Information Security
ISBN: 9781597499699 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Most introductory texts provide a technology-based survey of methods and techniques that leaves the reader without a clear understanding of the interrelationships between methods and techniques. By providing a strategy-based introduction, the reader is given a clear understanding of how to provide overlapping defenses for critical information. This understanding provides a basis for engineering and risk-management decisions in the defense of information. Information security is a rapidly growing field, with a projected need for thousands of professionals within the next decade in... Most introductory texts provide a technology-based survey of methods and techniques that leaves the reader without a clear understanding of the int... |
cena:
273,17 |
![]() |
Data Plane Development Kit (Dpdk): A Software Optimization Guide to the User Space-Based Network Applications
ISBN: 9780367373955 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
273,17 |
![]() |
Virtual Reality Usability Design
ISBN: 9781032191324 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Virtual Reality Usability Design provides readers with an understanding of the techniques and technologies required to design engaging and effective VR applications.
Full of real-world examples, this book is an indispensable guide for any practicing VR developer interested in making efficient and effective interfaces. Virtual Reality Usability Design provides readers with an understanding of the techniques and technologies required to design engaging and effective V...
|
cena:
273,17 |
![]() |
Artificial Intelligence and Large Language Models: An Introduction to the Technological Future
ISBN: 9781032754802 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
273,17 |
![]() |
Validated Numerics: A Short Introduction to Rigorous Computations a Short Introduction to Rigorous Computations
ISBN: 9780691147819 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics, fast and precise computations are essential. Based on the theory of set-valued analysis, a new suite of numerical methods is developed, producing efficient and reliable solvers for numerous problems in nonlinear analysis. Validated numerics yields rigorous computations that can find all possible... This textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the stren... |
cena:
273,22 |
![]() |
Introduction to Information Science
ISBN: 9781783304950 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second edition of this definitive text gives a comprehensive overview of all aspects of the subject, bringing it up-to-date with analysis of the changes in the information environment, now largely digital, and their implication for the discipline and professions. Its approach is rooted in the philosophical, theoretical, and conceptual foundations of the subject and in particular in Floridi's ideas of the fourth revolution, hyperhistory, and onlife. The theory-practice relationship is strongly emphasised throughout, and the extensive literature coverage makes this a valuable sourcebook....
The second edition of this definitive text gives a comprehensive overview of all aspects of the subject, bringing it up-to-date with analysis of the c...
|
cena:
273,22 |
![]() |
Kennzahlensysteme für Social Media Marketing: Ein strategischer Ansatz zur Erfolgsmessung
ISBN: 9783656173885 / Niemiecki / Miękka / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Bachelorarbeit aus dem Jahr 2012 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1.3, FOM Essen, Hochschule fur Oekonomie & Management gemeinnutzige GmbH, Hochschulleitung Essen fruher Fachhochschule, Sprache: Deutsch, Abstract: Social Media Marketing ist eines der derzeit pragenden Hauptthemen im Bereich Marketing. Aus unternehmerischer Sicht stellt es heutzutage einen essenziellen Trend dar, in Social Media Diensten aktiv vertreten zu sein. Viele Unternehmen haben die Mehrwerte und Potenziale von Social Media fur ihre Belange erkannt. Jedoch sollte dieser Schritt gut geplant und...
Bachelorarbeit aus dem Jahr 2012 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1.3, FOM Essen, Hochschule fur Oekonomie & Management gemein...
|
cena:
277,58 |
![]() |
Finance and Modernization: A Transnational and Transcontinental Perspective for the Nineteenth and Twentieth Centuries
ISBN: 9781138265592 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Finance and Modernization centres on a set of historical developments and problems typified by the long history of the A sterreichische Creditanstalt and its successor organizations, and opens the way to compare and contrast experiences throughout Central and Western Europe and also on other continents. The structure of this volume reflects the changing role and nature of banks as economies become industrialized and modernized. Although banks adapt to the needs of an industrializing economy, at the same time, industrialization influences the manner in which banking systems grow and the...
Finance and Modernization centres on a set of historical developments and problems typified by the long history of the A sterreichische Creditanstalt ...
|
cena:
278,13 |
![]() |
Component-Based Systems: Estimating Efforts Using Soft Computing Techniques
ISBN: 9780367441753 / Angielski / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
278,13 |
![]() |
Automatic Generation of Neural Network Architecture Using Evolutionary Computation
ISBN: 9789810231064 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes the application of evolutionary computation in the automatic generation of a neural network architecture. The architecture has a significant influence on the performance of the neural network. It is the usual practice to use trial and error to find a suitable neural network architecture for a given problem. The process of trial and error is not only time-consuming but may not generate an optimal network. The use of evolutionary computation is a step towards automation in neural network architecture generation. An overview of the field of evolutionary computation is...
This book describes the application of evolutionary computation in the automatic generation of a neural network architecture. The architecture has a s...
|
cena:
278,19 |
![]() |
Unsupervised Learning: Foundations of Neural Computation
ISBN: 9780262581684 / Angielski / Miękka / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since its founding in 1989 by Terrence Sejnowski, Neural Computation has become the leading journal in the field. Foundations of Neural Computationcollects, by topic, the most significant papers that have appeared in the journal over the past nine years.This volume of Foundations of Neural Computation, on unsupervised learning algorithms, focuses on neural network learning algorithms that do not require an explicit teacher. The goal of unsupervised learning is to extract an efficient internal representation of the statistical structure implicit in the inputs. These algorithms provide... Since its founding in 1989 by Terrence Sejnowski, Neural Computation has become the leading journal in the field. Foundations of Neural Computation... |
cena:
280,46 |
![]() |
Allocation in Networks
ISBN: 9780262038645 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive overview of networks and economic design, presenting models and results drawn from economics, operations research, and computer science; with examples and exercises.
A comprehensive overview of networks and economic design, presenting models and results drawn from economics, operations research, and computer scienc...
|
cena:
280,46 |