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