Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue reading
Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Continue reading
Topic and Focus : Cross-Linguistic Perspectives on Meaning and Intonation
This book contains a collection of papers exploring the cross-linguistic expression of topic and focus. A diverse set of ...
Continue reading
Topics in Acoustic Echo and Noise Control
In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...
Continue reading
Topics in Cryptology - CT-RSA 2008 : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings
This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Continue reading
Topics in Cryptology -- CT-RSA 2006
This book constitutes the refereed proceedings of the Cryptographers’ Track at the RSA Conference 2006,held in San Jose, ...
Continue reading
Toward Artificial Sapience : Principles and Methods for Wise Systems
This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...
Continue reading
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Continue reading
Towards Sustainable Society on Ubiquitous Networks : The 8th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2008), September 24–16, 2008, Tokyo, Japan
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
Continue reading
Towards a Service-Based Internet : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings
This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...
Continue reading
Traffic Grooming for Optical Networks : Foundations, Techniques, and Frontiers
This book begins by providing appropriate background information and then follows with an in-depth study of a few key issues ...
Continue reading
Transactions on Computational Science XXXVII
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
Continue reading
Transactions on Computational Systems Biology X
The first three papers describe the applicability of bio-inspired techniques in the technical domain of computing and communication. ...
Continue reading
Transactions on Data Hiding and Multimedia Security I
This inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Continue reading
Transactions on Data Hiding and Multimedia Security II
This second issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Continue reading
Transactions on Data Hiding and Multimedia Security III
The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...
Continue reading
Transient Analysis of Electric Power Circuits Handbook
Every now and then, a good book comes along and quite rightfully makes itself a distinguished place amongthe existing books ...
Continue reading
Transmedial Narration : Narratives and Stories in Different Media
including our own. By reconstructing the theoretical framework of transmedial narration, this book enables the inclusion ...
Continue reading
True Visions
Written for the non-specialist seeking an authoritative but accessible overview of this interdisciplinary field, True Visions ...
Continue reading
