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

Relational Methods in Computer Science, Chris Brink; Wolfram Kahl; Gunther Schmidt


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

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

Автор: Chris Brink; Wolfram Kahl; Gunther Schmidt
Название:  Relational Methods in Computer Science
ISBN: 9783211829714
Издательство: Springer
Классификация:


ISBN-10: 3211829717
Обложка/Формат: Paperback
Страницы: 272
Вес: 0.41 кг.
Дата издания: 23.04.1997
Серия: Advances in Computing Sciences
Язык: English
Размер: 234 x 156 x 16
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The calculus of relations turned into an important conceptual and methodological tool in computer science. This book presents methods that include questions of relational databases, applications to program specification, resource-conscious linear logic, nonclassical logics for reasoning about programs, and more.


Digital Design and Computer Architecture

Автор: David Harris
Название: Digital Design and Computer Architecture
ISBN: 0123944244 ISBN-13(EAN): 9780123944245
Издательство: Elsevier Science
Рейтинг:
Цена: 11957.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Provides practical examples of how to interface with peripherals using RS232, SPI, motor control, interrupts, wireless, and analog-to-digital conversion. This book covers the fundamentals of digital logic design and reinforces logic concepts through the design of a MIPS microprocessor.

Relational and Algebraic Methods in Computer Science

Автор: Peter H?fner; Peter Jipsen; Wolfram Kahl; Martin E
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319062506 ISBN-13(EAN): 9783319062501
Издательство: Springer
Рейтинг:
Цена: 11598.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 revised full papers presented were carefully selected from 37 submissions.

Fundamentals of computer architecture

Автор: Burrell, Mark
Название: Fundamentals of computer architecture
ISBN: 0333998669 ISBN-13(EAN): 9780333998663
Издательство: Springer
Рейтинг:
Цена: 9642.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Written for students taking their first course in computer systems architecture, this is an introductory textbook that meets syllabus requirements in a simple manner. The book comes with a CD-ROM which includes JASPer software and the `Digital Works` package.

Design Science Research Methods and Patterns

Автор: Vaishnavi
Название: Design Science Research Methods and Patterns
ISBN: 1498715257 ISBN-13(EAN): 9781498715256
Издательство: Taylor&Francis
Рейтинг:
Цена: 16843.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Presenting innovative research methods, this second edition of a bestseller describes a simple and practical methodology for conducting cutting-edge design science research (DSR). It provides comprehensive guidance on how to conduct such research and supplies in-depth treatment of design science theory and the different types of theory that can be generated in design science research.

Making novel use of the concept of patterns, it presents 84 research patterns for conducting effective DSR. It emphasizes design science theory throughout and is filled with practical examples of using patterns to conduct information and communication technology research (ICT).

With a focus on reusing research activities to increase the effectiveness and efficiency of conducting design science research, the book relies on familiar patterns to provide the fundamentals of various research philosophies and techniques required to innovate ICT. It describes design science research in relation to other information systems research paradigms such as positivist and interpretivist research. New to this edition are relevant design science research patterns adapted from TRIZ, the widely regarded European engineering design and creativity method.

This edition also provides greatly expanded treatment of theory building in design science research (DSR), a topic of rapidly growing interest in addition to a new chapter presenting a framework for theory development in DSR. The book provides an expanded examination of patterns in DSR presented using a new pattern classification mechanism to group patterns with like functionality.

This book will be of value to those interested in learning to conduct design science research, particularly in the ICT disciplines the book focuses on.

Relational and Algebraic Methods in Computer Science

Автор: Peter H?fner; Damien Pous; Georg Struth
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319574175 ISBN-13(EAN): 9783319574172
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions.

Relational and Algebraic Methods in Computer Science

Автор: Wolfram Kahl; Michael Winter; Jos? Oliveira
Название: Relational and Algebraic Methods in Computer Science
ISBN: 3319247034 ISBN-13(EAN): 9783319247038
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions.

Relational Methods for Computer Science Applications

Автор: Ewa Orlowska; Andrzej Szalas
Название: Relational Methods for Computer Science Applications
ISBN: 3662003627 ISBN-13(EAN): 9783662003626
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Mathematical and Engineering Methods in Computer Science

Автор: Petr Hlin?n?; Zden?k Dvo??k; Ji?? Jaro?; Jan Kofro
Название: Mathematical and Engineering Methods in Computer Science
ISBN: 3319148958 ISBN-13(EAN): 9783319148953
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Telc, Czech Republic, in October 2014.The 13 thoroughly revised papers were carefully selected out of 28 submissions and are presented together with 4 invited papers.

Mathematical and Engineering Methods in Computer Science

Автор: Jan Kofro?; Tom?? Vojnar
Название: Mathematical and Engineering Methods in Computer Science
ISBN: 331929816X ISBN-13(EAN): 9783319298160
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telc, Czech Republic, in October 2015. The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers.

Mathematical and Engineering Methods in Computer Science

Автор: Antonin Kucera; Thomas A. Henzinger; Jaroslav Ne?e
Название: Mathematical and Engineering Methods in Computer Science
ISBN: 3642360440 ISBN-13(EAN): 9783642360442
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.

Computer Organization, Design, and Architecture, Fifth Edition

Автор: Shiva
Название: Computer Organization, Design, and Architecture, Fifth Edition
ISBN: 1466585544 ISBN-13(EAN): 9781466585546
Издательство: Taylor&Francis
Рейтинг:
Цена: 19906.00 р.
Наличие на складе: Поставка под заказ.

Описание:

Suitable for a one- or two-semester undergraduate or beginning graduate course in computer science and computer engineering, Computer Organization, Design, and Architecture, Fifth Edition presents the operating principles, capabilities, and limitations of digital computers to enable the development of complex yet efficient systems. With 11 new sections and four revised sections, this edition takes students through a solid, up-to-date exploration of single- and multiple-processor systems, embedded architectures, and performance evaluation.

See What's New in the Fifth Edition

  • Expanded coverage of embedded systems, mobile processors, and cloud computing
  • Material for the "Architecture and Organization" part of the 2013 IEEE/ACM Draft Curricula for Computer Science and Engineering
  • Updated commercial machine architecture examples

The backbone of the book is a description of the complete design of a simple but complete hypothetical computer. The author then details the architectural features of contemporary computer systems (selected from Intel, MIPS, ARM, Motorola, Cray and various microcontrollers, etc.) as enhancements to the structure of the simple computer. He also introduces performance enhancements and advanced architectures including networks, distributed systems, GRIDs, and cloud computing.

Computer organization deals with providing just enough details on the operation of the computer system for sophisticated users and programmers. Often, books on digital systems' architecture fall into four categories: logic design, computer organization, hardware design, and system architecture. This book captures the important attributes of these four categories to present a comprehensive text that includes pertinent hardware, software, and system aspects.

Advanced Relational Programming

Автор: F. Cacace; G. Lamperti
Название: Advanced Relational Programming
ISBN: 9401037426 ISBN-13(EAN): 9789401037426
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.


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