1
0
0
(1 - 17 von 20
)
Dependable Software Systems Engineering - Google Books
books.google.de
We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe. This book...
International Narcotics Control Strategy Reportbooks.google.co.uk › books
books.google.co.uk
... and the Brazilian Federal Police ( DPF ) resulted in the arrest of Leonardo Mendonca , one of Brazil ' s major narcotics violators , and six of his associates .
Concrete Semantics: With Isabelle/HOL - Tobias Nipkow, Gerwin Klein -...
books.google.de
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive...
"OLHARES ENTRELAÇADOS": CIÊNCIA E SABERES EM SEGURANÇA PÚBLICA: DO...
books.google.de
Este livro reúne textos escolhidos de autores que apresentam uma contribuição de valor inestimável em se tratando do tema Segurança Pública, em suas variantes...
ECAI 2016: 22nd European Conference on Artificial Intelligence,
books.google.de
[7] Leonardo Mendonça de Moura and Nikolaj Bjørner, 'Z3: an efficient SMT solver', in Tools and Algorithms for the Construction and Analysis of Systems, 14th ...
Concrete Semantics: With Isabelle/HOLbooks.google.com › books
books.google.de
Leonardo Mendonça de Moura and Nikolaj Bjørner. Z3: An efficient SMT solver. In TACAS, volume of LNCS, pages 337–340, Budapest, Hungary, March ...
Formal Verification of Control System Software - Pierre-Loïc Garoche...
books.google.de
An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of...
Integration of AI and OR Techniques in Constraint Programming: 12th...
books.google.de
Dejan Jovanovic and Leonardo Mendonça de Moura. Cutting to the chase - solving linear integer arithmetic. J. Autom. Reasoning, 51(1):79–108,
Injuries and Health Problems in Football: What Everyone Should Know -...
books.google.de
This book offers a comprehensive overview of current knowledge on the health problems and injuries associated with football and their clinical management....
Natural Sources, Physicochemical Characterization and Applications -...
books.google.de
[http://dx.doi.org j X x] [PMID: ] Leonardo-Mendonça RC, Martinez-Nicolas A, de Teresa Galván C, et al. The benefits of ...
Verification-based Software-fault Detection - Christoph David...
books.google.de
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the...
Nutritional Antioxidant Therapies: Treatments and Perspectives -...
books.google.de
This book offers a collection of expert reviews on the use of plant-based antioxidant therapies in disease prevention and treatment. Topics discussed include...
Logical Foundations of Cyber-Physical Systems - André Platzer -...
books.google.de
... des Sciences et des Lettres de Varsovie, Class III, Sciences Mathématiques et Physiques 33 (1930), 33–160. Dejan Jovanovi ́c and Leonardo Mendonça de ...
O Direito Vivo: homenagem a Renata Almeida da Costa, PhDbooks.google.com › books
books.google.de
Segundo Debora Regina Pastana e Leonardo Mendonça Davi (2014, p. 138), encarceramento em massa no Brasil apresenta-se em virtude do controle social ...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.co.uk
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of...
Physical Activity and the Aging Brain: Effects of Exercise on...
books.google.de
Physical Activity and the Aging Brain: Effects of Exercise on Neurological Function is a complete guide to the manifold effects of exercise and physical...
Verwandte Suchanfragen zu Leonardo Mendonca
| Minas Gerais |
Personen Vorname "Leonardo" (4042) Name "Mendonca" (139) |
sortiert nach Relevanz / Datum