Автор: Howard Bowman; John Derrick Название: Formal Methods for Open Object-based Distributed Systems ISBN: 0412820404 ISBN-13(EAN): 9780412820403 Издательство: Springer Рейтинг: Цена: 33401.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. Many topics are discussed, including the following important areas: object oriented design and programming; formalisation of object oriented methods.
Автор: Paolo Ciancarini; Alessandro Fantechi; Roberto Gor Название: Formal Methods for Open Object-Based Distributed Systems ISBN: 0792384296 ISBN-13(EAN): 9780792384298 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.
Автор: Scott F. Smith; Carolyn L. Talcott Название: Formal Methods for Open Object-Based Distributed Systems IV ISBN: 0792379233 ISBN-13(EAN): 9780792379232 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.
Описание: 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.
Автор: Yutaka Ishikawa; Rodney R. Oldehoeft; John V.W. Re Название: Scientific Computing in Object-Oriented Parallel Environments ISBN: 354063827X ISBN-13(EAN): 9783540638278 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents 36 revised papers on scientific computing in object-oriented parallel environments. The papers address areas such as run-time performance optimization at several levels, language programming paradigms, applications of Java-based technology, and direct applications.
Автор: Paolo Ciancarini; Oscar Nierstrasz; Akinori Yoneza Название: Object-Based Models and Languages for Concurrent Systems ISBN: 3540594507 ISBN-13(EAN): 9783540594505 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Incorporating the proceedings of papers presented during ECOOP `94 in Bologna, this text discusses the evolution and development of models and languages for distributed and parallel programming.
Автор: Kyung-Yong Chwa; Oscar H. Ibarra Название: Algorithms and Computation ISBN: 3540653856 ISBN-13(EAN): 9783540653851 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents ARCH, a library built as an extension to MPI. This book describes the built-in classes, and illustrates their use through several template application cases in several fields of interest including: Distributed Algorithms; Parallel Combinatorial Optimization; and, Parallel Image-Processing. It is intended for researchers and practitioners.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
