for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Chemoinformatics is the use of information technology in the acquisition, analysis and management of data and information relating to chemical compounds and their properties.
The 2008 TUB-SJTU joint workshop on “Autonomous Systems – Self-Organization, Management, and Control” was held on October 6, 2008 at Shanghai Jiao Tong University, Shanghai, China.
First, readers are introduced to the core concepts of the object-oriented methodology, which is used throughout the book to act as the foundation for software engineering and programming practices, and partly for the software engineering process itself.
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
This book covers the latest advances in playful user interfaces – interfaces that invite social and physical... Læs mere
This book constitutes the refereed proceedings of the International Conference on Soft Computing in Data Science, SCDS 2017, held in Yogyakarta, Indonesia, November 27-28, 2017. The 26 revised full papers presented were carefully reviewed and selected from 68 submissions.
The aim of thesymposium was to provide a unique venue where various issues in computergraphics (CG) application fields could be discussed by mathematicians, CGresearchers, and practitioners.
This book addresses the topic of playable cities, which use the ‘smartness’ of digital cities to offer their citizens playful events and activities.