Sorry, Something is wrong with your request
Efficient Decision Procedures for Validation
Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
Ofer Strichman - ISBN: 978-3-8383-0082-5
Crime and School Violence in Botswana Secondary Schools: Moeding Case
Crime, School Violence, Botswana Situation
Joseph Thoko MATSOGA - ISBN: 978-3-8383-0117-4
Structure Investigations of Heavy Nuclei
Lifetime Measurements in Hafnium Isotopes
Alin Costin - ISBN: 978-3-8383-0206-5
Reinforcement Learning, Logic and Evolutionary Computation
A Learning Classifier System Approach to Relational Reinforcement Learning
Drew Mellor - ISBN: 978-3-8383-0196-9
Effective Leadership Practices in Cross-cultural Conflict Resolution
A Qualitative Study
Theo Bosma - ISBN: 978-3-8383-0066-5
SonomaWORKS a Community Health and Welfare Program Evaluation
Moving people from welfare dependance to employment and independance
Peter Ned Wales - ISBN: 978-3-8383-0100-6
Adaptive Finite Element Methods for Microfluidics
Computational fluid dynamics (CFD) technologies for fluid flows and numerical modeling of electro-osmotic flows in microchannels
Hae-Won Choi - ISBN: 978-3-8383-0280-5
The Taxonomy of selected tribes and genera of the Rhodomelaceae
A molecular and anatomical appraisal of selected members of the red algal family Rhodomelaceae (Ceramiales: Rhodophyta)
Louise Phillips - ISBN: 978-3-8383-0072-6