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

Logic Programming `88, Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisa


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

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

Автор: Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisa
Название:  Logic Programming `88
ISBN: 9783540515647
Издательство: Springer
Классификация:
ISBN-10: 354051564X
Обложка/Формат: Paperback
Страницы: 258
Вес: 0.38 кг.
Дата издания: 06.09.1989
Серия: Lecture Notes in Artificial Intelligence
Язык: English
Размер: 234 x 156 x 14
Основная тема: Computer Science
Подзаголовок: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on narrowing, a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.


Object-oriented Programming in SIMOTION Fundamentals, Program Examples and Software Concepts according to IEC 61131-3

Автор: Braun
Название: Object-oriented Programming in SIMOTION Fundamentals, Program Examples and Software Concepts according to IEC 61131-3
ISBN: 3895784567 ISBN-13(EAN): 9783895784569
Издательство: Wiley
Рейтинг:
Цена: 6011.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addressing students, mechanical engineers, technicians and experienced automation engineers, the book will assist to understand and to use OOP in accordance with IEC 61131-3. In a step-by-step process, example programs show how to design a ready-to-use machine module.

Third International Conference on Logic Programming

Автор: Ehud Shapiro
Название: Third International Conference on Logic Programming
ISBN: 3540164928 ISBN-13(EAN): 9783540164920
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Programming Language Implementation and Logic Programming

Автор: Maurice Bruynooghe; Martin Wirsing
Название: Programming Language Implementation and Logic Programming
ISBN: 3540558446 ISBN-13(EAN): 9783540558446
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains a series of conference papers which explores new declarative concepts, methods and techniques relevant for the implementation of programming languages. Contributors come from the fields of logic, functional, object-oriented and algebraic programming.

Pro .Net 4 Parallel Programming in C#

Автор: Freeman Adam
Название: Pro .Net 4 Parallel Programming in C#
ISBN: 1430229675 ISBN-13(EAN): 9781430229674
Издательство: Springer
Рейтинг:
Цена: 7819.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Parallel programming has been revolutionised in .NET 4 providing, for the first time, a standardised and simplified method for creating robust, scalable and reliable multi-threaded applications. The Parallel Programming features of .NET 4 allow the programmer to create applications that harness the power of multi-core and multi-processor machines. Simpler to use and more powerful than "classic" .NET threads, parallel programming allows the developer to remain focused on the work an application needs to perform.

In Pro .NET 4 Parallel Programming in C#, Adam Freeman presents expert advice that guides you through the process of creating concurrent C# applications from the ground up. You'll be introduced to .NET's parallel programming features, both old and new, discover the key functionality that has been introduced in .NET 4, and learn how you can take advantage of the power of multi-core and multi-processor machines with ease.

Pro .NET 4 Parallel Programming in C# is a reliable companion that will remain with you as you explore the parallel programming universe, elegantly and comprehensively explaining all aspects of parallel programming, guiding you around potential pitfalls and providing clear-cut solutions to the common problems that you will encounter. What you'll learn Develop scalable and robust parallel applications in C#. Design, test and use parallel algorithms and data structures. Understand and implement common parallel design patterns. Avoid common anti-patterns and problems. Use Visual Studio to verify and debug parallel applications. Who this book is for

This book is for .NET developers encountering parallel or multi-threaded programming for the first time. No prior knowledge of multi-threaded programming is required, but the reader should be familiar with basic programming in C# using Visual Studio.


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