Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Programming Languages and Systems, Zhong Shao


Варианты приобретения
Цена: 74530.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 209 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

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

Автор: Zhong Shao
Название:  Programming Languages and Systems
ISBN: 9783540766360
Издательство: Springer
Классификация:
ISBN-10: 3540766367
Обложка/Формат: Paperback
Страницы: 442
Вес: 0.69 кг.
Дата издания: 2007
Серия: Lecture notes in computer science / programming and software engineering
Язык: English
Иллюстрации: Illustrations
Размер: 234 x 155 x 25
Читательская аудитория: Professional & vocational
Подзаголовок: Proceedings of the 5th asian symposium, aplas 2007, singapore, november 28-december 1, 2007
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007. This book includes papers that focus on topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and safety.

Types and programming languages

Автор: Pierce, Benjamin C.
Название: Types and programming languages
ISBN: 0262162091 ISBN-13(EAN): 9780262162098
Издательство: MIT Press
Рейтинг:
Цена: 107220.00 T
Наличие на складе: Невозможна поставка.
Описание:

A comprehensive introduction to type systems and programming languages.

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems -- and of programming languages from a type-theoretic perspective -- has important applications in software engineering, language design, high-performance compilers, and security.

This text provides a comprehensive introduction both 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. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material.

The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.


Programming Languages for MIS

Автор: Wang
Название: Programming Languages for MIS
ISBN: 1482222663 ISBN-13(EAN): 9781482222661
Издательство: Taylor&Francis
Рейтинг:
Цена: 80630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

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.


Programming Distributed Computing Systems

Автор: 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.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия