This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيدThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
اقرأ المزيدThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
اقرأ المزيدSRC column subjected to axial compression -- SRC column with normal strength material -- SRC column with high strength concrete ...
اقرأ المزيدThis book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
اقرأ المزيدThis book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
اقرأ المزيدThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيدThe new ICE Specification for Piling and Embedded Retaining Walls is designed to be used as the new technical specification ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification ...
اقرأ المزيدDesigned to assist both recent graduates, as well as experienced chemists or scientists with limited regulatory, compendial ...
اقرأ المزيدThis volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...
اقرأ المزيدThis volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and ...
اقرأ المزيدThis book includes spatial orientation, spatial navigation, spatial learning, maps and modalities, spatial communication, ...
اقرأ المزيدThis book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
اقرأ المزيدThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيدThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيدThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
اقرأ المزيدThis is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
اقرأ المزيد