Hasil Pencarian  ::  Simpan CSV :: Kembali

"Summary:Comprehensively reviews bonding to enamel, dentin and cementum and analyses relevant adhesion mechanisms. In this book, emphasis is placed on the characterization of material interfaces with dental tissues in situ. It is addressed to both the dental researcher and the clinician."

"This volume contains research papers on recent achievements and future opportunities of this highly interdisciplinary field of atomic, nuclear, and particle physics. The proceedings are structured according to the conference session topics, kaon-nucleus and kaon-nucleon interactions, antihydrogen and fundamental symmetries, hadronphysics with antiprotons, future facilities and instrumentation, low energy QCD. "

"This book constitutes the refereed proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2012, held in London, UK in September 2012. The 16 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The book covers topics of foundations and semantics, methods and tools, techniques, algorithms, hybrid automata, appilcations, real-time software and hardware circuits."

"This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 13, held in Cambridge, UK, in September 2012. The 23 revised full papers presented were carefully selected from 39 submissions in the general area of relational and algebraic methods in computer science, adding special focus on formal methods for software engineering, logics of programs and links with neighboring disciplines. The papers are structured in specific fields on applications to software specification and correctness, mechanized reasoning in relational algebras, algebraic program derivation, theoretical foundations, relations and algorithms, and properties of specialized relations."