During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, ...
اقرأ المزيدThis book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
اقرأ المزيدThis book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
اقرأ المزيد"Financing Public Universities" addresses newer practices of resource allocation which tie funding to indicators of performance. ...
اقرأ المزيدForecasting Oracle Performance is the first book to focus squarely on the problem of forecasting the future performance of ...
اقرأ المزيدThis volume contains the proceedings of the third EPEW workshop held at the Technical University of Budapest, Budapest, Hungary, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, ...
اقرأ المزيدThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
اقرأ المزيدThis book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
اقرأ المزيدThis book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International ...
اقرأ المزيدThe purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...
اقرأ المزيدThese papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
اقرأ المزيدThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
اقرأ المزيدFoundations of Qt Development is based on Qt 4.2, and is aimed at C++ programmers who want to become proficient using this ...
اقرأ المزيد"In this Abstract, you will learn: 1) Why businesses must become innovative; 2) How to develop creative business models; ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First Annual International Frontiers of Algorithmics Workshop, FAW ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th Asia-Pacific Web Conference, APWeb 2006, held in Harbin, China ...
اقرأ المزيدThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيدThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
اقرأ المزيدThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
اقرأ المزيد