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