This book constitutes the refereed joint proceedings of ten internationl workshops held in conjunction with the 4th International ...
اقرأ المزيد
This book represents a first considered attempt to study the factors that conditioned industrial chemistry for war in1914-18. ...
اقرأ المزيد
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, ...
اقرأ المزيد
Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...
اقرأ المزيد
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
This book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
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 ...
اقرأ المزيد
ETAPS 2006 was the ninth 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 ...
اقرأ المزيدThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
اقرأ المزيد
The book presents fundamental numerical methods which are most frequently applied in the electrical (electronic) engineering. All ...
اقرأ المزيدInformation is a valuable resource to an organization. Computer software provides an efficient means of processing information, ...
اقرأ المزيد
Future Generation Grids is the second in the CoreGRID series. This edited volume brings together contributed articles by ...
اقرأ المزيد
This book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...
اقرأ المزيد
This book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...
اقرأ المزيدThis book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...
اقرأ المزيدGUI Design for Android Apps is the perfect—and concise—introduction for mobile app developers and designers. Through ...
اقرأ المزيد
Studies of Nearby Galaxies are currently the focus of many observations and numerical simulations. This book presents an ...
اقرأ المزيد