This book constitutes the refereed proceedings of the Workshop on Web Mining, WebMine 2006, held in Berlin, Germany, September ...
اقرأ المزيد
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
اقرأ المزيد
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software ...
اقرأ المزيد
This book contains the proceedings of FASE 2018, the 21th International Conference on Fundamental Approaches to Software ...
اقرأ المزيد
This book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيد
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
اقرأ المزيد
The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...
اقرأ المزيد
Each topic is explored in bullet-point form with augmentative paragraph information, in-depth box features, and detailed ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 16th International Symposium Fundamentals of Computation Theory. The ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT ...
اقرأ المزيد
This book presents recent advances for imprecise and uncertain engineering information from the point of view of fuzzy database ...
اقرأ المزيد
Fuzzy Database Modeling with XML aims to provide a single record of current research and practical applications in the fuzzy ...
اقرأ المزيد
Almost all", "many", "some": fuzzy quantifiers are vital for effective communication in natural language (NL). This ...
اقرأ المزيد
This book is a collection of studies applying game-theoretical concepts and ideas to analysing the semantics of natural language ...
اقرأ المزيد
This book constitutes the thoroughly refereed research papers contributed to a research project on the `General Theory of ...
اقرأ المزيد
This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
اقرأ المزيد
Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...
اقرأ المزيد
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 5th International Conference on Geographic Information Secience, GIScience ...
اقرأ المزيد