Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Cертификаты | Хиты | | |
 

Programming Languages and Systems / 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, Schmidt David



Варианты приобретения
Цена: 10971р.
Кол-во:
 о цене
Наличие: Отсутствует. Возможна поставка под заказ.

При оформлении заказа до: 30 авг 2022
Ориентировочная дата поставки: конец Сентября- начало Октября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Schmidt David
Название:  Programming Languages and Systems / 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
ISBN: 9783540213130
Издательство: Springer
Классификация:
ISBN-10: 3540213139
Обложка/Формат: Paperback
Страницы: 417
Вес: 0.605 кг.
Дата издания: 2004
Серия: Lecture Notes in Computer Science
Язык: English
Иллюстрации: Biography
Размер: 23.39 x 15.60 x 2.24
Читательская аудитория: Tertiary education (us: college)
Подзаголовок: 13th european symposium on programming, esop 2004, held as part of the joint european conferences on theory and practice of software, etaps 2004, barcelona, spain, march/april 2004 : proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Дополнительное описание: Формат: 235x155
Круг читателей: Researchers and professionals
Ключевые слова: programming languages
programming systems
computer languages
formal languages
language implementation
program semantics
programming language design
programming theory
type theory
programming calculi
Язык: eng





Concepts in Programming Languages

Автор: John C. Mitchell
Название: Concepts in Programming Languages
ISBN: 0521780985 ISBN-13(EAN): 9780521780988
Издательство: Cambridge Academ
Рейтинг:
Цена: 8900 р.
Наличие на складе: Поставка под заказ.

Описание: For undergraduate and beginning graduate students, this textbook explains and examines the central concepts used in modern programming languages, such as functions, types, memory management, and control. The book is unique in its comprehensive presentation and comparison of major object-oriented programming languages. Separate chapters examine the history of objects, Simula and Smalltalk, and the prominent languages C++ and Java. The author presents foundational topics, such as lambda calculus and denotational semantics, in an easy-to-read, informal style, focusing on the main insights provided by these theories. Advanced topics include concurrency, concurrent object-oriented programming, program components, and inter-language interoperability. A chapter on logic programming illustrates the importance of specialized programming methods for certain kinds of problems. This book will give the reader a better understanding of the issues and tradeoffs that arise in programming language design, and a better appreciation of the advantages and pitfalls of the programming languages they use.

A Discipline of Multiprogramming / Programming Theory for Distributed Applications

Автор: Misra Jayadev
Название: A Discipline of Multiprogramming / Programming Theory for Distributed Applications
ISBN: 0387952063 ISBN-13(EAN): 9780387952062
Издательство: Springer
Цена: 9816 р.
Наличие на складе: Поставка под заказ.

Описание: This volume presents a programming model, similar to object-oriented programming, that imposes a strict discipline on the form of the constituent objects and interactions among them. Concurrency considerations have been eliminated from the model itself and are introduced only during implementation, thereby freeing programmers from dealing with concurrency explicitly. Moreover, the resulting software designs are typically more modular and easier to analyze than the more traditional ones. Numerous examples illustrate various aspects of the model and reveal that a few simple, integrated features are adequate for designing complex applications. Topics and features: * Presents a simple, easy-to-understand multiprogramming model * Provides extensive development of the underlying theory * Emphasizes program composition, thereby making possible programming of large systems through modular designs * Eliminates explicit concurrency considerations during program design * Supplies efficient implementation schemes for distributed platforms. This book addresses the problem of developing complex distributed applications on wide-area networks, such as the Internet and World Wide Web, by using effective program design principles. Computer scientists, computer engineers, and software engineers will find the book an authoritative guide to large-scale multiprogramming.

Interactive Systems: Design, Specification, and Verification / 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers

Автор: Johnson Chris
Название: Interactive Systems: Design, Specification, and Verification / 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
ISBN: 3540428070 ISBN-13(EAN): 9783540428077
Издательство: Springer
Рейтинг:
Цена: 8084 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland, UK, in June 2001.The 12 revised full papers presented have gone through two rounds of reviewing, selection, and revision. The book offers topical sections on mobile interface design, context-sensitive interfaces, supervision and control systems, temporal and stochastic issues, and new perspectives.

Introduction to Languages, Machines and Logic / Computable Languages, Abstract Machines and Formal Logic

Автор: Parkes Alan P.
Название: Introduction to Languages, Machines and Logic / Computable Languages, Abstract Machines and Formal Logic
ISBN: 1852334649 ISBN-13(EAN): 9781852334642
Издательство: Springer
Рейтинг:
Цена: 8079 р.
Наличие на складе: Поставка под заказ.

Описание: This book provides an accessible introduction to the most important features of formal languages and automata theory - core topics on computer science degree schemes worldwide. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition will include new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary. This book will be invaluable to students of computer science but it will also prove essential reading to all practitioners needing to know about formal methods.

Middleware 2001 / IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings

Автор: Guerraoui Rachid
Название: Middleware 2001 / IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12-16, 2001, Proceedings
ISBN: 3540428003 ISBN-13(EAN): 9783540428008
Издательство: Springer
Рейтинг:
Цена: 10971 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms, Middleware 2001, held in Heidelberg, Germany, in November 2001.The 20 revised full papers presented were carefully reviewed and selected from a total of 116 submissions. The papers are organized in topical sections on Java, mobility, distributed abstractions, reliability, home and office, scalability, and quality of service.

