Thermal Energy Storage for Sustainable Energy Consumption
? ukurova University, Turkey in collaboration with Ljubljana University, Slovenia and the International Energy Agency Implementing ...
Continue reading
Théories spectrales : Chapitres 1 et 2 = Spectral theories: Chapters 1 and 2
Nicolas BOURBAKI's Elements of Mathematics aim to provide a rigorous, systematic presentation without prerequisites of mathematics ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Continue reading
Transactions on Computational Systems Biology IX
This book contains four highly detailed papers. The first paper focuses on quantitative aspects of the bgl operon for E.coli. ...
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 Rough Sets IX
This book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
Continue reading
Transactions on Rough Sets VIII
This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
Continue reading
Ultrahigh-Speed Optical Transmission Technology
Ultrahigh-speed optical transmission technology is a key technology for increasing the communication capacity. In optical ...
Continue reading
Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Continue reading
Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition
Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...
Continue reading
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Continue reading
Vehicle Dynamics and Control
Vehicle Dynamics and Control provides a comprehensive coverage of vehicle control systems and the dynamic models used in ...
Continue reading
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Continue reading
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Continue reading
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Continue reading
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)
This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...
Continue reading
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
Continue reading
