Efficient Decision Procedures for Validation
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

€ 49,00
Crime and School Violence in Botswana Secondary Schools: Moeding Case
Crime and School Violence in Botswana Secondary Schools: Moeding Case

Crime, School Violence, Botswana Situation

Joseph Thoko MATSOGA - ISBN: 978-3-8383-0117-4

€ 79,00
Structure Investigations of Heavy Nuclei
Structure Investigations of Heavy Nuclei

Lifetime Measurements in Hafnium Isotopes

Alin Costin - ISBN: 978-3-8383-0206-5

€ 49,00
Reinforcement Learning, Logic and Evolutionary Computation
Reinforcement Learning, Logic and Evolutionary Computation

A Learning Classifier System Approach to Relational Reinforcement Learning

Drew Mellor - ISBN: 978-3-8383-0196-9

€ 79,00
Effective Leadership Practices in Cross-cultural Conflict Resolution
Effective Leadership Practices in Cross-cultural Conflict Resolution

A Qualitative Study

Theo Bosma - ISBN: 978-3-8383-0066-5

€ 59,00
SonomaWORKS a Community Health and Welfare Program Evaluation
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

€ 49,00
Adaptive Finite Element Methods for Microfluidics
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

€ 79,00
Maintaining The Mountains
Maintaining The Mountains

Maintaining The Mountains

Steven O. Middleton - ISBN: 978-3-8383-0287-4

€ 49,00
Measuring Knowledge Work Performance
Measuring Knowledge Work Performance

practical implications

Jussi Okkonen - ISBN: 978-3-8383-0159-4

€ 79,00
The Taxonomy of selected tribes and genera of the Rhodomelaceae
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

€ 79,00