Algorithms and Computation / 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings

Автор: Eades Peter, Takaoka Tadao
Название: Algorithms and Computation / 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings
ISBN: 3540429859 ISBN-13(EAN): 9783540429852
Издательство: Springer
Рейтинг:
Цена: 13859 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 12th International Conference on Algorithms and Computation, ISAAC 2001, held in Christchurch, New Zealand in December 2001.The 62 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 124 submissions. The papers are organized in topical sections on combinatorial generation and optimization, parallel and distributed algorithms, graph drawing and algorithms, computational geometry, computational complexity and cryptology, automata and formal languages, computational biology and string matching, and algorithms and data structures.

Tabular Application Development for Information Systems / An Object-Oriented Methodology

Автор: Damij Talib
Название: Tabular Application Development for Information Systems / An Object-Oriented Methodology
ISBN: 0387950958 ISBN-13(EAN): 9780387950952
Издательство: Springer
Рейтинг:
Цена: 10971 р.
Наличие на складе: Поставка под заказ.

Описание: There is a myriad of different methodologies for transforming real-world scenarios into information system models. Moreover, this transformation process is critical not only for developing a successful information system, but also for helping users optimize their work and make their organizations more efficient.This book offers an essential exposition on the TAD method for information systems development and design. Practitioners and professionals in information science, computer science, and business process reengineering will find the work a highly useful resource when using TAD for rapid, efficient software development.

Immunity-Based Systems / A Design Perspective

Автор: Ishida Yoshiteru
Название: Immunity-Based Systems / A Design Perspective
ISBN: 3540008969 ISBN-13(EAN): 9783540008965
Издательство: Springer
Рейтинг:
Цена: 15014 р.
Наличие на складе: Поставка под заказ.

Описание: This book presents a framework for communication intensive autonomous agents inspired from the immune system. With the rapid increase of computational power and networking technology similarity between computer and biological systems may now practically work. The framework presented fills the need to guide the implementation of such a "biological" system. It is described in detail focusing on the field of diagnosis and control. Several sample applications and simulations are presented.

Foundations of Genetic Programming

Автор: Langdon William B., Poli Riccardo
Название: Foundations of Genetic Programming
ISBN: 3540424512 ISBN-13(EAN): 9783540424512
Издательство: Springer
Цена: 13859 р.
Наличие на складе: Поставка под заказ.

Описание: Genetic programming (GP), one of the most advanced forms of evolutionary computation, has been highly successful as a technique for getting computers to automatically solve problems without having to tell them explicitly how. Since its inceptions more than ten years ago, GP has been used to solve practical problems in a variety of application fields. Along with this ad-hoc engineering approaches interest increased in how and why GP works. This book provides a coherent consolidation of recent work on the theoretical foundations of GP. A concise introduction to GP and genetic algorithms (GA) is followed by a discussion of fitness landscapes and other theoretical approaches to natural and artificial evolution. Having surveyed early approaches to GP theory it presents new exact schema analysis, showing that it applies to GP as well as to the simpler GAs. New results on the potentially infinite number of possible programs are followed by two chapters applying these new techniques.

Principles and Practice of Constraint Programming - CP 2001 / 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings

Автор: Walsh Toby
Название: Principles and Practice of Constraint Programming - CP 2001 / 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
ISBN: 3540428631 ISBN-13(EAN): 9783540428633
Издательство: Springer
Рейтинг:
Цена: 16169 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001.The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields.

COTS-Based Software Systems / First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings

Автор: Dean John, Gravel Andree
Название: COTS-Based Software Systems / First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002, Proceedings
ISBN: 3540431004 ISBN-13(EAN): 9783540431008
Издательство: Springer
Цена: 8084 р.
Наличие на складе: Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the First International Conference on COTS-Based Software Systems, ICCBSS 2002, held in Orlando, Florida, USA, in February 2002.The 23 revised full papers presented were carefully reviewed and selected from numerous submissions. The book addresses all current issues on commercial-off-the-shelf software systems, from the R&D as well as from the practitioner's point of view.

Cooperative Environments for Distributed Systems Engineering / The Distributed Systems Environment Report

Автор: Drira Khalil, Martelli Andrea, Villemur Thierry
Название: Cooperative Environments for Distributed Systems Engineering / The Distributed Systems Environment Report
ISBN: 3540430830 ISBN-13(EAN): 9783540430834
Издательство: Springer
Рейтинг:
Цена: 8084 р.
Наличие на складе: Поставка под заказ.

Описание: The engineering life cycle for complex systems design and development requires the set-up of adequate and controlled processes involving different partners and disciplines. The design integration and the final physical/functional integration and qualification imply a high degree of cross-interaction among all partners.This book documents the outcome of a European project on distributed system environments by presenting the results of the user's requirements analysis and assessing the current available technology such as collaboration systems design, analysis, and verification; middleware; product data and workflow management; multicast communication; network QoS management; and groupware. Besides technical results, the book surveys and classifies existing products and tools for collaborative distributed systems engineering.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия