Computer Aided Concurrent Integral Design, Rolf F. Schmidt; Martin Schmidt

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

Автор: Jerzy Pokojski; Shuichi Fukuda; J?zef Salwi?ski
Название: New World Situation: New Directions in Concurrent Engineering
ISBN: 144712605X ISBN-13(EAN): 9781447126058
Издательство: Springer
Рейтинг:
Цена: 49631.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings contain papers accepted for the 17th ISPE International Conference on Concurrent Engineering, which was held in Cracow, Poland, September 6-10, 2010.

Автор: J. Encarnacao; E. G. Schlechtendahl
Название: Computer Aided Design
ISBN: 3642967124 ISBN-13(EAN): 9783642967122
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The notion of a process is introduced as a fundamental tool to describe activities like design as a whole, computer-aided design, program executions, terminal sessions etc. The problem of modelling the design objects in an abstract schema and the interrelation between the schema and the planning of the individual step in the design are analysed.

Автор: Warren A. Jr. Hunt; Steven D. Johnson
Название: Formal Methods in Computer-Aided Design
ISBN: 3540412190 ISBN-13(EAN): 9783540412199
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This title reviews computer-aided design. Topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modelling, program semantics, theorem proving, symbolic simulation, and transition systems.

Автор: Grantham K.H. Pang; Alistair G.J. MacFarlane
Название: An Expert Systems Approach to Computer-Aided Design of Multivariable Systems
ISBN: 3540173560 ISBN-13(EAN): 9783540173564
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Zhe Ma; Pol Marchal; Daniele Paolo Scarpazza; Peng
Название: Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
ISBN: 9048176107 ISBN-13(EAN): 9789048176106
Издательство: Springer
Рейтинг:
Цена: 20263.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A genuinely useful text that gives an overview of the state-of-the-art in system-level design trade-off explorations for concurrent tasks running on embedded heterogeneous multiple processors. This material is mainly based on research at IMEC and its international university network partners in this area over the last decade.

Автор: Edward J. Haug
Название: Concurrent Engineering: Tools and Technologies for Mechanical System Design
ISBN: 3642781217 ISBN-13(EAN): 9783642781216
Издательство: Springer
Рейтинг:
Цена: 11173.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the NATO Advanced Study Institute on Concurrent Engineering Tools and Technologies for Mechanical System Design, held in Iowa City, Iowa, May 25-June 5, 1992

Автор: Gaurav Singh; Sandeep Kumar Shukla
Название: Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
ISBN: 1489987029 ISBN-13(EAN): 9781489987020
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Low Power Hardware Synthesis provides an introduction to low-power hardware, providing a high-level description of design in terms of Concurrent Action-Oriented Specifications (CAOS). Novel techniques are described, in addition to various verification issues associated with hardware design.

Автор: J. Encarnacao
Название: Computer Aided Design Modelling, Systems Engineering, CAD-Systems
ISBN: 3540102426 ISBN-13(EAN): 9783540102427
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jean Vanderdonckt; Angel Puerta
Название: Computer-Aided Design of User Interfaces II
ISBN: 940105861X ISBN-13(EAN): 9789401058612
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces, 21-23 October 1999, Louvain-la-Neuve, Belgium

Автор: Alain. Liegeois
Название: Performance and Computer-Aided Design
ISBN: 1468468545 ISBN-13(EAN): 9781468468540
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jos? Monteiro; Srinivas Devadas
Название: Computer-Aided Design Techniques for Low Power Sequential Logic Circuits
ISBN: 1461379016 ISBN-13(EAN): 9781461379010
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Computer-Aided Design Techniques for Low Power Sequential Logic Circuits then presents a survey of methods to optimize logic circuits for low power dissipation which target reduced switching activity.