This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدThese proceedings are the fifth in the series Traffic and Granular Flow, and we hope they will be as useful a reference as ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...
اقرأ المزيدThe Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
اقرأ المزيدThe book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
اقرأ المزيدNowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...
اقرأ المزيدThis book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
اقرأ المزيد