9789401012706预订ScienceAction
非正式看护9781138876255Caregiving
预售ComponentsMethodsObjects
预售VerificationPropertyRoadmap
海顿多诺PerspectiveFunctions
预订TeachingMethodsFormal
9781009420990Informally预订Programs
预订MethodsFormal2016
Ontologies预订IndustryFormal
2025InternationalWilliamsburgProceedings
预售DefinitionFormalJml
Integrated预订MethodsFormal
预订MethodsFormal2006
9783031666728预订PracticeMethods
预售IntroductionMathematicsDiscrete
Verification预订HardwareFormal
GovernanceApproachesNarrativePractical
预售TranscendentalFormalLogic
形式化方法本体9783031937750Biomedical
非正式9781668438282黑人Leadership
预售TechniquesOptimizingSemantics
预售InternationalIntegratedMethods
预售TechniquesFormalReal
预售IntroductionMethodsFormal
预售SimulationSynthesisFormal
预售DistributedMethodsFormal
预售SimulationIndustrialSymbolic
预售DistributedTechniquesSystems
预售ProgrammingPracticalFormal
Manufacturing预订MethodsFormal
预售InteractionComputerMethods
预售VerificationSolutionsScalable
预售EngineeringSynthesisFormal
预订MethodsTheoryFormal
预售TheoreticAutomataAspects
Applications预订MethodsModern
Verification预订CircuitsFormal
预售ModelingAnalysisSystems