Design and Implementation of the MTX Operating System, K. C. Wang

Автор: Olaf Chitil
Название: Implementation and Application of Functional Languages
ISBN: 3540853723 ISBN-13(EAN): 9783540853725
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. This book contains the papers that address theoretical and methodological issues on functional and function-based languages.

Автор: Vikt?ria Zs?k; Andrew Butterfield
Название: Implementation and Application of Functional Languages
ISBN: 3540741291 ISBN-13(EAN): 9783540741299
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages, IFL 2006, held in Budapest, Hungary, in September 2006. This work contains papers that address various theoretical and methodological issues on functional and function-based languages.

Автор: Asperti
Название: The Optimal Implementation of Functional Programming Languages
ISBN: 0521621127 ISBN-13(EAN): 9780521621120
Издательство: Cambridge Academ
Рейтинг:
Цена: 12195.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers.

Автор: Wang, K. C.
Название: Design and implementation of the mtx operating system
ISBN: 3319175742 ISBN-13(EAN): 9783319175744
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs.

Автор: Mendel Rosenblum
Название: The Design and Implementation of a Log-structured file system
ISBN: 1461359333 ISBN-13(EAN): 9781461359333
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Suad Alagi?
Название: Software Engineering: Specification, Implementation, Verification
ISBN: 3319615173 ISBN-13(EAN): 9783319615172
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1 Analysis and Design.- 2 Specification of Constraints.- 3 Implementation Technology.- 4 Mapping Models to Code.- 5 Data Management.- 6 Software Verification.

Автор: 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. .

Автор: Clemens Grelck; Frank Huch; Greg Michaelson; Phil
Название: Implementation and Application of Functional Languages
ISBN: 3540260943 ISBN-13(EAN): 9783540260943
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-proceedings of the 16th International Workshop on Implementation and Applications of Functional Languages, IFL 2004, held in Lubeck, Germany in September 2004. This book contains papers that address issues on functional and function-based languages, ranging from theoretical and methodological topics to implementation issues.

Автор: Oliver Boldt; Helmut J?rgensen
Название: Automata Implementation
ISBN: 3540428127 ISBN-13(EAN): 9783540428121
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers presented in this volume are devoted to issues of implementing automata of various types important for areas such as parsing, finite languages, computational linguistics, speech recognition, image and signal processing, and systems analysis.

Автор: Thomas Arts; Markus Mohnen
Название: Implementation of Functional Languages
ISBN: 3540435379 ISBN-13(EAN): 9783540435372
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-proceedings of the 13th International Workshop on the Implementation of Functional Languages held in Sweden in 2001. The 11 full papers cover topics including aspects of implementing and using functional languages, such as type systems, compilation, theorem proving and more.

Автор: 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.

Автор: Pierre Deransart; Jan Maluszynski
Название: Programming Language Implementation and Logic Programming
ISBN: 354053010X ISBN-13(EAN): 9783540530107
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This collection of papers presented at the PLILIP 90 workshop held in Sweden in August 1990 identify concepts and techniques used both in the implementation of programming languages and logic programming.