Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

A Concurrent Pascal Compiler for Minicomputers, A. C. Hartmann


Варианты приобретения
Цена: 9781.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: A. C. Hartmann
Название:  A Concurrent Pascal Compiler for Minicomputers
ISBN: 9783540082408
Издательство: Springer
Классификация:

ISBN-10: 3540082409
Обложка/Формат: Paperback
Страницы: 124
Вес: 0.20 кг.
Дата издания: 31.05.1977 23:00:00
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 7
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии


Compiler Compilers

Автор: Dieter Hammer
Название: Compiler Compilers
ISBN: 3540536698 ISBN-13(EAN): 9783540536697
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the proceedings of a workshop on compiler compilers. This work includes papers covering a wide spectrum ranging from overviews of new compiler compilers for generating quality compilers to special problems of code generation and optimization.

Partial-Order Methods for the Verification of Concurrent Systems

Автор: Patrice Godefroid
Название: Partial-Order Methods for the Verification of Concurrent Systems
ISBN: 3540607617 ISBN-13(EAN): 9783540607618
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph is a revised version of the author`s PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

Semantics of Concurrent Computation

Автор: G. Kahn
Название: Semantics of Concurrent Computation
ISBN: 354009511X ISBN-13(EAN): 9783540095118
Издательство: Springer
Рейтинг:
Цена: 4191.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Compositional Verification of Concurrent and Real-Time Systems

Автор: Eric Y.T. Juan; Jeffrey J.P. Tsai
Название: Compositional Verification of Concurrent and Real-Time Systems
ISBN: 1461353491 ISBN-13(EAN): 9781461353492
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.

Concurrent and Comparative Discrete Event Simulation

Автор: Ernst G. Ulrich; Vishwani D. Agrawal; Jack H. Arab
Название: Concurrent and Comparative Discrete Event Simulation
ISBN: 1461361818 ISBN-13(EAN): 9781461361817
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent simulation is over twenty years old. Yet, it is remarkable that no book published so far presents a correct and sufficiently detailed treatment of concurrent simulation. The discussion of multi-domain concurrent simulation--- recent work of Karen Panetta Lentz and Ernst Ulrich---is fascinat- ing.

Specification and Analysis of Concurrent Systems

Автор: Ryszard Janicki; Peter E. Lauer
Название: Specification and Analysis of Concurrent Systems
ISBN: 3642773397 ISBN-13(EAN): 9783642773396
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.

Concurrent Programming: Algorithms, Principles, and Foundations

Автор: Michel Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642446159 ISBN-13(EAN): 9783642446153
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Concurrent Programming: Algorithms, Principles, and Foundations

Автор: Raynal
Название: Concurrent Programming: Algorithms, Principles, and Foundations
ISBN: 3642320260 ISBN-13(EAN): 9783642320262
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

.NET Development Using the Compiler API

Автор: Bock
Название: .NET Development Using the Compiler API
ISBN: 1484221109 ISBN-13(EAN): 9781484221105
Издательство: Springer
Рейтинг:
Цена: 2794.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This is the first book to describe the recent significant changes to the .NET compilation process and demonstrate how .NET developers can use the new Compiler API to create compelling applications. As an open source compiler, the Compiler API now makes its code available for anyone to use. In this book, you’ll get a concise, focused view of this tremendous resource for developers, who can now use any part of the platform implementation to their advantage in analyzing applications, improving code generation, and providing enforceable patterns, all under an OSS model.
You will learn how to analyze your code for defects in a fast, clean manner never available before. You’ll work with solutions and projects to provide automatic refactoring, and you’ll discover how you can generate code dynamically to provide application implementations at runtime
Having the Compiler API available opens a number of doors for .NET developers that were either simply not there before, or difficult to achieve. However, the API is vast, and this concise book provides a valuable roadmap to this new development environment.
What You Will Learn:
Understand how to generate, compile, and execute code for a number of scenariosHow to create diagnostics and refactoring to help developers enforce conventions and design idiomsExperiment with the compiler code base and see what can be done to influence the inner workings of the compilation pipeline
Who This Book Is For:
Experienced .NET developers, but detailed compiler knowledge is not necessary.
Compiler Construction

Автор: Oege de Moor; Michael I. Schwartzbach
Название: Compiler Construction
ISBN: 364200721X ISBN-13(EAN): 9783642007217
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. This work covers topics including traditional compiler construction, compiler analyses and runtime systems and tools.

Compiler Generators

Автор: Mads Tofte
Название: Compiler Generators
ISBN: 3642648576 ISBN-13(EAN): 9783642648571
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The OrIgIn of this monograph is a course entitled "Semantics- directed Compiler Generation" which Professor Neil D. this led to a specification of a compiler generator which was bootstrapped on itself resulting in a machine-generated compiler generator.

Interaction Between Compilers and Computer Architectures

Автор: Gyungho Lee; Pen-Chung Yew
Название: Interaction Between Compilers and Computer Architectures
ISBN: 1441948961 ISBN-13(EAN): 9781441948960
Издательство: Springer
Рейтинг:
Цена: 18161.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия