Programming Languages and Systems, Daniel Le Metayer
Автор: 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.
Автор: Zhenjiang Hu Название: Programming Languages and Systems ISBN: 3642106714 ISBN-13(EAN): 9783642106712 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
Автор: Haines, Duane E., Название: Neuroanatomy in Clinical Context, International Edition 9e ISBN: 146983202X ISBN-13(EAN): 9781469832029 Издательство: Lippincott Williams & Wilkins Рейтинг: Цена: 35470.00 T Наличие на складе: Невозможна поставка. Описание: Neuroanatomy in Clinical Context, Ninth Edition provides everything the student needs to master the anatomy of the central nervous system, all in a clinical setting. Clear explanations;abundant MRI, CT, MRA, and MRV images; full-color photographs and illustrations; hundreds of review questions; and supplemental online resources combine to provide a sound anatomical base for integrating neurobiological and clinical concepts. In thus applying neuroanatomy clinically, the atlas ensures student preparedness for exams and for rotations. This authoritative approach—combined with such salutary features as full-color stained sections, extensive cranial nerve cross-referencing, and systems neurobiology coverage—sustains the legacy of this revolutionary teaching and learning tool as the neuroanatomy atlas.New and hallmark features elucidate neuroanatomy and systems neurobiology for course success!NEW! Chapter on Herniation Syndromes decodes the elegant relationship between brain injury and resulting deficit.NEW! Clinical information integrated throughout the text is screened in blue for quick identification on the page.NEW! Enhanced clinical images emphasize clarity and detail like never before, including full-color images replacing many in black and white, higher-resolution brain scans, and reprocessed spinal cord and brainstem images.MRIs complement full-color anatomical illustrations, allowing for visualization of structures both as they appear to the unaided eye and on imaging studies.Unique, full-color illustrations integrate clinical images of representative lesions with the corresponding deficits highlighted.Full-color stained sections facilitate the easy identification of anatomical features.Dozens of pathway drawings superimposed over MRIs connect structure with function of neural pathways.Located on thePoint, this atlas’s companion website offers a variety of supplementallearning resources to maximize study and review time!Question bank featuring over 280 USMLE-style and chapter-review style questionsBonus dissection photographs and brain slice series
Автор: Richard Crowder Название: Electric Drives and Electromechanical Systems, ISBN: 0750667400 ISBN-13(EAN): 9780750667401 Издательство: Elsevier Science Рейтинг: Цена: 40230.00 T Наличие на складе: Нет в наличии. Описание: Focuses on the selection and application of electrical drives and control systems for electromechanical and mechatronics applications. This title explains the criteria for motor-drive selection, introducing the main types of drives available to drive machine tools and robots. It also provides a review of control systems and their application.
Автор: Carlson, A.bruce Crilly, Paul B. Название: Communication systems ISBN: 0071263322 ISBN-13(EAN): 9780071263320 Издательство: McGraw-Hill Рейтинг: Цена: 50330.00 T Наличие на складе: Поставка под заказ. Описание: Communication Systems
Автор: Atsushi Igarashi Название: Programming Languages and Systems ISBN: 3319479571 ISBN-13(EAN): 9783319479576 Издательство: Springer Рейтинг: Цена: 61490.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi;
Автор: Leach Название: Introduction to Software Engineering, Second Edition ISBN: 1498705278 ISBN-13(EAN): 9781498705271 Издательство: Taylor&Francis Рейтинг: Цена: 102080.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Practical Guidance on the Efficient Development of High-Quality Software
Introduction to Software Engineering, Second Edition equips students with the fundamentals to prepare them for satisfying careers as software engineers regardless of future changes in the field, even if the changes are unpredictable or disruptive in nature. Retaining the same organization as its predecessor, this second edition adds considerable material on open source and agile development models.
The text helps students understand software development techniques and processes at a reasonably sophisticated level. Students acquire practical experience through team software projects. Throughout much of the book, a relatively large project is used to teach about the requirements, design, and coding of software. In addition, a continuing case study of an agile software development project offers a complete picture of how a successful agile project can work.
The book covers each major phase of the software development life cycle, from developing software requirements to software maintenance. It also discusses project management and explains how to read software engineering literature. Three appendices describe software patents, command-line arguments, and flowcharts.
Автор: S. Doaitse Swierstra Название: Programming Languages and Systems ISBN: 3540656995 ISBN-13(EAN): 9783540656999 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text presents the proceedings of the 8th European Symposium on Programming. The revised papers cover topics including program logics, data structures, sequential programming, type systems, language interoperation, C programming, sequential Java, constraint programming and code splicing.
Автор: Sergey Edward Lyshevski Название: Electromechanical Systems, Electric Machines, and Applied Mechatronics ISBN: 0849322758 ISBN-13(EAN): 9780849322754 Издательство: Taylor&Francis Рейтинг: Цена: 132710.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Mechatronics has evolved to attack and solve a variety of engineering problems, and there appears to be no end to its application. This book presents a combination of traditional engineering topics and modern technologies, integrated to stimulate advances in the analysis and design of electromechanical systems.
Автор: Gert Smolka Название: Programming Languages and Systems ISBN: 3540672621 ISBN-13(EAN): 9783540672623 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: These refereed papers are from the 9th European Symposium on Programming, in Berlin, in March/April 2000. Among the topics addressed are language translation, coordination languages, typed languages, logic programs, Java, C-programming, type systems, and language continuations.
Автор: Lyshevski, Sergey E. Название: Electromechanical systems and devices ISBN: 1420069721 ISBN-13(EAN): 9781420069723 Издательство: Taylor&Francis Рейтинг: Цена: 148010.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Integrates comprehensive studies and designs of electromechanical systems and motion devices as well as demonstrates the application of theoretical results in the analysis and design of electromechanical systems. This book covers topics, such as electromechanical motion devices, and power electronics and sensors.
Автор: Laplante Название: Real-Time Systems Design and Analysis: Tools for the Practitioner, 4th Edition ISBN: 0470768649 ISBN-13(EAN): 9780470768648 Издательство: Wiley Рейтинг: Цена: 134060.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: An important resource, this book offers an introduction and overview of real-time systems: systems where timeliness is a crucial part of the correctness of the system.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
