Автор: Pierce, Benjamin C. Название: Types and programming languages ISBN: 0262162091 ISBN-13(EAN): 9780262162098 Издательство: MIT Press Рейтинг: Цена: 107220.00 T Наличие на складе: Невозможна поставка. Описание:
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 introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.
The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
Автор: Suarez, Jorge A. Название: Mesoamerican indian languages ISBN: 0521296692 ISBN-13(EAN): 9780521296694 Издательство: Cambridge Academ Рейтинг: Цена: 47520.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: At least a hundred indigenous Indian languages are known to have been spoken in Mesoamerica, but it is only in the past fifty years that many of them have been adequately described. Professor Suarez draws together this considerable mass of scholarship in a general survey that will provide an invaluable source of reference.
Автор: Sebeok, Thomas (Ed.) Название: Native Languages of the Americas Volume 1 (Softcover reprint of the original 1st ed. 1976) ISBN: 1475715617 ISBN-13(EAN): 9781475715613 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Thirteen of the chapters that comprise the contents of this first volume of Native Languages of the A mericas were originally commissioned by the undersigned in his capacity as Editor of the fourteen volume series (1963-1976), Current Trends in Linguistics.
Автор: Sebeok, Thomas (Ed.) Название: Native Languages of the Americas Volume 2 (Softcover reprint of the original 1st ed. 1977) ISBN: 1475715641 ISBN-13(EAN): 9781475715644 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Original ver- sions of five articles, respectively, by Barthel, Grimes, Longacre, Mayers, and Suarez, were first published in Part II of Current Trends in Linguistics, Vol. Linguistics in North America (1973) and the two by Kaufman and Rensch were in Part I I of Vol.
Автор: Elizabeth T. Anderson,Judith McFarlane Название: Elizabeth Т. Anderson. Community as Partner: Theory and Practice in Nursing. Lippincott Williams & Wilkins, 2014 Андерсон Э. Сообщество как партнер: теория и практика медсестринского дела. Липпинкот, 2014 ISBN: 145119093X ISBN-13(EAN): 9781451190939 Издательство: Lippincott Williams & Wilkins Рейтинг: Цена: 61770.00 T Наличие на складе: Невозможна поставка. Описание: Prepare For Professional Nursing Practice In The Community With Community As Partner, 7E. Packed With Real Life Examples And The Latest Information In The Field, This Award-Winning Book Helps You Develop The Knowledge And Skills You Need To Develop True Partnerships With Communities. User-Friendly, Well Written, And Clearly Organized, This Practical Book Focuses On The Nursing Process, Community Assessment, And The Development Of Effective Community Health Programs. In Addition:Learning Objectives At The Beginning Of Each Chapter Focus Your Attention On Important Chapter Content.Take Note Boxes Highlight Key Concepts As You Go Through The Steps Of The Nursing Process For A Community.Critical Thinking Questions At The End Of Each Chapter Enable You To Review And Apply Chapter Content.Further Readings Provide Opportunities For Further Exploration Of Topics Of Interest.Coverage Of Global Health In Chapter 1 Explores The Multifaceted, Global Nature Of Community And Public Health Nursing.A Strong Chapter On Rural Health Helps You Understand The Unique Considerations Required For Community Nursing In A Rural Environment.Online Interactive Case Studies Develop Your Critical Thinking And Clinical Reasoning Skills Through Case Studies Accompanied By Pertinent Questions And Links To Additional Websites.
Автор: Gada, Srinivas Название: Community Paediatrics ISBN: 0199696950 ISBN-13(EAN): 9780199696956 Издательство: Oxford Academ Рейтинг: Цена: 54910.00 T Наличие на складе: Поставка под заказ. Описание: Containing detailed summaries on a comprehensive range of clinical scenarios and conditions, and organised according to the different sub-specialities of community paediatrics, this handbook is an ideal companion for anyone working with children in the community.
Автор: Ramsey, S Robert (Author) Название: The Languages of China ISBN: 069101468X ISBN-13(EAN): 9780691014685 Издательство: Wiley Рейтинг: Цена: 36960.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The description for this book, The Languages of China, will be forthcoming.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Asia Minor ISBN: 052168496X ISBN-13(EAN): 9780521684965 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Asia Minor, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Asia and the Americas ISBN: 0521684943 ISBN-13(EAN): 9780521684941 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Asia and the Americas, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Europe ISBN: 0521684951 ISBN-13(EAN): 9780521684958 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Europe, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Mesopotamia, Egypt and Aksum ISBN: 0521684978 ISBN-13(EAN): 9780521684972 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Mesopotamia, Egypt and Aksum, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Автор: Edited by Roger D. Woodard Название: The Ancient Languages of Syria-Palestine and Arabia ISBN: 0521684986 ISBN-13(EAN): 9780521684989 Издательство: Cambridge Academ Рейтинг: Цена: 49630.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book describes the ancient languages of Syria-Palestine and Arabia, for the convenience of students and specialists working in that area. Each chapter examines the writing system(s), phonology, morphology, syntax and lexicon of a language, and places that language within its proper linguistic and historical context.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz