New Results and New Trends in Computer Science, Hermann Maurer

Автор: Wai-Yin Ng
Название: Interactive Multi-Objective Programming as a Framework for Computer-Aided Control System Design
ISBN: 3540515046 ISBN-13(EAN): 9783540515043
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This monograph reports the development of an approach to computer-aided control system design (CACSD). The designer is suggested to treat a CACSD problem as a search problem, in which he and the computer cooperate to locate satisfactory designs among sets of candidates.

Автор: Jozef Gruska; Branislav Rovan; Juraj Wiedermann
Название: Mathematical Foundations of Computer Science 1986
ISBN: 3540167838 ISBN-13(EAN): 9783540167839
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Paper
Название: Web Programming for Business
ISBN: 0415818044 ISBN-13(EAN): 9780415818049
Издательство: Taylor&Francis
Рейтинг:
Цена: 26796.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book focuses on fundamental PHP coding, giving students practical, enduring skills to solve data and technical problems in business. Offering an innovative approach, it presents code that is clean, clearly explained and solutions-oriented.

Автор: Michel Bidoit; Christine Choppy
Название: Recent Trends in Data Type Specification
ISBN: 3540563792 ISBN-13(EAN): 9783540563792
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The main topics covered by the workshops upon which this text is based were specification languages and programme development, algebraic specification of concurrency, object-oriented specifications, order-sorted algebras, and abstract implementation and behavioural semantics.

Автор: Hartmut Ehrig; Klaus P. Jantke; Fernando Orejas; H
Название: Recent Trends in Data Type Specification
ISBN: 3540544968 ISBN-13(EAN): 9783540544968
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.