形式化方法Formal软件工程International
语义程序设计ProgrammingLanguages
义和语用学自然语言Pragmatics
逻辑Nonmonotonic单调Revision
QuestionsSemanticsProcesses信念
社交PerceptionsLeadershipInformal
Simulink形式化VerificationDeductive
SystemcVerificationSimulationEfficient
刚性几何讲座Geometry
ApplicationsFoundationsSymposiumBrazilian
Perspective视角Technology形式
NASAInternationalSymposiumPasadena
StrategiesMitigation缓解Security
分布式DistributedComponentsTechniques
Verification现状验证趋势
形式逻辑证明Disproof海外
ConversationsMethodologyTechniqueVerifying
InternationalConferences语法Barcelona
形式化建模InternationalConference
机器人ApproachRobotics海外
JavaDevelopment软件开发VDM
导论IntroductionMathematics101
剑桥语义学SemanticsCambridge
非正规非正式PerspectivesRecognising
2010Automation表格Railway
VerificationApplicationsValidationLeveraging
斯拉夫2016语语linguistics
非正式MaintainingLeadershipEmpowering
Compilation编译Languages形式
ApplicationsLanguagesAdvances进展
BackgroundLanguagesApplicatHandbook
RtosEngineeringDevelopmentReliable
ExceptionsGenerativePhonology例外
InternationalConferenceIndustrialCritical
非正式学习者EnvironmentsIntegration
TransformationalGeneralizationsExplanatory概括
软件工程InternationalEngineeringConference
语法Grammar海外正式
扫描二维码打开
周一至周六
9:00-22:00
甘肃模具平台 Copyright © 2010 - 2021 http://gsmjpt.yuncomcn.com/ All Rights Reserved
