A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introd...

Proper design of printed circuit boards can make the difference between a product passing emissions requirements during the first cycle or not. Traditional EMC design practices have been simply rule-based, that is, a list of rules-of-thumb are presented to the board designers to implement. When a particular rule-of-thumb is difficult to implement, it is often ignored. After the product is built, it will often fail emission requirements and various time consuming and costly add-ons are then re...

Exploring the structure and physical and chemical properties of solutions, dispersions, soft solids, fats, and cellular systems, Physical Chemistry of Foods describes the physiochemical principles of the reactions and conversions that occur during the manufacture, handling, and storage of foods. Coverage progresses from aspects of thermodynamics, bonds and interaction forces, and reaction kinetics, to transport phenomena, polymers, colloidal interactions, nucleation, glass transitions and fre...

Konkelen, streken uithalen, samenzweren zijn in een organisatie een alledaagse bezigheid. Wie spant met wie samen? Wie zijn er 'twee handen' op een buik? Wie manipuleert wie, waartoe en hoe? Mensen die vertrouwen op de formele verhoudingen, op het 'nette' spel, komen bedrogen uit. Beslissingen komen niet alleen tot stand door rationele afwegingen van voor- en tegenargumenten. Nee, het andere spel, het ondergrondse politieke machtsspel, is minstens even belangrijk.

In dit boek geeft Joep Schri...

Reflectie op de eigen cultuur is een kenmerk van alle beschavingen. In de westerse cultuur is deze reflectie van meet af aan ook op een redelijke, argumentatieve wijze ontwikkeld; cultuurfilosofie is daarom een wezenlijk element van de westerse beschaving. Maar in de loop van de twintigste eeuw is de westerse cultuurfilosofie een complexe zaak geworden. Door feitelijke problemen met een mondiale draagwijdte zijn twijfels ontstaan over de houdbaarheid van bepaalde fundamentele grondslagen van ...

Since its founding in 1964, the United Republic of Tanzania has used music, dance, and other cultural productions as ways of imagining and legitimizing the new nation. Focusing on the politics surrounding Swahili musical performance, Kelly Askew demonstrates the crucial role of popular culture in Tanzania's colonial and postcolonial history. As Askew shows, the genres of ngoma (traditional dance), dansi (urban jazz), and taarab (sung Swahili poetry) have played prominent parts in official art...

De twee brieven aan de Tessalonicenzen zijn de oudste apostolische brieven die ons in de Bijbel bewaard gebleven zijn. Ze staan op naam van het missionaire trio dat een reis maakte door Griekenland: Paulus, Silvanus en Timoteüs. Na hun gedwongen vertrek uit Tessalonica hebben de apostelen het (mondelinge) basisonderwijs aan de nog jonge gemeente aldaar schriftelijk voortgezet. Men moest zich oefenen in christelijke levenswandel, standvastigheid en toekomstverwachting. Dit CNT-deel behandelt ...