Design and Implementation of Symbolic Computation Systems, Alfonso Miola
Автор: Alfonso Miola Название: Design and Implementation of Symbolic Computation Systems ISBN: 354057235X ISBN-13(EAN): 9783540572350 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A collection of research papers that focuses on innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computing, automated reasoning, geometric modelling and automatic programming.
Data Analysis, Data Mining.- Heuristic / Meta Heuristic Methods for Operational Research Applications.- Optimization Applied to Surveillance and Threat Detection.- Maintenance and Production Control Problems.- Scheduling.- Some Topic in Post Crises Banking and Eco-finance Modelling.- Transportation.- Technologies and Methods for Multi-stakeholder Decision Analysis in Public Settings.
Автор: Jacques Calmet; Carla Limongelli Название: Design and Implementation of Symbolic Computation Systems ISBN: 3540616977 ISBN-13(EAN): 9783540616979 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text contains four invited contributions surveying the state of the art in a particular subfield or pointing to new research directions, together with 31 revised full papers from a total of some 70 submissions. Many current aspects of mathematical software systems are addressed.
Автор: Thomas A. Henzinger; Shankar Sastry Название: Hybrid Systems: Computation and Control ISBN: 3540643583 ISBN-13(EAN): 9783540643586 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This work constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control. The 27 papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems.
Автор: Rupak Majumdar; Paulo Tabuada Название: Hybrid Systems: Computation and Control ISBN: 3642006019 ISBN-13(EAN): 9783642006012 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focuses on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors. This book features developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.
Автор: Alan Dennis, Barbara Haley Wixom, Roberta M. Roth Название: Systems Analysis and Design, 6th Edition ISBN: 1118897846 ISBN-13(EAN): 9781118897843 Издательство: Wiley Рейтинг: Цена: 28670.00 р. Наличие на складе: Поставка под заказ.
Описание: The 6th Edition of Systems Analysis and Design continues to offer a hands-on approach to SAD while focusing on the core set of skills that all analysts must possess.
Автор: 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. .
Автор: 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.
Описание: Written by HPC experts, this book provides a solid introduction to current mainstream computer architecture, dominant parallel programming models, and useful optimization strategies for scientific HPC. It facilitates an intuitive understanding of performance limitations without relying on heavy computer science knowledge.
Описание: This book serves as a practical guide for practicing engineers who need to design embedded systems for high-speed data acquisition and control systems. The discussion of hardware focuses on microcontroller design (ARM microcontrollers and FPGAs), techniques of embedded design, high speed data acquisition (DAQ) and control systems.
Автор: Michael D. Harrison; Juan C. Torres Название: Design, Specification and Verification of Interactive Systems `97 ISBN: 3211830553 ISBN-13(EAN): 9783211830550 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
Автор: Philippe Palanque; Remi Bastide Название: Design, Specification and Verification of Interactive Systems `95 ISBN: 3211827390 ISBN-13(EAN): 9783211827390 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains 21 contributions which cover the different aspects of interactive systems, from formal user modelling to formal techniques for prototyping, and describes state-of-the-art developments in these topics, also giving new directions for future research.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
