Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lee mas
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lee mas
Traditions in German-Speaking Mathematics Education Research
This book includes a short survey of the development of educational research on mathematics in German speaking countries, ...
Lee mas
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 ...
Lee mas
Traffic Grooming in Optical WDM Mesh Networks
The authors investigate traffic-grooming problems in optical WDM mesh networks from various aspects. They cover static and ...
Lee mas
Transaction-Level Modeling with SystemC
The SystemC consortium has published the official TLM development kit in May 2005 to standardize this modeling technique. ...
Lee mas
Transactions on Aspect-Oriented Software Development I
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
Lee mas
Transactions on Aspect-Oriented Software Development II
This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, ...
Lee mas
Transactions on Aspect-Oriented Software Development III
This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...
Lee mas
Transactions on Aspect-Oriented Software Development IV
This volume, the fourth in the Transactions on Aspect-Oriented Software Development series, presents 5 revised papers together ...
Lee mas
Transactions on Computational Science II
Transactions on Computational Science II is devoted to the subject of denotational mathematics for computational intelligence. ...
Lee mas
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. ...
Lee mas
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Lee mas
Transducers and Arrays for Underwater Sound
This book is concerned with the theory, development and design of electroacoustic transducers for underwater applications, ...
Lee mas
Transformations and Projections in Computer Graphics
Transformations and projections are used extensively in Computer Graphics, a field which is now a part of everyone’s lives ...
Lee mas
Transforming Growth Factor-β in Cancer Therapy, Volume I : Basic and Clinical Biology
Transforming Growth Factor-ß in Cancer Therapy, Volumes 1 and 2, provide a compendium of findings about the role of transforming ...
Lee mas
Transforming Growth Factor-β in Cancer Therapy, Volume II : Cancer Treatment and Therapy
Transforming Growth Factor-ß in Cancer Therapy, Volumes 1 and 2, provides a compendium of findings about the role of transforming ...
Lee mas
Transitions Before the Transition
This book assembles researchers working in Eurasia and Africa to discuss the archaeological record of the Middle Paleolithic ...
Lee mas
