Автор: Idris Murad Название: War for Peace ISBN: 0190658010 ISBN-13(EAN): 9780190658014 Издательство: Oxford Academ Рейтинг: Цена: 53850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Peace is a universal ideal, but its political life is a great paradox: "peace" is the opposite of war, but it also enables war. If peace is the elimination of war, then what does it mean to wage war for the sake of peace? What does peace mean when some say that they are committed to it but that their enemies do not value it? Why is it that associating peace with other ideals, like justice, friendship, security, and law, does little to distance peace from war? Although political theory has dealt extensively with most major concepts that today define "the political" it has paid relatively scant critical attention to peace, the very concept that is often said to be the major aim and ideal of humanity. In War for Peace, Murad Idris looks at the ways that peace has been treated across the writings of ten thinkers from ancient and modern political thought, from Plato to Immanuel Kant and Sayyid Qutb, to produce an original and striking account of what peace means and how it works. Idris argues that peace is parasitical in that the addition of other ideals into peace, such as law, security, and friendship, reduces it to consensus and actually facilitates war; it is provincial in that its universalized content reflects particularistic desires and fears, constructions of difference, and hierarchies within humanity; and it is polemical, in that its idealization is not only the product of antagonisms, but also enables hostility. War for Peace uncovers the basis of peace's moralities and the political functions of its idealizations, historically and into the present. This bold and ambitious book confronts readers with the impurity of peace as an ideal, and the pressing need to think beyond universal peace.
Автор: Richard Synge Название: Operation Idris ISBN: 1900971259 ISBN-13(EAN): 9781900971256 Издательство: Marston Book Services Рейтинг: Цена: 23760.00 T Наличие на складе: Невозможна поставка. Описание: Operation Idris provides the unofficial story behind the British Administration`s cultivation of Sayyid Mohammed Idris as the figurehead for their project of indirect rule in Cyrenaica.
Название: Cadair Idris & Llyn Tegid ISBN: 0319263592 ISBN-13(EAN): 9780319263594 Издательство: Неизвестно Рейтинг: Цена: 13720.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: OS Explorer is the Ordnance Survey`s most detailed map and is recommended for anyone enjoying outdoor activities like walking, horse riding and off-road cycling. The OS Explorer range of OL maps now includes a digital version of the paper map, accessed through the OS smartphone app, OS Maps.
Автор: Idris Assani Название: Ergodic Theory and Dynamical Systems: Proceedings of the Ergodic Theory Workshops at University of North Carolina at Chapel Hill, 2011-2012 ISBN: 311029821X ISBN-13(EAN): 9783110298215 Издательство: Walter de Gruyter Цена: 185890.00 T Наличие на складе: Невозможна поставка. Описание: This is the proceedings of theworkshop on recent developments in ergodic theory and dynamical systemson March 2011and March 2012 at the University of North Carolina at Chapel Hill. Thearticles in this volume cover several aspects of vibrant research in ergodic theory and dynamical systems. It contains contributions to Teichmuller dynamics, interval exchange transformations, continued fractions, return times averages, Furstenberg Fractals, fractal geometry of non-uniformly hyperbolic horseshoes, convergence along the sequence of squares, adic and horocycle flows, and topological flows. These contributions illustrate the connections between ergodic theory and dynamical systems, number theory, harmonic analysis, probability, andalgebra. Two surveys are included which give a nice introduction for interested young or senior researcher to some active research areas. Overall this volume provides a very useful blend of techniques and methods as well as directions of research on general convergence phenomena in ergodic theory and dynamical systems.
Автор: Brady Edwin Название: Type-Driven Development with Idris ISBN: 1617293024 ISBN-13(EAN): 9781617293023 Издательство: Pearson Education Рейтинг: Цена: 52790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Summary
Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris, a language designed to support type-driven development.
Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.
About the Technology
Stop fighting type errors Type-driven development is an approach to coding that embraces types as the foundation of your code - essentially as built-in documentation your compiler can use to check data relationships and other assumptions. With this approach, you can define specifications early in development and write code that's easy to maintain, test, and extend. Idris is a Haskell-like language with first-class, dependent types that's perfect for learning type-driven programming techniques you can apply in any codebase.
About the Book
Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system. In this book, you'll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you'll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages.
What's Inside
Understanding dependent types
Types as first-class language constructs
Types as a guide to program construction
Expressing relationships between data
About the Reader
Written for programmers with knowledge of functional programming concepts.
About the Author
Edwin Brady leads the design and implementation of the Idris language.
Table of Contents
PART 1 - INTRODUCTION
Overview
Getting started with IdrisPART 2 - CORE IDRIS
Interactive development with types
User-defined data types
Interactive programs: input and output processing
Programming with first-class types
Interfaces: using constrained generic types
Equality: expressing relationships between data
Predicates: expressing assumptions and contracts in types
Views: extending pattern matching
PART 3 - IDRIS AND THE REAL WORLD
Streams and processes: working with infinite data
Writing programs with state
State machines: verifying protocols in types
Dependent state machines: handling feedback and errors
Type-safe concurrent programming
Автор: Idris Jones, John Название: Secret wrexham ISBN: 1445677008 ISBN-13(EAN): 9781445677002 Издательство: Неизвестно Рейтинг: Цена: 16890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Explore Wrexham`s secret hidden history through a fascinating selection of stories, facts and photographs.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
