 |
|
|
 Formal Methods for Concurrency
The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages,... |  |  Representation and Inference for Natural Language: A First Course in Computational Semantics
This book developed out of courses on computational semantics that
the authors jointly taught at the Department of Computational Linguistics, University of the Saarland, Saarbrucken, Germany, in 1995 and
1998, and at ESSLLI'97, the 9th European Summer School in Logic,
Language and Information, Aix-en-Provence, France, in... |  |  The HCS12 / 9S12: An Introduction to Software and Hardware Interfacing
The Freescale HCS12 (also known as 9S12) microcontroller family was initially designed for
automotive applications. The design of the HCS12 combines most features common in major
8-bit and 16-bit microcontrollers.
1. Full-feature timer system. The HCS12 timer system provides input-capture, outputcompare,
pulse-width... |
|
|
|
Result Page: 434 433 432 431 430 429 428 427 426 425 424 423 422 421 420 419 418 417 416 |