This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons’ ...
اقرأ المزيدWe are living in an ever more complex world, an epoch where human actions can accordingly acquire far-reaching potentialities. ...
اقرأ المزيدThis two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation ...
اقرأ المزيدThis book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop ...
اقرأ المزيدThis book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used ...
اقرأ المزيدThis volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...
اقرأ المزيدThis volume, Computation and Logic in the Real World, is the proceedings of the third in a series of conferences of CiE Computability ...
اقرأ المزيدAdvances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيدAdvances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Second International Workshop, IWCF 2008, held in Washington, DC, USA, ...
اقرأ المزيدThis volume contains chapters presenting applications of different metaheuristics (ant colony optimization, great deluge ...
اقرأ المزيدDeals with the power of intelligent technologies individually and in combination. This book includes examples of the particular ...
اقرأ المزيدThe four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيدThe four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيدThe concept of CAST, computer aided systems Theory, was introduced by F. Pichler of Linz in the late 1980s to include those ...
اقرأ المزيدThis book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
اقرأ المزيدThis book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
اقرأ المزيدThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدThis volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
اقرأ المزيد