Decline and fall of the eastern roman empire 1205-1453, Pears, Edwin
Автор: Pears Iain Название: Instance of the Fingerpost ISBN: 009975181X ISBN-13(EAN): 9780099751816 Издательство: Random House - Penguin Рейтинг: Цена: 11430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: An intellectual thriller set in the Oxford of the 1660s, a time of great ferment - intellectual, religious and political. The action takes place around the suspicious death of Robert Grove, a Fellow of New College.
Автор: Pears Iain Название: Giotto`s Hand ISBN: 0007229240 ISBN-13(EAN): 9780007229246 Издательство: HarperCollins UK Рейтинг: Цена: 9670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Witty and clever art history-mystery featuring Jonathan Argyll, from the author of the bestselling masterpiece `An Instance of the Fingerpost`.
Автор: Pears Iain Название: Arcadia ISBN: 0571301576 ISBN-13(EAN): 9780571301577 Издательство: Faber Рейтинг: Цена: 11430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: But is this world real -- and what happens if Rosie decides to stay?Meanwhile, a rebellious scientist is trying to prove that time does not even exist -- with potentially devastating consequences.As the three worlds come together, one question arises: who controls the future -- or the past...?
Автор: 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
Автор: Beaman Nina, Routh Kristiana, Papazian-Boyce Lorraine Название: Student Workbook for Pearson`s Comprehensive Medical Assisting: Administrative and Clinical Competencies ISBN: 0134472993 ISBN-13(EAN): 9780134472997 Издательство: Pearson Education Рейтинг: Цена: 48600.00 T Наличие на складе: Невозможна поставка. Описание: NOTE: Before purchasing, check with your instructor to ensure you select the correct ISBN.
Used books, rentals, and purchases made outside of PearsonIf purchasing or renting from companies other than Pearson, the access codes for Pearson's MyLab & Mastering products may not be included, may be incorrect, or may be previously redeemed. Check with the seller before completing your purchase. This Workbook corresponds to Pearson's Comprehensive Medical Assisting, Fourth Edition. Pearson's Comprehensive Medical Assisting, Fourth Edition, offers a step-by-step, competency-based approach that covers virtually all facets of the medical assisting profession. This corresponding Fourth Edition Student Workbook was completely revised and updated to align with the Fourth Edition Comprehensive Medical Assisting textbook. A detailed, in-depth, follow-along study guide feature, found at the beginning of each Workbook chapter, directly reflects the correlating textbook chapter, providing important reinforcement of the information. The Workbook also features brand-new activities that directly relate to CAAHEP standards, particularly CAAHEP's Affective Competencies.
Автор: Pearson, Michael Название: Pearson`s canal companion - four counties ring ISBN: 0956277748 ISBN-13(EAN): 9780956277749 Издательство: Неизвестно Рейтинг: Цена: 15770.00 T Наличие на складе: Поставка под заказ. Описание: Covering Four Counties Ring cruising circuit, this guide features the whole of the Trent & Mersey Canal and the beautiful Caldon Canal. It interprets over 200 miles of canals and river navigations to inspire you, on foot, afloat or on bicycle.
Автор: Pearson, Michael Название: Pearson`s canal companion - severn & avon ISBN: 0956277756 ISBN-13(EAN): 9780956277756 Издательство: Неизвестно Рейтинг: Цена: 13130.00 T Наличие на складе: Поставка под заказ. Описание: Dealing with the popular Avon Ring cruising circuit and the Droitwich Canals, forming the Mid-Worcestershire Ring, this title features the River Severn, Gloucester & Sharpness Canal and Cotswold Canals between Saul & Sapperton. It interprets over 200 miles of river navigations and canals to inspire you, on foot, afloat or on bicycle.
Автор: Derek Pearsall Название: Gothic Europe 1200-1450 ISBN: 0582276381 ISBN-13(EAN): 9780582276383 Издательство: Taylor&Francis Рейтинг: Цена: 78590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: A vision of the arts and literature of European culture in the High Middle Ages, this book covers the world of Chaucer, Boccaccio, Petarch and the Arthurian romances. It shows the movement from a church-dominated culture to one which was much more self-confident and enquiring.
Автор: Pearson, Michael Название: Pearson`s canal companion - stourport ring & black country rings birmingham canal navigations ISBN: 099284925X ISBN-13(EAN): 9780992849252 Издательство: Неизвестно Рейтинг: Цена: 15770.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Pearson`s canal companions encourage visitors, explain the lie of the land and provide a lasting souvenir of journeys made. This new 9th edition of the Stourport & Black Country Rings and Birmingham Canal Navigations Canal Companion marks a new format: theextent has increased from 96 to 160 pages, maps from 41 to 48 and photographs from 65 to 153.
Автор: Pearson, Michael Название: Pearson`s canal companion - severn and avon ISBN: 0992849268 ISBN-13(EAN): 9780992849269 Издательство: Неизвестно Рейтинг: Цена: 15770.00 T Наличие на складе: Невозможна поставка. Описание: Now in its 8th edition the Pearson Canal Companion to the Severn and Avon has increased in size and provides invaluable information about the inland waterways of the Severn and Avon plus the mid-Worcestershire ring and Cotswold Canals.
Автор: Pears Iain Название: Arcadia ISBN: 057130155X ISBN-13(EAN): 9780571301553 Издательство: Faber Рейтинг: Цена: 16710.00 T Наличие на складе: Нет в наличии. Описание: In the basement of a professor`s house in 1960s Oxford, fifteen-year-old Rosie goes in search of a missing cat - and instead finds herself in a different world. Anterwold is a sun-drenched land of storytellers, prophecies and ritual. But is this world real - and what happens if she decides to stay?
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
