Progress in Applications of Boolean Functions: A Combined Formal Methods and Simulation Framework 9783031008368, 9783031008351, 3031008367

Graduate Medical Education in Psychiatry: From Basic Processes to True Innovation 9783031008351, 9783031008368, 3031008359

This book functions as a guide for leaders in academic and non-academic settings who are interested in developing, manag

122 71 9MB Read more

Boolean Functions: Topics in Asynchronicity [1 ed.] 1119517478, 9781119517474

The essential guide showing how the unbounded delay model of computation of the Boolean functions may be used in the ana

165 99 2MB Read more

Tribology of Graphene: Simulation Methods, Preparation Methods, and Their Applications 0128186410, 9780128186411

Tribology of Graphene: Simulation Methods, Preparation Methods, and Their Applications provides an exhaustive reference

537 40 17MB Read more

Boolean Functions for Cryptography and Coding Theory 9781108473804

Boolean functions are essential to systems for secure and reliable communication. This comprehensive survey of Boolean f

1,351 171 4MB Read more

Simulation and Analysis of Mathematical Methods in Real-Time Engineering Applications [1 ed.] 1119785375, 9781119785378

Written and edited by a group of renowned specialists in the field, this outstanding new volume addresses primary comput

1,081 146 8MB Read more

Topological Polymer Chemistry: Progress Of Cyclic Polymer In Syntheses, Properties And Functions : Progress of Cyclic Polymers in Syntheses, Properties and Functions 9789814401289, 9789814401272

There are examples aplenty in the macroscopic world that demonstrate the form of objects directing their functions and p

180 109 6MB Read more

Machine Learning in Modeling and Simulation : Methods and Applications 9783031366444, 9783031366437

Machine learning (ML) approaches have been extensively and successfully employed in various areas, like in economics, me

262 99 77MB Read more

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III [1st ed.] 9783030614669, 9783030614676

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Lever

881 77 28MB Read more

Numerical Simulation of Incompressible Viscous Flow: Methods and Applications 9783110785012, 9783110784916

This book on finite element-based computational methods for solving incompressible viscous fluid flow problems shows rea

195 85 35MB Read more

Formal and Informal Methods in Philosophy 2019055385, 9789004420496, 9789004420502

478 122 13MB Read more