Cloud Computing: Concepts, Technology, Security, and Architecture
Thomas Erl & Eric Monroy
A Good Death: On the Value of Death and Dying
Sandman, Lars
Collected Essays
Aldous Leonard Huxley
The Promise of Politics
Hannah Arendt
Rome and Jerusalem
Martin Goodman
Proof Theory of Modal Logic
Heinrich Wansing
Proof Theory for Fuzzy Logics
George Metcalfe & Nicola Olivetti & Dov M. Gabbay
Programming Sound with Pure Data: Make Your Apps Come Alive ...
Tony Hillerson
Programming Language Pragmatics
Michael L. Scott
Professional Assembly Language
Richard Blum
Process Grammar: The Basis of Morphology
Michael Leyton
Probability, Markov Chains, Queues, and Simulation: The Mathematical ...
William J. Stewart
Problem Solving in Automata, Languages, and Complexity
Ding-Zhu Du & Ker-i Ko
Philosophy and Computer Science
Timothy R. Colburn
Philosophy and Computing: An Introduction
Luciano Floridi
Mathematical Logic
Heinz-Dieter Ebbinghaus & Jörg Flum & Wolfgang Thomas
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Mathematical Logic for Computer Science
Mordechai Ben-Ari
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani & N. J. Nersessian & Claudio Pizzi
Labelled Deduction
David Basin & M. D'Agostino & Dov M. Gabbay & Seán Matthews & Luca Viganò
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Frontiers in Belief Revision
M. Williams & Hans Rott
Fuzzy Sets, Logics and Reasoning About Knowledge
Didier Dubois & Henri Prade & Erich Peter Klement
Foundations of Rational Agency
Michael Wooldridge & A. Rao