Design and Implementation of Symbolic Computation Systems, Alfonso Miola

Автор: Alan Dennis, Barbara Haley Wixom, Roberta M. Roth
Название: Systems Analysis and Design, 6th Edition
ISBN: 1118897846 ISBN-13(EAN): 9781118897843
Издательство: Wiley
Рейтинг:
Цена: 191130.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

Автор: Jacques Calmet; Carla Limongelli
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 3540616977 ISBN-13(EAN): 9783540616979
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Alfonso Miola
Название: Design and Implementation of Symbolic Computation Systems
ISBN: 354057235X ISBN-13(EAN): 9783540572350
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Thomas A. Henzinger; Shankar Sastry
Название: Hybrid Systems: Computation and Control
ISBN: 3540643583 ISBN-13(EAN): 9783540643586
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Hoai An Le Thi; Tao Pham Dinh; Ngoc Thanh Nguyen
Название: Modelling, Computation and Optimization in Information Systems and Management Sciences
ISBN: 3319181602 ISBN-13(EAN): 9783319181608
Издательство: Springer
Рейтинг:
Цена: 167700.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Combinatorial Optimization and Applications.- DC Programming and DCA: Thirty Years of Developments.- Dynamic Optimization.- Modelling and Optimization in Nancial Engineering.- Multiobjective Programming.- Numerical Optimization.- Spline Approximation and Optimization.- Variational Principles and Applications.

Автор: Rupak Majumdar; Paulo Tabuada
Название: Hybrid Systems: Computation and Control
ISBN: 3642006019 ISBN-13(EAN): 9783642006012
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Hoai An Le Thi; Tao Pham Dinh; Ngoc Thanh Nguyen
Название: Modelling, Computation and Optimization in Information Systems and Management Sciences
ISBN: 3319181661 ISBN-13(EAN): 9783319181660
Издательство: Springer
Рейтинг:
Цена: 191560.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

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.

Автор: Sebastian Maneth
Название: Implementation and Application of Automata
ISBN: 3642029787 ISBN-13(EAN): 9783642029783
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .

Автор: Pierre Deransart; Bernard Lorho; Jan Maluszynski
Название: Programming Languages Implementation and Logic Programming
ISBN: 3540508201 ISBN-13(EAN): 9783540508205
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

Автор: Hager
Название: Introduction to High Performance Computing for Scientists and Engineers
ISBN: 143981192X ISBN-13(EAN): 9781439811924
Издательство: Taylor&Francis
Рейтинг:
Цена: 80630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Maurizio Di Paolo Emilio
Название: Embedded Systems Design for High-Speed Data Acquisition and Control
ISBN: 3319068644 ISBN-13(EAN): 9783319068640
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.