Автор: Harper Название: Practical Foundations for Programming Languages ISBN: 1107150302 ISBN-13(EAN): 9781107150300 Издательство: Cambridge Academ Рейтинг: Цена: 9978.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book defines and analyzes a full range of programming language concepts in a single unifying framework that isolates core abstractions and avoids irrelevant details of specific languages. It stresses the central role of types and teaches the use of rigorous mathematical techniques for proving properties of languages and programs.
Автор: Ahmed Название: Foundations of Software Engineering ISBN: 1498737595 ISBN-13(EAN): 9781498737593 Издательство: Taylor&Francis Рейтинг: Цена: 12248.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to each of the core areas. Several peripheral areas are also explained by assigning a separate chapter to each of them. Rather than using UML or other formal notations, the content in this book is explained in easy-to-understand language. Basic programming knowledge using an object-oriented language is helpful to understand the material in this book. The knowledge gained from this book can be readily used in other relevant courses or in real-world software development environments.This textbook educates students in software engineering principles. It covers almost all facets of software engineering, including requirement engineering, system specifications, system modeling, system architecture, system implementation, and system testing. Emphasizing practical issues, such as feasibility studies, this book explains how to add and develop software requirements to evolve software systems.This book was written after receiving feedback from several professors and software engineers. What resulted is a textbook on software engineering that not only covers the theory of software engineering but also presents real-world insights to aid students in proper implementation. Students learn key concepts through carefully explained and illustrated theories, as well as concrete examples and a complete case study using Java. Source code is also available on the book’s website. The examples and case studies increase in complexity as the book progresses to help students build a practical understanding of the required theories and applications.
Автор: Fajfar Название: Start Programming Using HTML, CSS, and JavaScript ISBN: 1498731449 ISBN-13(EAN): 9781498731447 Издательство: Taylor&Francis Рейтинг: Цена: 15312.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A Beginner's Guide to Computer Programming
Start Programming Using HTML, CSS, and JavaScript is a manual for undergraduate students in engineering and the natural sciences to discover how computer programming works. Using a dialog format between two students and a professor, the text teaches students how the mainstream web languages HTML, CSS, and JavaScript interact and how to harness their capabilities in practical settings.
Each chapter focuses on a specific theme supported by a gradual development of engaging worked examples of live web documents and applications using the three languages. Students can follow most of the examples and experiments using any modern browser and plain text editor. A practical homework problem is included at the end of every chapter and then is discussed at the beginning of the next chapter. In addition, a related keywords list helps students review key topics.
By focusing on important established principles and concrete examples, this introductory book shows students how to write cleaner and more easily maintainable code. It augments the basic language syntax and rules with contents and structure while keeping the material simple and manageable.
Описание: This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
Автор: Jan Newmarch Название: Foundations of Jini 2 Programming ISBN: 1430211830 ISBN-13(EAN): 9781430211839 Издательство: Springer Рейтинг: Цена: 6555.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition is an expanded, updated version of the most popular online tutorial for Jini. It includes comprehensive Jini advancements, and other important topics, like how Enterprise JavaBeans blend with the Jini framework and how CORBA fits in as well.
Автор: Michael G. Main; Austin C. Melton; Michael W. Misl Название: Mathematical Foundations of Programming Semantics ISBN: 0387973753 ISBN-13(EAN): 9780387973753 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jan Newmarch Название: Foundations of Jini 2 Programming ISBN: 1590597168 ISBN-13(EAN): 9781590597163 Издательство: Springer Рейтинг: Цена: 6555.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This second edition is an expanded, updated version of the most popular online tutorial for Jini. It includes comprehensive Jini advancements, and other important topics, like how Enterprise JavaBeans blend with the Jini framework and how CORBA fits in as well.
Автор: Michael Main; Austin Melton; Michael Mislove; Davi Название: Mathematical Foundations of Programming Language Semantics ISBN: 3540190201 ISBN-13(EAN): 9783540190202 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987.
Автор: Stephen Brookes; Michael Main; Austin Melton; Mich Название: Mathematical Foundations of Programming Semantics ISBN: 3540580271 ISBN-13(EAN): 9783540580270 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of conference proceedings focuses on the semantics of programming languages and the mathematics which support the study of semantics. Current research is also presented on denotational semantics and the application of semantics to category theory, logic and lattice theory.
Автор: William B. Langdon; Riccardo Poli Название: Foundations of Genetic Programming ISBN: 3642076327 ISBN-13(EAN): 9783642076329 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful as a technique for getting computers to automatically solve problems without having to tell them explicitly how. Since its inceptions more than ten years ago, GP has been used to solve practical problems in a variety of application fields. Along with this ad-hoc engineering approaches interest increased in how and why GP works. This book provides a coherent consolidation of recent work on the theoretical foundations of GP. A concise introduction to GP and genetic algorithms (GA) is followed by a discussion of fitness landscapes and other theoretical approaches to natural and artificial evolution. Having surveyed early approaches to GP theory it presents new exact schema analysis, showing that it applies to GP as well as to the simpler GAs. New results on the potentially infinite number of possible programs are followed by two chapters applying these new techniques.
Автор: John W. Lloyd Название: Foundations of Logic Programming ISBN: 3642831915 ISBN-13(EAN): 9783642831911 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. In the second edition, I discuss a larger class of programs than that discussed in the first edition.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
