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