Graph Transformations in Computer Science, Hans J. Schneider; Hartmut Ehrig
Автор: Hartmut Ehrig; Gregor Engels; Hans-J?rg Kreowski; Название: Theory and Application of Graph Transformations ISBN: 3540672036 ISBN-13(EAN): 9783540672036 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This title incorporates 33 full papers addressing aspects of graph languages, graph theory, categorical approaches, concurrency and distribution, artificial intelligence, visual languages, specification concepts, modularity and refinements, and software engineering.
Автор: Hartmut Ehrig; Reiko Heckel; Grzegorz Rozenberg; G Название: Graph Transformations ISBN: 3540874046 ISBN-13(EAN): 9783540874041 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. This title addresses various aspects in graph drawing including hypergraphs and termgraph rewriting, applications of graph transformation, compositional systems, and validation and verification.
Автор: Rolf H. M?hring Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540538321 ISBN-13(EAN): 9783540538325 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume gives the proceedings of WG `90, organized into sections on: Graph algorithms and complexity, VLSI layout, Multiprocessor systems and concurrency, Computational geometry, Graphs, languages and databases, Graph grammars.
Автор: Ernst W. Mayr Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540564020 ISBN-13(EAN): 9783540564027 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume, based on the 18th International Workshop in Graph-Theoretic Concepts in Computer Science, is divided into parts on restricted graph classes, scheduling and related problems, parallel and distributed algorithms, combinatorial graph problems and other topics.
Автор: Manfred Nagl Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540606181 ISBN-13(EAN): 9783540606185 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Taken from the WG Workshop series, the papers in this text reflect activities in the field of computer science-oriented graph theory, its computational aspects and its application.
Автор: Peter Widmayer; Gabriele Neyer; Stephan Eidenbenz Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540667318 ISBN-13(EAN): 9783540667315 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 25th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'99) celebrated the anniversaryof the workshop series at the Centro Stefano Franscini on Monte Verit a, Ascona, Switzerland, from June 17 to 19, 1999. It was organized byETH Z]urich, sponsored byETH, the Centro Stefano Franscini, the Swiss National Science Foundation, and Swissphone. The workshop looks back on a remarkable tradition of a quarter century, with predecessors organized at various places in Europe. WG'99 has been an insp- ing mix of questions from theoryand practice, and of 74 young scientists and established researchers from all over the world, including Bangladesh, Belgium, Canada, the Czech Republic, France, Germany, Israel, Italy, Japan, Korea, the Netherlands, Russia, the Slovak Republic, Spain, Sweden, Switzerland, the UK, and the USA. Four invited lectures re?ect the history, theory, practice and this year's s- ting. Hartmut Noltemeier as the onlyone of four founding members of the WG series who served on the program committee throughout the entire historyof WG talked about past achievements and future challenges of WG and of the ?eld. Susanne Albers lectured on the theoryof online algorithms. Thomas Lengauer presented practical packing problems from the textile and car manufacturing industries, as well as their solutions. A workshop held at the Centro Stefano Franscini traditionallyo?ers a talk that is open to the general (Italian speaking) public - Nicola Santoro delivered this Stefano Franscini talk byreporting on computer science, school, and community, as seen from the eye of the storm.
Описание: A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.
Автор: Andrzej M. Borzyszkowski; Stefan Sokolowski Название: Mathematical Foundations of Computer Science 1993 ISBN: 3540571825 ISBN-13(EAN): 9783540571827 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer languages, the theory of programming, lambda calculus and type theory, semantics, concurrent systems and the logic of programs.
Автор: Dietrich Stauffer; Friedrich W Hehl; Nobuyasu Ito; Название: Computer Simulation and Computer Algebra ISBN: 3540565302 ISBN-13(EAN): 9783540565307 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Beginning with simple examples in classical mechanics, this textbook discusses simulations in statistical physics using FORTRAN and proceeds to explain in detail the use of computer algebra. The edition has been expanded to include an introduction to both vector and parallel computing.
Автор: Andy Sch?rr; Manfred Nagl; Albert Z?ndorf Название: Applications of Graph Transformations with Industrial Relevance ISBN: 354089019X ISBN-13(EAN): 9783540890195 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. This book presents the organized papers in topical sections on graph transformation applications, meta-modeling and domain-specific language, and dynamic system modeling.
Автор: Rolf H. M?hring Название: Graph-Theoretic Concepts in Computer Science ISBN: 3540637575 ISBN-13(EAN): 9783540637578 Издательство: Springer Рейтинг: Цена: 11179.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume presents 28 full papers presented at the 23rd International Workshop on Graph-Theoretic Concepts in Computer Science. It addresses a variety of graph-theoretic issues such as graph algorithms, cycles, graph decomposition, interconnection networks, local search, and graph orderings.
Автор: Kerr Anne Название: A Dictionary of Computer Science ISBN: 0199688974 ISBN-13(EAN): 9780199688975 Издательство: Oxford Academ Рейтинг: Цена: 2374.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This bestselling dictionary has been fully revised, making it the most up-to-date and authoritative reference of its kind. Providing comprehensive coverage of computer applications in industry, school, work, education, and the home, it is the ideal reference for students, professionals, and anyone who uses computers.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
