Technologies for E-Services (vol. # 3324)
It featured the presen- tion of 12 regular papers, focused on major aspects of e-business solutions. In addition, the workshop ...
Continue reading
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
Continue reading
Tensor Network Contractions Methods and Applications to Quantum Many-Body Systems
This book is intended for graduated students, but can also be used as a professional book for researchers in the related ...
Continue reading
The Composition of Matter
This volume consists of papers developed from a joint ACE/ISSI symposium on the "Composition of Matter" honoring the occasion ...
Continue reading
The Pangenome Diversity, Dynamics and Evolution of Genomes
The realization that the genetic repertoire of a biological species always encompasses more than the genome of each individual ...
Continue reading
The Structure of Paintings
The book demonstrates that the emotion expressed by a painting is actually the memory extracted by the laws. Therefore, the ...
Continue reading
Thermal Decomposition of Solids and Melts
Thermal Decomposition of Solids and Melts describes the results of investigations into the mechanisms and kinetics involved ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Continue reading
