Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
اقرأ المزيد
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيد
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
اقرأ المزيد
This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
اقرأ المزيد
This monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation ...
اقرأ المزيد
This book provides an overview of the recent advances in representation learning theory, algorithms and applications for ...
اقرأ المزيد
Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...
اقرأ المزيد
This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
اقرأ المزيد
Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
اقرأ المزيد
Over the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 9th European Conference on Research and Advanced Technology for Digital ...
اقرأ المزيد
This book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL ...
اقرأ المزيد
This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...
اقرأ المزيدRESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXI The papers in this volume present new and innovative developments in ...
اقرأ المزيد
They present new and innovative developments in the field, divided into sections on Constraint Satisfaction, AI Techniques, ...
اقرأ المزيد
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
This book includes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
اقرأ المزيد