Automata, Languages and Programming, Thomas Ottmann

Автор: Xinyu Feng; Sungwoo Park
Название: Programming Languages and Systems
ISBN: 3319265288 ISBN-13(EAN): 9783319265285
Издательство: Springer
Рейтинг:
Цена: 59630.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.

Автор: Sebastian Maneth
Название: Implementation and Application of Automata
ISBN: 3642029787 ISBN-13(EAN): 9783642029783
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 14th International Conference CIAA 2009 Sydney Australia July 1417 2009 Proceedings. .

Автор: Pierre Deransart; Bernard Lorho; Jan Maluszynski
Название: Programming Languages Implementation and Logic Programming
ISBN: 3540508201 ISBN-13(EAN): 9783540508205
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results.

Автор: Thomas Rauber; Gudula R?nger
Название: Parallel Programming
ISBN: 3642438067 ISBN-13(EAN): 9783642438066
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Parallel Computer Architecture.- Parallel Programming Models.- Performance Analysis of Parallel Programs.- Message-Passing Programming.- Thread Programming.- General Purpose GPU Programming.- Algorithms for Systems of Linear Equations.

Автор: H.J. Greenberg
Название: A Computer-Assisted Analysis System for Mathematical Programming Models and Solutions
ISBN: 1461364280 ISBN-13(EAN): 9781461364283
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Welcome to ANALYZE, designed to provide computer assistance for analyzing linear programs and their solutions. Chapter 4 goes through some elementary exercises to demonstrate computer- assisted analysis and introduce additional conventions of the ANALYZE language.

Автор: Schmidt, Bertil
Название: Parallel Programming
ISBN: 0128498900 ISBN-13(EAN): 9780128498903
Издательство: Elsevier Science
Рейтинг:
Цена: 70690.00 T
Наличие на складе: Поставка под заказ.
Описание:

Parallel Programming: Concepts and Practice provides an upper level introduction to parallel programming. In addition to covering general parallelism concepts, this text teaches practical programming skills for both shared memory and distributed memory architectures. The authors' open-source system for automated code evaluation provides easy access to parallel computing resources, making the book particularly suitable for classroom settings.

Автор: Karsten M. Decker; Rene M. Rehmann
Название: Programming Environments for Massively Parallel Distributed Systems
ISBN: 3034896689 ISBN-13(EAN): 9783034896689
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Massively Parallel Systems (MPSs) with their scalable computation and storage space promises are becoming increasingly important for high-performance computing.

Автор: Rafael H. Bordini; Mehdi Dastani; J?rgen Dix; Amal
Название: Multi-Agent Programming:
ISBN: 1489983597 ISBN-13(EAN): 9781489983596
Издательство: Springer
Рейтинг:
Цена: 144410.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Multi-Agent Systems are a promising technology that could develop the next generation of open distributed complex software systems. This volume summarizes the state of the art in an accessible way for professionals and computer science students at all levels.

Автор: Bramer Max
Название: Web Programming with PHP and MySQL
ISBN: 3319226584 ISBN-13(EAN): 9783319226583
Издательство: Springer
Рейтинг:
Цена: 41920.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introductory textbook covering all the main features of the `web programming` languages PHP and MySQL together with detailed examples that will enable readers (whether students on a taught course or independent learners) to use them to create their own applications or understand existing ones.