Electronic Books

Total Books: 21 - 40 /69

Datatype-Generic Programming

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...

Datatype-Generic Programming

A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...

Discrete Multivariate Analysis Theory and Practice

Thes book is a most welcome contribution to an interesting and lively subject." -- NatureOriginally published in 1974, this ...

Drug 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. ...

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 ...

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 ...

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 ...

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 ...

Foundations 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 ...

Fundamentals of Algebraic Graph Transformation

Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...

Fundamentals of Artificial Intelligence

Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments ...

Goguen Categories

This book introduces several categorical formulations of an abstract theory of relations such as allegories, Dedekind categories ...

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 ...

Information Retrieval Technology (vol. # 3411)

TheAsiaInformationRetrievalSymposium(AIRS)wasestablishedbytheAsian information retrieval community after the successful series ...

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 ...

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 ...

Logic for Computer Scientists

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

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 ...

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. ...

Logical Aspects of Computational Linguistics

Structural Equations in Language Learning.- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic ...

Total Books: 21 - 40 /69