Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0082-5
Crime, School Violence, Botswana Situation
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0117-4
Lifetime Measurements in Hafnium Isotopes
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0206-5
A Learning Classifier System Approach to Relational Reinforcement Learning
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0196-9
A Qualitative Study
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0066-5
Moving people from welfare dependance to employment and independance
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0100-6
Computational fluid dynamics (CFD) technologies for fluid flows and numerical modeling of electro-osmotic flows in microchannels
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0280-5
Maintaining The Mountains
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0287-4
practical implications
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0159-4
A molecular and anatomical appraisal of selected members of the red algal family Rhodomelaceae (Ceramiales: Rhodophyta)
LAP LAMBERT Academic Publishing (2010-05-15) - ISBN-13: 978-3-8383-0072-6
忘记密码?