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