Автор: Li Название: Advanced Design and Implementation of Virtual Machine ISBN: 146658260X ISBN-13(EAN): 9781466582606 Издательство: Taylor&Francis Рейтинг: Цена: 16078.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Along with the increasingly important runtime engines pervasive in our daily-life computing, there is a strong demand from the software community for a solid presentation on the design and implementation of modern virtual machines, including the Java virtual machine, JavaScript engine and Android execution engine. The community expects to see not only formal algorithm description, but also pragmatic code snippets; to understand not only research topics, but also engineering solutions. This book meets these demands by providing a unique description that combines high level design with low level implementations and academic advanced topics with commercial solutions. This book takes a holistic approach to the design of VM architecture, with contents organized into a consistent framework, introducing topics and algorithms in an easily understood step by step process. It focuses on the critical aspects of VM design, which are often overlooked in other works, such as runtime helpers, stack unwinding and native interface. The algorithms are fully illustrated in figures and implemented in easy to digest code snippets, making the abstract concepts tangible and programmable for system software developers.
Автор: Salim Chikhi; Abdelmalek Amine; Allaoua Chaoui; Mo Название: Modelling and Implementation of Complex Systems ISBN: 3319334093 ISBN-13(EAN): 9783319334097 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volumeis a comprehensive collection of extended contributions from the fourthinternational symposium on Modeling and Implementing Complex Systems(MICS`2106) organized into four main topics: Networking and Cloud Computing,Software Engineering and Formal Methods, Intelligent and Information Systems,and Algorithms and Complexity.
Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
Автор: Beyer Betsy, Jones Chris, Petoff Jennifer Название: Site Reliability Engineering: How Google Runs Production Systems ISBN: 149192912X ISBN-13(EAN): 9781491929124 Издательство: Wiley Рейтинг: Цена: 7602.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.
Автор: Sebastian Maneth Название: Implementation and Application of Automata ISBN: 3642029787 ISBN-13(EAN): 9783642029783 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .
Автор: Paik, Hye-young Lemos, Angel Lagares Barukh, Moshe Chai Benatallah, Boualem Natarajan, Aarthi Название: Web service implementation and composition techniques ISBN: 3319555405 ISBN-13(EAN): 9783319555409 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book embarks on a mission to dissect, unravel and demystify the concepts of Web services, including their implementation and composition techniques.
Автор: Arnaud Carayol; Cyril Nicaud Название: Implementation and Application of Automata ISBN: 3319601334 ISBN-13(EAN): 9783319601335 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017. The 17 revised full papers presented were carefully reviewed and selected from 31 submissions.
Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.
Автор: Joshua D. Guttman; Mitchell Wand Название: VLISP A Verified Implementation of Scheme ISBN: 0792395662 ISBN-13(EAN): 9780792395669 Издательство: Springer Рейтинг: Цена: 23549.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The VLISP project undertook to provide a rigorous verification of a programming language. The project began at the MITRE Corporation in late 1989 under the company`s Technology Program. The work was supervised by the Rome Laboratory of the US Air Force. This title extracts re-usable conclusions from the work at two, quite different levels.
Автор: Pierre Deransart; Bernard Lorho; Jan Maluszynski Название: Programming Languages Implementation and Logic Programming ISBN: 3540508201 ISBN-13(EAN): 9783540508205 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results.
Автор: Mathias Kirchmer Название: Business Process Oriented Implementation of Standard Software ISBN: 3642635903 ISBN-13(EAN): 9783642635908 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Here, the author, an SAP R/3 expert and president of a consulting firm, shows readers how companies can achieve strategic goals through business process oriented implementation of software such as SAP R/3, Oracle, or Peoplesoft.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
