Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lee mas
Datatype-Generic Programming
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lee mas
Discrete Multivariate Analysis Theory and Practice
Thes book is a most welcome contribution to an interesting and lively subject." -- NatureOriginally published in 1974, this ...
Lee masDrug discovery and GBCR – Related CNS Disorders / Anas Shabakji ; Sarah Joudieh ; Ruba Abou Assali
Neurodegenerative diseases are a large group of neurological disorders with diverse etiological and pathological phenomena. ...
Lee mas
Filoviruses : A Compendium of 40 Years of Epidemiological, Clinical, and Laboratory Studies
This book summarizes in detail the contemporary knowledge of filoviruses and diseases they cause. Almost the entirety of ...
Lee mas
Focused Access to XML Documents : 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007 Dagstuhl Castle, Germany, December 17-19, 2007. Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative ...
Lee mas
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lee mas
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lee masFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lee mas
Fundamentals of Algebraic Graph Transformation
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Lee mas
Fundamentals of Artificial Intelligence
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...
Lee mas
Goguen Categories
This book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories ...
Lee mas
Implementation and Application of Automata (vol. # 3317)
This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
Lee mas
Information Retrieval Technology (vol. # 3411)
TheAsiaInformationRetrievalSymposium(AIRS)wasestablishedbytheAsian information retrieval community after the successful series ...
Lee mas
Lattices and Ordered Sets
This book is intended to be a thorough introduction to the subject of ordered sets and lattices, with an emphasis on the ...
Lee mas
List Decoding of Error-Correcting Codes
How can one exchange information e?ectively when the medium of com- nication introduces errors? This question has been investigated ...
Lee mas
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Lee mas
Logica Universalis
The book signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic ...
Lee mas
Logica Universalis : Towards a General Theory of Logic
Modern logic has been intimately connected with algebra since its origins in figures such as Boole, De Morgan, and Peirce. ...
Lee mas
Logical Aspects of Computational Linguistics
Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...
Lee mas
