Автор: Richard Pawson Название: Naked Objects ISBN: 0470844205 ISBN-13(EAN): 9780470844205 Издательство: Wiley Рейтинг: Цена: 42240.00 T Наличие на складе: Поставка под заказ. Описание: Offers a radical approach to expose the core business objects directly to the user, instead of masking them behind a task-oriented user interface. This book describes the business case for designing systems this way, outlines a lightweight methodology that you can adopt, and provides a short tutorial.
Автор: Varela Carlos A Название: Programming Distributed Computing Systems ISBN: 0262018985 ISBN-13(EAN): 9780262018982 Издательство: MIT Press Рейтинг: Цена: 38500.00 T Наличие на складе: Нет в наличии. Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.
Автор: Michel Rigo Название: Formal Languages, Automata and Numeration Systems ISBN: 1848216157 ISBN-13(EAN): 9781848216150 Издательство: Wiley Рейтинг: Цена: 146730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).
Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory.
Автор: Andrew Gordon Название: Programming Languages and Systems ISBN: 3642119565 ISBN-13(EAN): 9783642119569 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Автор: Darren Cofer; Alessandro Fantechi Название: Formal Methods for Industrial Critical Systems ISBN: 3642032397 ISBN-13(EAN): 9783642032394 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 13th International Workshop FMICS 2008 LAquila Italy September 1516 2008 Revised Selected Papers. .
Автор: G. Ramalingam Название: Programming Languages and Systems ISBN: 3540893296 ISBN-13(EAN): 9783540893295 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. This book covers topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and software security.
Автор: Eyke H?llermeier; Rudolf Kruse; Frank Hoffmann Название: Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 3642140548 ISBN-13(EAN): 9783642140549 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The International Conference on Information Processing and Management of - certainty in Knowledge-Based Systems, IPMU, is organized every two years with the aim of bringing together scientists working on methods for the management of uncertainty and aggregation of information in intelligent systems.
Автор: Erwin Rathgeb; Klaus Echtle; Bruno M?ller-Closterm Название: Measurement, Modelling, and Evaluation of Computing Systems and Dependability in Fault Tolerance ISBN: 3642121039 ISBN-13(EAN): 9783642121036 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Includes the refereed proceedings of the 15th International GI/ITG Conference on `Measurement, Modelling and Evaluation of Computing Systems` and `Dependability and Fault Tolerance`, held in Essen, Germany, in March 2010.
Автор: Eyke H?llermeier; Rudolf Kruse; Frank Hoffmann Название: Information Processing and Management of Uncertainty in Knowledge-Based Systems ISBN: 3642140572 ISBN-13(EAN): 9783642140570 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the 13th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, held in Dortmund, Germany, in June 2010.
Автор: Paul Lokuciejewski; Peter Marwedel Название: Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems ISBN: 9400733682 ISBN-13(EAN): 9789400733688 Издательство: Springer Рейтинг: Цена: 130590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided.
Автор: Jan Vitek Название: Objects, Models, Components, Patterns ISBN: 3642139523 ISBN-13(EAN): 9783642139529 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Malaga, Spain, in June/July 2010.
Автор: Dominique Borrione Название: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC`s ISBN: 940073333X ISBN-13(EAN): 9789400733336 Издательство: Springer Рейтинг: Цена: 130590.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents extensions to standard specification and description languages, as well as new language-based design techniques and methodologies to solve the challenges raised by mixed signal and multi-processor systems on a chip.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
