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
The health that workers want
A case study of employee health in the tertiary education industry that has application to other knowledge workers
Mary Ditton - ISBN: 978-3-8383-0172-3
Prioritization of Potential Alternatives Truck Management Strategies
Using the Analytical Hierarchy Process
choonHeon Yang - ISBN: 978-3-8383-0143-3
Developing Contextualized ICT Education
Case Tumaini University, Tanzania
Mikko Vesisenaho - ISBN: 978-3-8383-0186-0
Why dolphins cooperate?
Coordinated cooperation of the bottlenose dolphin from an integrated social-economic perspective
Amir Perelberg - ISBN: 978-3-8383-0213-3
Reinforcement Learning, Logic and Evolutionary Computation
A Learning Classifier System Approach to Relational Reinforcement Learning
Drew Mellor - ISBN: 978-3-8383-0196-9
Extreme Right-wing Parties and Democracy
The Effects of Extreme Right-wing Parties on the Politics of Consolidated Democracies
Ödül Celep - ISBN: 978-3-8383-0222-5
Stochastic Dynamic Stiffness Matrix Method
Vibration Analysis of Structures Built up of Curved and Straight Beams
Sayan Gupta, C.S. Manohar - ISBN: 978-3-8383-0152-5