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 ...
اقرأ المزيد