Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
Автор: 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. .
Автор: 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.
Автор: Andy Gill; Jurriaan Hage Название: Implementation and Application of Functional Languages ISBN: 3642344062 ISBN-13(EAN): 9783642344060 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011.
Описание: 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.
Автор: 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
