For a long time uncertainty has been considered synonymous with random, stochastic, statistic, or probabilistic. Since the ...
Continue readingThe need for someone to talk to about what is going on inside us while ensuring privacy has become a necessary requirement, ...
Continue readingReports on several advances in architectural graphics, with a special emphasis on education, training, and research. It gathers ...
Continue readingArtificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent ...
Continue readingThis volume contains both invited and selected extended papers from the last 3IA Conference (3IA’2008), together with an ...
Continue readingThis book brings together leading research from engineers and practitioners interested in the technical advances, business ...
Continue readingThis book brings together leading research from engineers and practitioners interested in the technical advances, business ...
Continue readingThis book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic ...
Continue readingArtificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and ...
Continue readingAs AI becomes a giant trend in the business world, mobile apps are one of the usage areas, which people can benefit from. ...
Continue readingThis book will help you take full advantage of the Visual Basic for Applications programming environment within AutoCAD 2006. ...
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 book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Continue readingThe book show the lively variety of topics and methods and the current applicability of automated deduction in geometry to ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Continue readingThis book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Continue reading