|
|
|
|
|
Models and Analysis for Distributed Systems (ISTE)
Verification and hence modeling are a mandatory but intricate problem for engineers
developing embedded distributed real-time systems that are entrusted with critical
safety applications like medical care, transportation, energy production, industrial
processes, military operations. Therefore, while emerging 40 years ago, first for... | | SDH/SONET Explained in Functional Models: Modeling the Optical Transport NetworkSDH/SONET Explained in Functional Models represents a fresh approach to the modeling of transport network technologies. This practical guide and reference text uncovers the description of SDH (Synchronous Digital Hierarchy), SONET (Synchronous Optical Network) and OTN (Optical Transport Network) transport networks and equipment using... | | Database System ConceptsDatabase management has evolved from a specialized computer application to a central component of a modern computing environment, and, as a result, knowledge about database systems has become an essential part of an education in computer science. In this text, we present the fundamental concepts of database management. These concepts include... |
|
An Introduction to Neural NetworksCovers: artificial neurons as models of their real counterparts; the geometry of network action in pattern space; gradient descent methods, including back-propagation; associative memory and Hopfield nets; and self-organization and feature maps.
This book grew out of a set of course notes for a neural networks module given as part of a... | | | | Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered... |
|
|
|
Result Page: 55 54 53 52 51 50 49 48 47 46 45 44 43 42 41 40 39 38 37 |