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 ...
اقرأ المزيد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 II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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, ...
اقرأ المزيد
Toward Artificial Sapience : Principles and Methods for Wise Systems
This book presents computational paradigms describing lower- and higher-level cognitive functions, including mechanisms of ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Transmedial Narration : Narratives and Stories in Different Media
including our own. By reconstructing the theoretical framework of transmedial narration, this book enables the inclusion ...
اقرأ المزيد
True Visions
Written for the non-specialist seeking an authoritative but accessible overview of this interdisciplinary field, True Visions ...
اقرأ المزيد
