
Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking
Ofer Strichman - ISBN: 978-3-8383-0082-5
€ 49,00


A Learning Classifier System Approach to Relational Reinforcement Learning
Drew Mellor - ISBN: 978-3-8383-0196-9
€ 79,00

Moving people from welfare dependance to employment and independance
Peter Ned Wales - ISBN: 978-3-8383-0100-6
€ 49,00
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


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