This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيدThis volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
اقرأ المزيدPossibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. ...
اقرأ المزيدAimed at developing professional knowledge in the field of highway engineering with adequate skills in planning, designing ...
اقرأ المزيدThis book contains a selection of contributions presenting the latest research in the field of Computers in Education and, ...
اقرأ المزيدExplores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, ...
اقرأ المزيدThe International Conference on Conceptual Modeling provides the premiere - rum for presenting and discussing current research ...
اقرأ المزيدThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
اقرأ المزيدCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدCentral to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. ...
اقرأ المزيدThis book presents a cross-disciplinary insight and policy analysis into the effects of European legal and political frameworks ...
اقرأ المزيدThis comprehensive book deals with all relevant aspects arising during the analysis, design and simulation of the now widespread ...
اقرأ المزيدMany communications systems, such as cellular mobile radio and wireless local area networks, are subject to multiple-access ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
اقرأ المزيدThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
اقرأ المزيد