๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Algorithms and Combinatorics] Systems Analysis by Graphs and Matroids Volume 3 || Conclusion

โœ Scribed by Murota, Kazuo

Book ID
120497040
Publisher
Springer Berlin Heidelberg
Year
1987
Weight
363 KB
Category
Article
ISBN
3642615864

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Tool
[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 4963 || Z3: An Efficient SMT Solver
โœ Ramakrishnan, C. R.; Rehof, Jakob ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ English โš– 244 KB

This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.