|
|
|
|
CONCUR 2008 - Concurrency Theory: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, ProceedingsThis book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi,... | | Practical Formal Software Engineering: Wanting the Software You GetPractical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tools and components to obtain timely practical solutions. This book takes an engineering approach to illuminate the... | | An Introduction to Formal Languages and Machine Computation
This book provides an elementary introduction to formal languages and machine computation. The materials covered include computation-oriented mathematics, finite automata and regular languages, push-down automata and context-free languages, Turing machines and recursively enumerable languages, and computability and complexity. As integers are... |
|
Software Abstractions : Logic, Language, and AnalysisSoftware is built on abstractions. Pick the right ones, and programming will flow naturally from design; modules will have small and simple interfaces; and new functionality will more likely fit in without extensive reorganization. Pick the wrong ones, and programming will be a series of nasty surprises: interfaces will become... | | Communicating Process Architectures 2005 (Concurrent Systems Engineering Series)The awareness of the ideas characterized by Communicating Processes Architecture and their adoption by industry beyond their traditional base in safety-critical systems and security is growing. The complexity of modern computing systems has become so great that no one person – maybe not even a small team – can understand all aspects and... | | Influence Without Authority (2nd Edition)At some point, almost all of us will find ourselves in the same bind at work: we know what needs to be done and how to do it, but we can't get the right people on board. The risk is allowing frustration to become resignation—or unproductive retaliation. Fortunately, the new and improved Influence Without Authority, Second Edition offers a... |
|
| | | | You Can Pass the CPA Exam: Get Motivated!Over the past twenty years, I have witnessed thousands of CPA candidates pass the Uniform Certified Public Accountant’s (CPA) examination. Although there are many manuals and courses that outline the CPA exam’s technical material, there is not much available to help CPA candidates manage the entire preparation process.... |
|
| | | | Graph Algorithms
Shimon was a great computer scientist who inspired generations of Israeli
stutents and young researchers, including many future leaders of theoretical
computer science.
He was a master at creating combinatorial algorithms, constructions, and
proofs. He always sought the simplest and most lucid solutions. Because... |
|
|
Result Page: 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 |