The message of this book is that building stored procedures in Transact-SQL is very much like building programs in any other...

The philosophical debate about free will and responsibility has been of great importance throughout the history of philosophy. In modern times this debate has received an enormous resurgence of interest and the contribution in 1962 by P. F. Strawson with the publication of his essay "Freedom and Resentment" has generated a wide range...

Computer architecture is at a turning point. Radical changes occurred in the 1980s when the Reduced Instruction Set Computer (RISC) philosophy, spurred in good part by academic research, permeated the industry as a reaction to the Complex Instruction Set Computer (CISC) complexities. Today, three decades later, we have reached a point where...

From its beginnings, philosophy's language, concepts, and imaginative growth have been heavily influenced by poetry and poets. Drawing on the work of a wide range of thinkers throughout the history of western philosophy, Raymond Barfield explores the pervasiveness of poetry's impact on philosophy and, conversely, how philosophy has...

Economic analysis of law is an interesting and challenging attempt to employ the concepts and reasoning methods of modern economic theory so as to gain a deeper understanding of legal problems. According to Richard A. Posner it is the role of the law to encourage market competition and, where the market fails because transaction costs are too...

This is a research monograph intended primarily for those researchers in Theoretical Computer Science interested in the areas of logics of programs, programming language semantics and program verification. It is also aimed at mathematically-inclined researchers in Logic, Linguistics and Philosophy, interested in a well-motivated...

This fascinating book examines some of the characteristics of technological/engineering models that are likely to be unfamiliar to those who are interested primarily in the history and philosophy of science and mathematics, and which differentiate technological models from scientific and mathematical ones. Themes that are highlighted...

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. The theme of the papers is the two-way relation between computing technologies and philosophical questions: Computing technologies both raise new...