You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
New functions are introduced in number theory, and for each one a general description, examples, connections, and references are given.
Other new sequences are introduced in number theory, and for each one a general question: how many primes each sequence has.
A collection of papers concerning Smarandache type functions, numbers, sequences, inteqer algorithms, paradoxes, experimental geometries, algebraic structures, neutrosophic probability, set, and logic, etc.
A collection of papers concerning Smarandache type functions, numbers, sequences, inteqer algorithms, paradoxes, experimental geometries, algebraic structures, neutrosophic probability, set, and logic, etc.
This volume contains contributions by some of the leading scientists in the field of thiol oxidation/reduction (redox) biochemistry. It is focused on the biological/pathophysiological implications of newly-discovered functions of cellular thiols, such as glutathione in the first place.
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022. The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for ver...
This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually. The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling, reuse in practice, reengineering, recommendation, and empirical analysis.