Authors:Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve
Publisher: Springer
Keywords: proceedings, september, lecture, notes, science, computer, august, york, development, specification, first, international, users, conference, formal
Number of Pages: 510
Published: 2000-10-02
List price: $89.95
ISBN-10: 3540679448
ISBN-13: 9783540679448

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.

Author: Steve Dunne
Publisher: Troubador Publishing Ltd
Keywords: reaper
Number of Pages: 356
Published: 2007-04-10
List price: $16.99
ISBN-10: 1905886500
ISBN-13: 9781905886500

DI Damen Brook has fled the Met to wind down his career in Derby - leaving his marriage, child and almost his sanity. One winter’s night, Brook is confronted by a killer he hunted years before - The Reaper - a man who slaughters families in their homes then disappears without trace. Now the search must begin again.

Authors:Steve Dunne, Bill Stoddart,
Publisher: Springer
Keywords: selected, revised, february, papers, computer, issues, general, science, durham, county, first, programming, theories, international, symposium, castle, walworth, utp, unifying
Number of Pages: 257
Published: 2006-07-28
List price: $63.00
ISBN-10: 354034750X
ISBN-13: 9783540347507

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The 14 revised full papers presented, including those by the six invited speakers, were carefully reviewed and selected for presentation at the symposium and went through a second round of improvement after the meeting. Based on the pioneering work on unifying theories of programming by Tony Haare and Jifeng He, UTP 2006 reaffirmed the relevance of the ongoing UTP project and advanced i

Authors:Tim Dunne, Milja Kurki, Steve Smith,
Publisher: Oxford University Press, USA
Keywords: diversity, discipline, theories, relations, international
Number of Pages: 400
Published: 1970-01-01
List price: $49.95
ISBN-10: 0199548862
ISBN-13: 9780199548866

A comprehensive introduction to international relations theory, International Relations Theories: Discipline and Diversity, Second Edition, provides a comprehensive introduction to international relations theory. Arguing that theory is central to explaining the dynamics of world politics, editors Tim Dunne, Milja Kurki, and Steve Smith cover a wide variety of theoretical positions--from the historically dominant traditions to powerful critical voices since the 1980s. The editors have brought together a team of international contributors, each specializing in a different theory. The contributo

Authors:Tim Dunne, Milya Kurki, Steve Smith,
Publisher: Oxford University Press, USA
Keywords: diversity, discipline, theories, relations, international
Number of Pages: 373
Published: 2007-01-12
List price: $49.95
ISBN-10: 0199298335
ISBN-13: 9780199298334

This cutting-edge textbook provides a comprehensive introduction to international relations theory. Arguing that theory is central to explaining the dynamics of world politics, it includes a wide variety of theoretical positions--from the historically dominant traditions to powerful critical voices since the 1980s. The editors have brought together a team of international contributors, each specializing in a different theory. The contributors explain the theoretical background to their positions before showing how and why their theories matter. The book opens up space for analysis and debate,

Authors:Steve Smith, Amelia Hadfield, Tim Dunne,
Publisher: Oxford University Press, USA
Keywords: cases, actors, theories, policy, foreign
Number of Pages: 400
Published: 2008-02-25
List price: $39.95
ISBN-10: 0199215294
ISBN-13: 9780199215294

This major new textbook introduces students to the dynamic and evolving field of foreign policy. Opening with a consideration of different theoretical and historical perspectives, it then focuses on a range of actors and the goals they seek to advance. The book ends with a series of case studies on issues and crises relating to a wide range of different countries. Given the growing significance of foreign policy in the post-9/11 world, Foreign Policy: Theories, Actors, Cases is a timely and indispensable resource for all foreign policy students.

Author: Tad Dunne
Publisher: Universal Publishers
Keywords: basic, compulsions, nine, spirit, methods, amp, enneatypes
Number of Pages: 316
Published: 1999-12
List price: $29.95
ISBN-10: 1581127936
ISBN-13: 9781581127935