Поиск книг                    Поиск по списку ISBN Расширенный поиск    
  Зарубежные издательства Российские издательства  
   Авторы    Каталог книг    Издательства    Новинки    Учебная литература    Специальные предложения  Бестселлеры
 
 
Книги    
Logobook
Книги зарубежных издательств на иностранных языках
Logobook
Книги российских издательств
Logobook
Представительство в Казахстане
 
Вход в систему   
 
Регистрация  Забыли?
 
Информация   
Контакты/Адрес/Проезд
Корзина
Ваши заказы
Доставка и Оплата
Заказ по телефону/email
Помощь
Есть вопрос?
О компании
LgBook.ru
FkBook.ru
 


Online Каталоги   
Cambridge University Press
Каталог учебной литературы
по английскому языку >>>

Oxford University Press
Каталог учебной литературы
по английскому языку >>>



Каталог учебной литературы
по английскому языку >>>

Pearson ELT

Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете

Domain Specific Languages

Domain Specific Languages

Автор: Fowler Martin
Название:  Domain Specific Languages
Издательство: Pearson Education
Классификация:
Языки программирования

ISBN: 0321712943
ISBN-13(EAN): 9780321712943
ISBN: 0-321-71294-3
ISBN-13(EAN): 978-0-321-71294-3
Обложка/Формат: Hardcover
Страницы: 552
Вес: 1.14 кг.
Дата издания: 28.10.2010
Язык: ENG
Иллюстрации: Illustrations
Размер: 232 x 178 x 37
Читательская аудитория: Professional & vocational
Рейтинг:
Поставляется из: Англии

 Варианты приобретения 
  Кол-во Наличие на складе Цена р. Купить / Отложить
1 Отсутствует. Возможна поставка под заказ.
При оформлении заказа до: 7 апр 2017
Ориентировочная дата поставки: 2 май 2017
При условии наличия книги у поставщика.
2988.00
 о цене
Добавить в корзину
Add to Wish list

Отзывы покупателей.
Добавить отзыв.
Types and programming languages

Автор: Pierce, Benjamin C.
Название: Types and programming languages
ISBN: 0262162091 ISBN-13(EAN): 9780262162098
Издательство: Wiley
Цена: 4395 р.
Наличие на складе: Поставка под заказ.
Описание: This text provides an introduction to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations.
Купить

Real-Time Systems and Programming Languages

Автор: Burns Alan
Название: Real-Time Systems and Programming Languages
ISBN: 0321417453 ISBN-13(EAN): 9780321417459
Издательство: Pearson Education
Цена: 3927 р.
Наличие на складе: Поставка под заказ.
Купить

Object-Oriented Programming Languages: Interpretation

Автор: Craig
Название: Object-Oriented Programming Languages: Interpretation
ISBN: 1846287731 ISBN-13(EAN): 9781846287732
Издательство: Springer
Цена: 2307 р.
Наличие на складе: Нет в наличии.
Описание: This comprehensive examination of the main approaches to object-oriented language explains the key features of the languages in use today. Class-based, prototypes and Actor languages are all looked at and compared in terms of their semantic concepts. In providing such a wide-ranging comparison, this book provides a unique overview of the main approaches to object-oriented languages.
Купить

Programming Languages and Systems / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings

Автор: Kobayashi Naoki
Название: Programming Languages and Systems / 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
ISBN: 3540489371 ISBN-13(EAN): 9783540489375
Издательство: Springer
Цена: 6698 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the refereed proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006, held in Sydney, Australia in November 2006.The 22 revised full papers presented together with 2 invited talks and 1 tutorial were carefully reviewed and selected from 70 submissions. The symposium is devoted to both foundational and practical issues in programming languages and systems. Among the topics covered are semantics, logics, type theory, language design, program analysis, optimization and transformation, software security, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
Купить

Modular Programming Languages / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings

Автор: Lightfoot David, Szyperski Clemens
Название: Modular Programming Languages / 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings
ISBN: 3540409270 ISBN-13(EAN): 9783540409274
Издательство: Springer
Цена: 6698 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2006, held in Oxford, UK in September 2006.The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on languages, implementation and linking, formal and modelling, concurrency, components, performance, and case studies.
Купить

Coordination Models and Languages / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Автор: Ciancarini Paolo, Wiklicky Herbert
Название: Coordination Models and Languages / 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
ISBN: 3540346945 ISBN-13(EAN): 9783540346944
Издательство: Springer
Цена: 5389 р.
Наличие на складе: Нет в наличии.
Описание: Constitutes the refereed proceedings of the 8th International Conference on Coordination Models and Languages, COORDINATION 2006, held in Bologna, Italy, June 2006. This book addresses the topics such as component connectors, negotiation in service-oriented computing, process algebraic specification, workflow patterns, reactive and type systems.
Купить

