that aims to unite theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in Computer ...
اقرأ المزيد
This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...
اقرأ المزيد
This book studies a graph-based knowledge representation and reasoning formalism stemming from conceptual graphs, with a ...
اقرأ المزيد
Introduces a variety of concepts in discrete mathematics and mathematical modeling for languages and computation. The authors ...
اقرأ المزيد
Hungarian mathematics has always been known for discrete mathematics, including combinatorial number theory, set theory and ...
اقرأ المزيد
Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe ...
اقرأ المزيد
The volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming ...
اقرأ المزيد
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
اقرأ المزيد
In particular, these chapters cover computing techniques for interval linear systems of equations, interval matrix singular-value ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 7th International Symposium, Latin American Theoretical Informatics, ...
اقرأ المزيد
The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
اقرأ المزيد
Mathematics is presented in a thorough and rigorous manner offering a detailed explanation of each topic, with applications ...
اقرأ المزيد
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
اقرأ المزيد
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Pairing-Based Cryptography, ...
اقرأ المزيد
IWPEC events are intended to cover research in all aspects of parameterizedand exact computation and complexity, including ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, ...
اقرأ المزيد
This book focuses on the interplay between random walks on planar maps and Koebe’s circle packing theorem. Further topics ...
اقرأ المزيد
The papers are organized in topical sections on AES, analysis of RFID protocols, cryptographic protocols, authentication, ...
اقرأ المزيد
This book is organized in topical sections on stream ciphers, cryptographic hash functions, public-key cryptography, security ...
اقرأ المزيد