Algebraic Methodology and Software Technology, Helene Kirchner; Christophe Ringeissen

Автор: Godsil Chris, Royle Gordon F.
Название: Algebraic Graph Theory
ISBN: 0387952411 ISBN-13(EAN): 9780387952413
Издательство: Springer
Рейтинг:
Цена: 75420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Algebraic graph theory is a combination of two strands. The first is the study of algebraic objects associated with graphs. The second is the use of tools from algebra to derive properties of graphs. This work illustrates the main tools and ideas of algebraic graph theory.

Автор: Hang Li; Ting Liu; Wei-Ying Ma; Tetsuya Sakai; Kam
Название: Information Retrieval Technology
ISBN: 3540686339 ISBN-13(EAN): 9783540686330
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on IR models image retrieval, text classification, chinese language processing, text processing, application of IR, machine learning, taxonomy, IR methods, information extraction, summarization, multimedia, Web IR, and text clustering.

Автор: Davide Ciucci; Guoyin Wang; Sushmita Mitra; Wei-Zh
Название: Rough Sets and Knowledge Technology
ISBN: 3319257536 ISBN-13(EAN): 9783319257532
Издательство: Springer
Рейтинг:
Цена: 67080.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cyberspace is a ubiquitous realm interconnecting every aspect of modern society, enabled by broadband networks and wireless signals around us, existing within local area networks in our schools, hospitals and businesses, and within the massive grids that power most countries. Securing cyberspace to ensure the continuation of growing economies and to protect a nations way of life is a major concern for governments around the globe.This book contains papers presented at the NATO Advanced Research Workshop ARW entitled Best Practices and Innovative Approaches to Develop Cyber Security and Resiliency Policy Framework, held in Ohrid,

Автор: Zhiming Liu; Anders P. Ravn
Название: Automated Technology for Verification and Analysis
ISBN: 3642047602 ISBN-13(EAN): 9783642047602
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.

Автор: William Fitzgibbon; Yuri A. Kuznetsov; Pekka Neitt
Название: Modeling, Simulation and Optimization for Science and Technology
ISBN: 9401790531 ISBN-13(EAN): 9789401790536
Издательство: Springer
Рейтинг:
Цена: 130610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

This volume contains thirteen articles on advances in applied mathematics and computing methods for engineering problems. Six papers are on optimization methods and algorithms with emphasis on problems with multiple criteria; four articles are on numerical methods for applied problems modeled with nonlinear PDEs; two contributions are on abstract estimates for error analysis; finally one paper deals with rare events in the context of uncertainty quantification. Applications include aerospace, glaciology and nonlinear elasticity.

Herein is a selection of contributions from speakers at two conferences on applied mathematics held in June 2012 at the University of Jyv skyl , Finland. The first conference, "Optimization and PDEs with Industrial Applications" celebrated the seventieth birthday of Professor Jacques P riaux of the University of Jyv skyl and Polytechnic University of Catalonia (Barcelona Tech) and the second conference, "Optimization and PDEs with Applications" celebrated the seventy-fifth birthday of Professor Roland Glowinski of the University of Houston.

This work should be of interest to researchers and practitioners as well as advanced students or engineers in computational and applied mathematics or mechanics.

Автор: Rae Earnshaw
Название: Art, Design and Technology: Collaboration and Implementation
ISBN: 3319581201 ISBN-13(EAN): 9783319581200
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines how digital technology is being used to assist the artists and designers. Augmented and virtual reality techniques can be used to preview designs before they are finalized and implemented. Art and design have shaped the values, social structures, communications, and the culture of communities and civilisations.

Автор: M. Elena Renda; Miroslav Bursa; Andreas Holzinger;
Название: Information Technology in Bio- and Medical Informatics
ISBN: 3319227408 ISBN-13(EAN): 9783319227405
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Custom and ritual, or their Hebrew equivalent minhag, has intrigued rabbis and scholars for generations. Here, Simcha Fishbane treats minhag from a socio-anthropological perspective. She discusses the theory and model of minhagim, using the Mishnah Berurah and the Arukh Hashulkhan, analyses rabbinic texts concerned with custom, and describes current rituals from a socio-anthropological viewpoint.

Автор: Teodor Rus
Название: Algebraic Methodology and Software Technology
ISBN: 3540675302 ISBN-13(EAN): 9783540675303
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines and much more.

Автор: Maurice Nivat; Charles Rattray; Teodor Rus; Giusep
Название: Algebraic Methodology and Software Technology (AMAST`93)
ISBN: 3540198520 ISBN-13(EAN): 9783540198529
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of workshop proceedings covers a variety of software development issues and testifies to the versatility of algebraic methods used as conceptual tools in the software development process. It describes six specific software systems which have been developed using algebraic methods.

Автор: Rudrapatna K. Shyamasundar
Название: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540575294 ISBN-13(EAN): 9783540575290
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.

Автор: Ivo Van Horebeek; Johan Lewi
Название: Algebraic Specifications in Software Engineering
ISBN: 364275032X ISBN-13(EAN): 9783642750328
Издательство: Springer
Рейтинг:
Цена: 74490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: What prevents algebraic specifications from breaking through is the absence of introductory descriptions and tools supporting the construction of algebraic specifications. whereas on the other hand the existence of introductions and tools will stimulate industry to use algebraic specifications.

Автор: Marc Schniederjans
Название: Goal Programming: Methodology and Applications
ISBN: 1461359376 ISBN-13(EAN): 9781461359371
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.