This text covers important research lines of the theory of traces. Each chapter of the book is devoted to one research line and can be read independently, hence it is suitable for advanced courses and seminars on formal language theory and the theory of concurrent systems. Meer
€ 261,87
Levertijd ongeveer 16 werkdagen | Gratis verzonden
Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use of models at all the levels of hardware testing. Meer
Efficient Test Methodologies for High-Speed Serial Links describes in detail several new and promising techniques for cost-effectively testing high-speed interfaces with a high test coverage. Meer
The lectures contained in this book were presented at Harvard University in June 1979. The workshop at which they were presented was the third such on algebro-geometric methods. Meer
This volume contains the papers presented at the NATO Advanced Study Institute on the Interlinking of Computer Networks held between August 28th and September 8th 1978 at Bonas, France. Meer
It isn't that they can't see the Approach your problems from the right end and begin with the solution. It is that they can't see answers. Then, one day, perhaps the problem. Meer
From 18th to 20th September, 1978, about forty scientists and practitioners from Australia, Canada, Denmark, Finland, Great Britain, the United States and the Federal Republic of Germany joined in an international symposium entitled "Design and Implementation of Computer-based Information Systems" . Meer
A NATO advanced Study Institute took place at Bonas from June 14th to June 25th 1976 on "Digital Image Processing and Analysis". This book is the lasting result of a successful meeting, where the best specialists of the field could exchange their ideas and results. Meer
This proceedings contains tutorials presented at the NATO Advanced Study Institute on Design and Implementation of Optimiz ation Software (Urbino, Italy, 20 June - 2 July, 1977) organized by the Committee on Algorithms (COAL) of the Mathematical Program ming Society. Meer
This book presents as formal papers nearly all of the lectures given at the NATO advanced summer institute on Computer Architecture held at St. Raphael, France from September 12th - 24th 1976. Meer
For many years I have believed in a particular style of education for myself. The idea is to focus on matters that you want to learn about, find a modest amount of money, and then organize a symposium of those matters, inviting knowledgeable individuals to participate - and, by extension - to come and help with my education. Meer
This book contains the transcripts of the lectures presented at the NATO Advanced study Institute on "Computational Techniques in Quantum Chemistry and Molecular Physics", held at Ramsau, Germany, 4th - 21st Sept. Meer
We planned this book as a Festschrift for Smitty Stevens because we thought he might be retiring around 1974, although we knew very well that only death or deep illness would stop Smitty from doing science. Meer
During the sixteenth century, Cardano wrote a fascinating work called The Book on Games of Chance. In it he gives an extremely candid recount ing and personal appraisal of some aspects of his most remarkable life. Meer
Geometric Methods in System Theory In automatic control there are a large number of applications of a fairly simple type for which the motion of the state variables is not free to evolve in a vector space but rather must satisfy some constraints. Meer
We shall begin this brief section with what we consider to be its objective. It will be followed by the main outline and then concluded by a few notes as to how this work should be used. Meer
This book introduces a range of image color feature extraction techniques. Readers are encouraged to try implementing the techniques discussed here on their own, all of which are presented in a very simple and step-by-step manner. Meer
The book highlights new trends and challenges in research on agents and the new digital and knowledge economy. It includes papers on business process management, agent-based modeling and simulation and anthropic-oriented computing that were originally presented at the 14th International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2020), being held as a Virtual Conference in June 17–19, 2020. Meer
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