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 ...
اقرأ المزيد
Temporal Logic and State Systems
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيد
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 ...
اقرأ المزيد
The Composition of Matter
This volume consists of papers developed from a joint ACE/ISSI symposium on the "Composition of Matter" honoring the occasion ...
اقرأ المزيد
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 ...
اقرأ المزيد
The Structure of Paintings
The book demonstrates that the emotion expressed by a painting is actually the memory extracted by the laws. Therefore, the ...
اقرأ المزيد
Thermal Decomposition of Solids and Melts
Thermal Decomposition of Solids and Melts describes the results of investigations into the mechanisms and kinetics involved ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
