Автор: Andrew Gordon Название: Programming Languages and Systems ISBN: 3642119565 ISBN-13(EAN): 9783642119569 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Автор: Richard Pawson Название: Naked Objects ISBN: 0470844205 ISBN-13(EAN): 9780470844205 Издательство: Wiley Рейтинг: Цена: 6336.00 р. Наличие на складе: Поставка под заказ.
Описание: 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 Рейтинг: Цена: 5775.00 р. Наличие на складе: Нет в наличии.
Описание: 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 Рейтинг: Цена: 22010.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
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.
Автор: Darren Cofer; Alessandro Fantechi Название: Formal Methods for Industrial Critical Systems ISBN: 3642032397 ISBN-13(EAN): 9783642032394 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Автор: Jan Vitek Название: Objects, Models, Components, Patterns ISBN: 3642139523 ISBN-13(EAN): 9783642139529 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the proceedings of the 48th International Conference on Objects, Models, Components, Patterns, held in Malaga, Spain, in June/July 2010.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
