Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Shortcuts to AdiabaticityTorrontegui, Erik ; Ibáñez, Sara ; Martínez-Garaot, Sofia ; Modugno, Michele ; del Campo, Adolfo ; Guéry-Odelin, David ; Ruschhaupt, Andreas ; Chen, Xi ; Muga, Juan GonzaloAdvances In Atomic, Molecular, and Optical Physics, 2013, Vol.62, p.117-169United States: Elsevier Science & TechnologyTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Atomic and Close-to-Atomic Scale Manufacturing: The Fundamental Technology of Manufacturing IIIFang, Fengzhou ; Luo, Xichun ; Dai, Gaoliang ; Takaya, Yasuhiro ; Gao, Wei ; Ehmann, KornelCIRP Novel Topics in Production Engineering: Volume 1, p.315-360Cham: Springer Nature SwitzerlandSem texto completo |
|
3 |
Material Type: Capítulo de Livro
|
Contact Angle and Wetting PropertiesYuan, Yuehua ; Lee, T. RandallSurface Science Techniques, p.3-34Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
4 |
Material Type: Capítulo de Livro
|
Edge Based Architecture for Total Energy Regression Models for Computational Materials ScienceLu, Huimin ; Blumenstein, Michael ; Cho, Sung-Bae ; Liu, Cheng-Lin ; Yagi, Yasushi ; Kamiya, TohruPattern Recognition, 2023, Vol.14408, p.106-112 [Periódico revisado por pares]Switzerland: SpringerSem texto completo |
|
5 |
Material Type: Capítulo de Livro
|
Specifying and Reasoning About Shared-Variable ConcurrencyHayes, Ian J. ; Jones, Cliff B. ; Meinicke, Larissa A.Theories of Programming and Formal Methods, p.110-135 [Periódico revisado por pares]Cham: Springer Nature SwitzerlandSem texto completo |
|
6 |
Material Type: Capítulo de Livro
|
Robust Satisfaction of Temporal Logic over Real-Valued SignalsDonzé, Alexandre ; Maler, OdedFormal Modeling and Analysis of Timed Systems, p.92-106 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
7 |
Material Type: Capítulo de Livro
|
Interaction between Atomic Ensembles and Optical Resonators: Classical DescriptionBerman, Paul R ; Arimondo, Ennio ; Lin, Chun CAdvances in Atomic, Molecular, and Optical Physics, 2011United States: Elsevier Science & TechnologyTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Temporal Logics for HyperpropertiesClarkson, Michael R. ; Finkbeiner, Bernd ; Koleini, Masoud ; Micinski, Kristopher K. ; Rabe, Markus N. ; Sánchez, CésarPrinciples of Security and Trust, p.265-284 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Modeling Viral Capsid AssemblyRice, Stuart A ; Dinner, Aaron R Dinner, Aaron R ; Rice, Stuart AAdvances in Chemical Physics, Advances in Chemical Physics, 2014, Vol.155, p.1-68 [Periódico revisado por pares]United States: WileyTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Dynamics of Atomic-Molecular Conversion of Alkali Metal Isotopes at Ultralow TemperaturesZingan, A. P. ; Vasilieva, O. F.5th International Conference on Nanotechnologies and Biomedical Engineering, p.306-313Cham: Springer International PublishingSem texto completo |