This book presented formal approaches, Computation and Simulation in Modelling Biological Systems, Intelligent Information ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue readingThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue readingThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue readingThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...
Continue readingThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Continue readingComputer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...
Continue readingComputer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students ...
Continue readingThe text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE ...
Continue readingThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Algebra in Scientific Computing, ...
Continue readingThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
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 readingThis book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Continue readingThis book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de ...
Continue readingThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
Continue readingThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Continue readingThis book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
Continue readingThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Continue reading