Implementations of Logic Programming Systems, Evan Tick; Giancarlo Succi
Автор: Manuel Hermenegildo; S.Doaitse Swierstra Название: Programming Languages: Implementations, Logics and Programs ISBN: 354060359X ISBN-13(EAN): 9783540603597 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings report research on declarative programming languages and provide insights into the relation between logic of those languages, implmentation techniques, and the use of these languages in constructing real programs.
Автор: Herbert Kuchen; S.Doaitse Swierstra Название: Programming Languages: Implementations, Logics, and Programs ISBN: 3540617566 ISBN-13(EAN): 9783540617563 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings are organized into topical sections on typing and structuring systems, program analysis, program transformation, implementation issues, concurrent and parallel programming, tools and programming environments, lambda-calculus and rewriting, and constraints.
Описание: This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD, USA, in March 2014. The 12 technical papers and 2 short position papers presented in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections named: OpenSHMEM implementations and evaluations;
Описание: This book constitutes the proceedings of the SecondOpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position paperspresented in this book were carefully reviewed and selected from 17submissions.
Автор: 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.
Автор: Zhenjiang Hu Название: Programming Languages and Systems ISBN: 3642106714 ISBN-13(EAN): 9783642106712 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
Автор: Giuseppe Castagna Название: Programming Languages and Systems ISBN: 3642005896 ISBN-13(EAN): 9783642005893 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
Автор: Koen V. Hindriks; Alexander Pokahr; Sebastian Sard Название: Programming Multi-Agent Systems ISBN: 364203277X ISBN-13(EAN): 9783642032776 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 6th International Workshop ProMAS 2008 Estoril Portugal May 13 2008 Revised Invited and Selected Pa. .
Автор: 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.
Автор: Wang Название: Programming Languages for MIS ISBN: 1482222663 ISBN-13(EAN): 9781482222661 Издательство: Taylor&Francis Рейтинг: Цена: 12095.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Programming Languages for MIS: Concepts and Practice supplies a synopsis of the major computer programming languages, including C++, HTML, JavaScript, CSS, VB.NET, C#.NET, ASP.NET, PHP (with MySQL), XML (with XSLT, DTD, and XML Schema), and SQL. Ideal for undergraduate students in IS and IT programs, this textbook and its previous versions have been used in the authors' classes for the past 15 years.
Focused on web application development, the book considers client-side computing, server-side computing, and database applications. It emphasizes programming techniques, including structured programming, object-oriented programming, client-side programming, server-side programming, and graphical user interface.
Introduces the basics of computer languages along with the key characteristics of all procedural computer languages
Covers C++ and the fundamental concepts of the two programming paradigms: function-oriented and object-oriented
Considers HTML, JavaScript, and CSS for web page development
Presents VB.NET for graphical user interface development
Introduces PHP, a popular open source programming language, and explains the use of the MySQL database in PHP
Discusses XML and its companion languages, including XSTL, DTD, and XML Schema
With this book, students learn the concepts shared by all computer languages as well as the unique features of each language. This self-contained text includes exercise questions, project requirements, report formats, and operational manuals of programming environments. A test bank and answers to exercise questions are also available upon qualified course adoption.
This book supplies professors with the opportunity to structure a course consisting of two distinct modules: the teaching module and the project module. The teaching module supplies an overview of representative computer languages. The project module provides students with the opportunity to gain hands-on experience with the various computer languages through projects.
Автор: Hugh Glaser; Peter Hartel; Herbert Kuchen Название: Programming Languages: Implementations, Logics, and Programs ISBN: 3540633987 ISBN-13(EAN): 9783540633983 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP `97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education. This volume presents 25 papers selected from 68 submissions.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
