The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for ...
اقرأ المزيدAs software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
اقرأ المزيدPresents an alternative approach to understanding structural engineering load flow using a visually engaging and three-dimensional ...
اقرأ المزيدProvides a foundation for understanding the critical context of architecture and design in this region. It does this by: presenting ...
اقرأ المزيدThis book addresses the significant environmental changes experienced by high latitude and high altitude ecosystems at the ...
اقرأ المزيدThe book deals with collective and stochastic processes in astrophysical discs involving theory, observations, and the results ...
اقرأ المزيدConfocal microscopy with laser scanning technology yields in-vivo images of ocular and ocular adnexal surfaces that are so ...
اقرأ المزيدThis book records the state of the art in research on mathematics-related affect. It discusses the concepts and theories ...
اقرأ المزيدThis volume presented three major tracks covering algorithms, automata, complexity, and games
اقرأ المزيدThis volume presented three major tracks covering algorithms, automata, complexity, and games
اقرأ المزيدThis book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...
اقرأ المزيدICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 ...
اقرأ المزيدa series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
اقرأ المزيدThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيدThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
اقرأ المزيدThese proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
اقرأ المزيدThe application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
اقرأ المزيدThis book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Beginning C# 2008 ...
اقرأ المزيد