Several of the contributions to this volume bring forward many mutually beneficial interactions and connections between the ...
اقرأ المزيدDarwinian evolutionary theory is one of the most important theories in human history for it has equipped us with a valuable ...
اقرأ المزيدNew discoveries about algorithms are leading scientists beyond the Church-Turing Thesis, which governs the "algorithmic ...
اقرأ المزيدDuring the last years, the competitive pressures and short product lifecycles have caused many manufacturing and retail companies ...
اقرأ المزيدCellular nonlinear networks are naturally inspired computing architectures where complex dynamic behaviors may emerge as ...
اقرأ المزيدAs technology is advancing and the needs for development in various fields become necessary, the idea of our project is born, ...
اقرأ المزيد"In the complicated world of system-on-chip design, we need a common language so we know what we're talking about. By ...
اقرأ المزيدThis book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, ...
اقرأ المزيدTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيدThis volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
اقرأ المزيدThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating ...
اقرأ المزيدThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
اقرأ المزيدConstitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
اقرأ المزيدThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
اقرأ المزيدA concise and accessible introduction to the science and applications of text analytics (or text mining), which enables automatic ...
اقرأ المزيدOffers a detailed introduction to the fundamental theories and methods of text data mining, ranging from pre-processing (for ...
اقرأ المزيدThis book gives an up-to-date survey of the relevant bioinspired computing research fields – such as evolutionary computation, ...
اقرأ المزيدThe book presents examples of models that are classical in essence, but can be analysed by the use of quantum techniques, ...
اقرأ المزيد