The Arch? Papers on the Mathematics of Abstraction, Roy T. Cook
Автор: Roy T. Cook Название: The Arch? Papers on the Mathematics of Abstraction ISBN: 9048170907 ISBN-13(EAN): 9789048170906 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume collects together a number of important papers concerning both the method of abstraction generally and the use of particular abstraction principles to reconstruct central areas of mathematics along logicist lines.
Автор: Altieri, Charles Название: Painterly abstraction in modernist american poetry ISBN: 0521107296 ISBN-13(EAN): 9780521107297 Издательство: Cambridge Academ Рейтинг: Цена: 7762.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Charles Altieri`s book sets modernist American poetry in a precise cultural context by analysing how major poets reacted to the challenge posed by modernist painting`s radical critique of traditional representational models for art.
Автор: Chao Wang; Gary D. Hachtel; Fabio Somenzi Название: Abstraction Refinement for Large Scale Model Checking ISBN: 1489993959 ISBN-13(EAN): 9781489993953 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today`s digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.
Описание: Praise for the first edition: "The well-written, comprehensive book…[is] aiming to become a de facto reference for the language and its features and capabilities. The pace is appropriate for beginners; programming concepts are introduced progressively through a range of examples and then used as tools for building applications in various domains, including sophisticated data structures and algorithms…Highly recommended. Students of all levels, faculty, and professionals/practitioners.?—D. Papamichail, University of Miami in CHOICE Magazine ? Mark Lewis’ Introduction to the Art of Programming Using Scala?was the first textbook to use Scala for introductory CS courses. Fully revised and expanded, the new edition of this popular text has been divided into two books. Object-Orientation, Abstraction, and Data Structures Using Scala, Second Edition is intended to be used as a textbook for a second or third semester course in Computer Science. The Scala programming language provides powerful constructs for expressing both object orientation and abstraction. This book provides students with these tools of object orientation to help them structure solutions to larger, more complex problems, and to expand on their knowledge of abstraction so that they can make their code more powerful and flexible. The book also illustrates key concepts through the creation of data structures, showing how data structures can be written, and the strengths and weaknesses of each one. Libraries that provide the functionality needed to do real programming are also explored in the text, including GUIs, multithreading, and networking. The book is filled with end-of-chapter projects and exercises, and the authors have also posted a number of different supplements on the book website. Video lectures for each chapter in the book are also available on YouTube. The videos show construction of code from the ground up and this type of "live coding" is invaluable for learning to program, as it allows students into the mind of a more experienced programmer, where they can see the thought processes associated with the development of the code. About the Authors Mark Lewis is an Associate Professor at Trinity University. He teaches a number of different courses, spanning from first semester introductory courses to advanced seminars. His research interests included simulations and modeling, programming languages, and numerical modeling of rings around planets with nearby moons.? Lisa Lacher is an Assistant Professor at the University of Houston, Clear Lake with over 25 years of professional software development experience. She teaches a number of different courses spanning from first semester introductory courses to graduate level courses. Her research interests include Computer Science Education, Agile Software Development, Human Computer Interaction and Usability Engineering, as well as Measurement and Empirical Software Engineering.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
