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