"114" Result
Sort By:
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically so…
Programming Language Concepts uses a functional programming language (F♯) as the metalanguage in which to present all concepts and examples, and thus has an operational flavour, enabling practical experiments and exercises. It includes basic concepts such as abstract syntax, int…
Virtual Manufacturing
by Khan, Wasim Ahmed, Raouf, Abdul, Cheng, Kai
fromSpringer series in advanced manufacturing
0
Type: Book
The biological interactions of living organisms, and protein-protein interactions in particular, are astonishingly diverse and present numerous challenges to modern biomolecular research because of their complexity. Analysis of patterns and principles governing these interaction…