Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing to provide a clear introduction to formal reasoning which ...

**By the winner of the Nobel Prize in Literature 2021**A BBC RADIO 4 Book at Bedtime SHORTLISTED FOR THE BOOKER PRIZE 1994'A poetic and vividly conjured book about Africa and the brooding power of the unknown' Independent on Sunday'Lingering and exquisite' Guardian'An obliterated world is enthrallingly retrieved' Sunday Times____________________________Born in East Africa, Yusuf has few qualms about the journey he is to make. It never occurs to him to ask why he is accompanying Uncle Aziz or ...

An introductory survey of the history of the principles and practice of citizenship, based on the premise that the current conditions and debates about citizenship cannot be fully understood without a knowledge of the historical background. This is provided through an analytical narrative of the functioning of citizenship and the major theorists from Sparta to the present day, including quotations from key texts. In addition the reader is asked to consider, based on the historical evidence pr...

" J'ai trouvé une idée merveilleuse. je serai un homme de génie ", s'exclame Balzac au moment où il écrit Le Père Goriot. Il venait d'imaginer La Comédie humaine, ce cycle romanesque dans lequel les mêmes personnages réapparaissent d'un roman à l'autre. Il venait de créer un monde, le monde balzacien. Les plus beaux romans, dit André Maurois, sont des romans d'apprentissage. Les illusions de la jeunesse s'y heurtent au monde féroce et pourtant plein de délices.

L'amour devient c...

Drama is belangrijk voor de mens om greep te kunnen houden op zijn omgeving, problemen te kunnen bolwerken en weerbaar te blijven.

Hoe kweek je vertrouwen in de samenleving voor je organisatie? Door middel van van Issuesmanagement kun je de publieke opinie regisseren. Die publieke opinie is lang niet altijd mals, lang niet altijd redelijk en lang niet altijd terecht. Issuesmanagement is daarom een belangrijk taakgebied van 'communicatie'.

Issuesmanagement is langetermijnbeleid. Veenbrandjes als mediahypes zijn zó aangestoken, maar dan hebben we het over crisiscommunicatie. Waar het bij issuesmanagement om gaat zijn de do...

Dit boek geeft een overzicht van verschillende spanningsvelden die bij coaching een rol spelen. Daarmee biedt het coaches een houvast voor het maken van zorgvuldige keuzes in hun eigen praktijk. Door keuzes expliciet te maken en te onderbouwen beogen de auteurs een bijdrage te leveren aan de verdere professionalisering van coaching.

In het boek worden zeven aspecten toegelicht die in coaching steeds aan de orde zijn: Coaching is te omschrijven als een doelgerichte (1) methode (2) van begeleide...

Met behulp van beelddenken wordt in dit boek het proces beschreven om op een creatieve wijze persoonlijke doelen en behoeftes, teamdoelen en -behoeftes en de doelen van de organisatie op het spoor te komen. Beelddenken is een wijze van bewustzijn dat ratio en intuïtie in verband brengt met elkaar waardoor je koers kunt bepalen.

De auteur presenteert een zevenstappenmethode die het proces ondersteunt. Praktisch uitvoerbare oefeningen worden aangereikt. De levendig verbeelde toekomst ondersteun...

Dit boek bekritiseert de organisatiekundige en veranderkundige theorievorming en praktijkuitvoering die al decennia lang de aanpassing centraal stelt. Het gaat in tegen de tendens tot doelgerichte aanpassing in hedendaagse benaderingen, zoals zelfsturing, collectieve flow, esthetisering en werkdiscipline (de `nieuwe strengheid`). De schrijver vraagt aandacht voor de organisatiemens als een wezen van verlangen dat fundamenteel onaangepast is. Er is een diepgaand, niet te overbruggen verschil t...

Een depressie is iets anders dan "in een dip zitten". We spreken van een depressie als je minimaal twee weken achtereen somber bent. Daarnaast moet je nog minimaal vier andere depressieve symptomen hebben, zoals verminderde eetlust, concentratie– of geheugenproblemen, moeheid, schuldgevoelens en/of gedachten aan de dood. Alhoewel een op de tien Nederlanders in zijn leven met een depressie te maken krijgt, is iedereen toch op zijn eigen, persoonlijke manier depressief. Het is dus de kunst om...