Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. Meer
This book is based on a number of systems concepts, of which the following are emphasized here: oThe interacting systems of society and the environment are dynamic and evolution ary oEvolution of these systems carries them through stages of differential stability and instability, continuity and discontinuity oAssociated with evolution and instability is structural change that is essentially irre versible oThe present is a stage of world transformation that may not have been equaled for decades or even centuries oPolicies and decisions must match the times, in the present case the stage of world transformation The time 11:59:59 PM, approximately, on December 31, 2000 has an impor tant symbolic meaning. Meer
Case-based reasoning means reasoning based on remembering previous experiences. A reasoner using old experiences (cases) might use those cases to suggest solutions to problems, to point out potential problems with a solution being computed, to interpret a new situation and make predictions about what might happen, or to create arguments justifying some conclusion. Meer
Franciska de Jong and Jan Landsbergen Jan Landsbergen 2 A compositional definition of the translation relation Jan Odijk 3 M-grammars Jan Landsbergen and Franciska de Jong 4 The translation process Lisette Appelo 5 The Rosetta characteristics Joep Rous and Harm Smit 6 Morphology Jan Odijk, Harm Smit and Petra de Wit 7 Dictionaries Jan Odijk 8 Syntactic rules Modular and controlled Lisette Appelo 9 M-grammars Compositionality and syntactic Jan Odijk 10 generalisations Jan Odijk and Elena Pinillos Bartolome 11 Incorporating theoretical linguistic insights Lisette Appelo 12 Divergences between languages Lisette Appelo 13 Categorial divergences Translation of temporal Lisette Appelo 14 expressions Andre Schenk 15 Idioms and complex predicates Lisette Appelo and Elly van Munster 16 Scope and negation Rene Leermakers and Jan Landsbergen 17 The formal definition of M-grammars Rene Leermakers and Joep Rous 18 An attribute grammar view Theo Janssen 19 An algebraic view Rene Leermakers 20 Software engineering aspects Jan Landsbergen 21 Conclusion Contents 1 1 Introduction 1. Meer
This volume provides a general overview of discrete- and continuous-time Markov control processes and stochastic games, along with a look at the range of applications of stochastic control and some of its recent theoretical developments. Meer
Since Benoit Mandelbrot's pioneering work in the late 1970s, scores of research articles and books have been published on the topic of fractals. Despite the volume of literature in the field, the general level of theoretical understanding has remained low; most work is aimed either at too mainstream an audience to achieve any depth or at too specialized a community to achieve widespread use. Meer
The Regulation of Digital Industries calls for a single industry regulatory agency to promote competition, privacy and free speech in digital industries. Meer
€ 139,53
Levertijd ongeveer 16 werkdagen | Gratis verzonden
Responsive Computer Systems: Steps Towards Fault-Tolerant Real-Time Systems provides an extensive treatment of the most important issues in the design of modern Responsive Computer Systems. Meer
Data Analytics in Football provides students, researchers and coaches with a firm grounding in the principles of modern performance analysis. It offers an insight into the use of positional data, exploring how it can be collected, modelled, analysed and interpreted. Meer
€ 186,02
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Data Analytics in Football provides students, researchers and coaches with a firm grounding in the principles of modern performance analysis. It offers an insight into the use of positional data, exploring how it can be collected, modelled, analysed and interpreted. Meer
€ 53,65
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Geometric modelling has been an important and interesting subject for many years from the purely mathematical and computer science viewpoint, and also from the standpoint of engineering and various other applications, such as CAD/CAM, entertainment, animation, and multimedia. Meer
Media processing applications, such as three-dimensional graphics, video compression, and image processing, currently demand 10-100 billion operations per second of sustained computation. Meer
Modeling and Simulation Environment for Satellite and Terrestrial Communications Networks: Proceedings of the European COST Telecommunications Symposium will be of interest to network designers, developers, and operators. Meer
Software architectures have gained wide popularity in the last decade. They generally play a fundamental role in coping with the inherent difficulties of the development of large-scale and complex software systems. Meer
This volume is composed of the best papers submitted to the HOIT2000 conference held in Wolverhampton, U. K. in June 2000. The conference, entitled "IT at home: Virtual influences on everyday life", and the papers reflect the wide variety of these influences that are coming to bear on our everyday experience, be it through the increasing use of computers or the rapid development of new telecommunications systems. Meer
Hierarchical design methods were originally introduced for the design of digital ICs, and they appeared to provide for significant advances in design productivity, Time-to-Market, and first-time right design. Meer
Real-Time Systems in Mechatronic Applications brings together in one place important contributions and up-to-date research results in this fast moving area. Meer
Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library presents ARCH, a library built as an extension to MPI. ARCH relies on a small set of programming abstractions that allow the writing of well-structured multi-threaded parallel codes according to the object-oriented programming style. Meer
In this book, Geoff Hill demonstrates modern software and hardware being applied to the processes behind loudspeaker design and modelling. Modern computing power has progressed to the point that such analyses are now practical for any interested individual or small company. Meer
€ 214,49
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Written by a game developer and professor trained in architecture, An Architectural Approach to Level Design is one of the first books to integrate architectural and spatial design theory with the field of level design. Meer
€ 186,02
Levertijd ongeveer 11 werkdagen | Gratis verzonden
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books