Programming Languages and Systems / 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European

Автор: Sestoft Peter
Название: Programming Languages and Systems / 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
ISBN: 354033095X ISBN-13(EAN): 9783540330950
Издательство: Springer
Цена: 5774 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS.The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.
Купить

Formal Models of Communicating Systems / Languages, Automata, and Monadic Second-Order Logic

Автор: Bollig Benedikt
Название: Formal Models of Communicating Systems / Languages, Automata, and Monadic Second-Order Logic
ISBN: 3540329226 ISBN-13(EAN): 9783540329220
Издательство: Springer
Цена: 4617 р.
Наличие на складе: Нет в наличии.
Описание: This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows us to characterize many popular models of distributed computation in terms of the existential fragment of monadic second-order logic. In particular, the book covers finite automata, asynchronous (cellular) automata, communicating finite-state machines, and lossy channel systems. Model behavior is described using graphs and partial orders, leading to the notions of Mazurkiewicz traces, message sequence charts, and live sequence charts. This book is suitable for senior undergraduate and graduate courses on advanced automata theory, concurrency and communication issues. It can also be used as a reference by researchers concerned with the formal modeling of concurrent systems. Some knowledge of automata theory is a prerequisite. Numerous exercises, chapter summaries, and suggested reading allow for self-study, while the book is supported with a website containing course material and solutions.
Купить

Practical Aspects of Declarative Languages / 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

Автор: van Hentenryck Pascal
Название: Practical Aspects of Declarative Languages / 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
ISBN: 3540309470 ISBN-13(EAN): 9783540309475
Издательство: Springer
Цена: 3234 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the refereed proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages, PADL 2006, held in Charleston, SC, USA, in January 2005.
Купить

Database Programming Languages / 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers

Автор: Bierman Gavin, Koch Christoph
Название: Database Programming Languages / 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
ISBN: 3540309519 ISBN-13(EAN): 9783540309512
Издательство: Springer
Цена: 3696 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Database Programming Languages, DBPL 2005, held in Trondheim, Norway in August 2005 in conjunction with VLDB 2005 and in coordination with the XML Database Symposium, XSym 2005.The 17 revised full papers presented together with an invited paper were carefully selected during two round of reviewing and revision from 63 submissions. The papers are organized in topical sections on XML languages, XML and P2P data integration, XML query languages, types and XML, grammars, automata, and tree, as well as dependencies and constraints.
Купить

Languages and Compilers for Parallel Computing / 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers

Автор: Pugh Bill, Tseng Chau-Wen
Название: Languages and Compilers for Parallel Computing / 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
ISBN: 3540307818 ISBN-13(EAN): 9783540307815
Издательство: Springer
Цена: 5774 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Languages and Compilers for Parallel Processing, LCPC 2002, held in College Park, MD, USA in July 2002.The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 32 submissions. All current issues in parallel processing are addressed, in particular memory-constrained computation, compiler optimization, performance studies, high-level languages, programming language consistency models, dynamic parallelization, parallelization of data mining algorithms, parallelizing compilers, garbage collection algorithms, and evaluation of iterative compilation.
Купить

Rules and Rule Markup Languages for the Semantic Web / First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings

Автор: Adi Asaf, Stoutenburg Suzette, Tabet Said
Название: Rules and Rule Markup Languages for the Semantic Web / First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings
ISBN: 354029922X ISBN-13(EAN): 9783540299226
Издательство: Springer
Цена: 5004 р.
Наличие на складе: Нет в наличии.
Описание: This book constitutes the refereed proceedings of the First International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML 2005, held in Galway, Ireland in November 2005 co-located with the 4th International Semantic Web Conference, ISWC 2005.The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from around 30 submitted papers. The papers present information about requirements, applications, technology solutions, and the latest research on rule languages and standards, with the ultimate goal of advancing a standard framework for Semantic Web rules - critical to the early adoption and applications of knowledge-based techniques in e-business, especially enterprise integration and B2B e-commerce. This includes knowledge representation (KR) theory and algorithms; markup languages based on such KR; engines, translators, and other tools; relationships to standardization efforts; and, not least, applications.
Купить


 
ООО "Логосфера " Тел:(495) 748-51-16 Факс: (495) 689-73-83 доб.116 www.logobook.ru
Visa, Master Card, Diners, AMEX, JCB, Web Money, Yandex Money Сбербанк онлайн