 |
|
|
|
 |  |  Fundamentals of Probability and Statistics for EngineersMany books are already available on the general topic of 'probability and statistics for engineers and scientists', so why choose this one? This textbook differs in that it has been prepared very much with students and their needs in mind. Having been classroom tested over many years, it is a true "learner's book" made for students who... |  |  Visual Information Systems (Lecture Notes in Computer Science)This book is a thoroughly arranged anthology outlining the state of the art in the emerging area of visual informationsystems. The chapters presented are a selection of thoroughly refereed and revised full papers first presented at the First International Conference on visual Information Systems held in February 1996. Next generation information... |
|
 |  |  |  |  Reactive Systems: Modelling, Specification and VerificationFormal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP,... |
|
| Result Page: 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 |