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