Mathematical theory of computation books

Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification,...  Read More >>

Software Architektur kompakt gibt Ihnen alles, was Sie zu einem reibungslosen und schnellen Start in das Thema benötigen....  Read More >>

This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems,...  Read More >>

This book constitutes the refereed proceedings of the 10th International Conference on Artificial Immune Systems,...  Read More >>

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011...  Read More >>

This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and...  Read More >>

Includes various rough set generalizations in combination with formal concept analysis, lattice theory, fuzzy sets...  Read More >>

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software,...  Read More >>

This method of convergence has been investigated in many fundamental areas of mathematics such as: measure theory,...  Read More >>

such as: database technology, computer architecture, software engineering,computer graphics, control technology,...  Read More >>

The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with...  Read More >>

The 114 revised full papers (68 papers for track A, 29 for track B, and 17 for track C) presented together with...  Read More >>

The work is thus addressed to students and practitioners who seek a deeper understanding of managing inventories...  Read More >>

The second part covers the key topics of Web mining, where Web crawling, search, social network analysis, structured...  Read More >>

This Three-Volume-Set constitutes the refereed proceedings of the Second International Conference on Software Engineering...  Read More >>

This book constitutes the refereed proceedings of the 11th European Conference on Symbolic and Quantitative Approaches...  Read More >>

This book constitutes the refereed proceedings of the 18th International Colloquium on Structural Information and...  Read More >>

This book contains the refereed proceedings of the 10th International Symposium on Mathematical Morphology, ISMM...  Read More >>

Constitutes the reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems,...  Read More >>

 Read More >>

This Three-Volume-Set constitutes the refereed proceedings of the SecondInternational Conference on Software Engineering...  Read More >>

This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland...  Read More >>

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis...  Read More >>

Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT...  Read More >>

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held...  Read More >>