verification

预订 Practical methods of verification of heating costs [9786139879144]

【3-4周达】Empirical Software Engineering and Verification : International Summer Schools, LASER 2008... [9783642252303]

【3-4周达】Verification, Model Checking, and Abstract Interpretation: 13th International Conference, ... [9783642279393]

【3-4周达】精装 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential ... [9789811376689]

【3-4周达】Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His... [9783540210023]

预订 A Study on Speaker Verification [9786137380796]

【3-4周达】Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2... [9783642046933]

【3-4周达】Scalable Techniques for Formal Verification [9781489984449]

预订 Avionics Safety Critical Software Verification [9786203194227]

预订 Discriminative Methods for Face Verification with Age Progression [9786138273462]

预订 Experimental verification of the GDH sum rule on the neutron [9783639861112]

【3-4周达】Hardware and Software: Verification and Testing: 7th International Haifa Verification Conf... [9783642341878]

预订 Electroencephalogram Based User Identification and Verification [9786139867394]

【3-4周达】Tools for Practical Software Verification : International Summer School, LASER 2011, Elba ... [9783642357459]

【3-4周达】Java and the Java Virtual Machine: Definition, Verification, Validation [9783642639975]

【3-4周达】Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Network... [9789811356407]

预订 A CUDA based Parallel Implementation of Speaker Verification System [9783659165870]

【3-4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, a... [9783319339504]

【3-4周达】Verification, Model Checking, and Abstract Interpretation: 12th International Conference, ... [9783642182747]

预订 VMAT plans and delivery verification using MONACO TPS and Octavius 4D [9783330023949]

预订 Multibiometrics Systems: Modern Perspectives to Identity Verification [9783848449378]

【3-4周达】Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2... [9783540892465]

预订 Fingerprint Verification on the Vex Processor [9783845433851]

【3-4周达】Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, ... [9783642314230]

【3-4周达】Hardware and Software: Verification and Testing: 12th International Haifa Verification Con... [9783319490519]

【3-4周达】Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, a... [9783319684987]

预订 The verification of the pluvio-thermal regionalizations of the climate [9783330053144]

预订 Explore Data Integrity Verification in Cloud Computing [9783330048430]

预订 Automated Verification of Dynamic Access Control Policies [9783659273940]

【3-4周达】Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 20... [9783319119359]