A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Continue readingA leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Continue readingThes book is a most welcome contribution to an interesting and lively subject." -- NatureOriginally published in 1974, this ...
Continue readingNeurodegenerative diseases are a large group of neurological disorders with diverse etiological and pathological phenomena. ...
Continue readingThis book summarizes in detail the contemporary knowledge of filoviruses and diseases they cause. Almost the entirety of ...
Continue readingThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative ...
Continue readingThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Continue readingThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Continue readingGraphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Continue readingFundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Continue readingThis book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories ...
Continue readingThis volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
Continue readingTheAsiaInformationRetrievalSymposium(AIRS)wasestablishedbytheAsian information retrieval community after the successful series ...
Continue readingThis book is intended to be a thorough introduction to the subject of ordered sets and lattices, with an emphasis on the ...
Continue readingHow can one exchange information e?ectively when the medium of com- nication introduces errors? This question has been investigated ...
Continue readingThis book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Continue readingThe book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Continue readingModern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
Continue readingStructural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...
Continue reading