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