The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Continue readingThe book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Continue readingThis volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program ...
Continue readingThis volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...
Continue readingThis volume covers motion detection and tracking, medical imaging, biometrics, color, curves and surfaces beyond two dimensions, ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Continue readingPossibly the most comprehensive overview of computer graphics as seen in the context of geometric modelling, this two volume ...
Continue readingThis book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Continue readingThis book constitutes the thoroughly refereed proceedings of the 21st International Conference on Computer Processing of ...
Continue readingComputer recognition systems are nowadays one of the most promising directions in artificial intelligence. This book presents ...
Continue readingThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue readingThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue readingThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Continue readingCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Continue readingThis book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Continue readingThe privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
Continue readingThe privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
Continue readingThe privilege of organizing it was shared by three universities: The IT University of Copenhagen, the University of Copenhagen, ...
Continue readingConstitutes the refereed proceedings of the 9th European Conference on Computer Vision, 2006. This book covers a range of ...
Continue reading