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

Impirical Foundations of Information and Software Science, Jagdish C. Agrawal


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

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

Автор: Jagdish C. Agrawal
Название:  Impirical Foundations of Information and Software Science
ISBN: 9781461295235
Издательство: Springer
Классификация:
ISBN-10: 1461295238
Обложка/Формат: Paperback
Страницы: 415
Вес: 0.74 кг.
Дата издания: 03.10.2011
Язык: English
Размер: 254 x 178 x 22
Основная тема: Science, Humanities and Social Sciences, multidisciplinary
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: which is required to be implemented or carried out, what kind of information should be provided to the agent, in what form, and how should it be distributed over the contextual structure of the pre- scriptive text to enable the agent to carry out the action or activity most effectively and efficiently.


Empirical Foundations of Information and Software Science III

Автор: Jens Rasmussen; Pranas Zunde
Название: Empirical Foundations of Information and Software Science III
ISBN: 1461290554 ISBN-13(EAN): 9781461290551
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The monograph presents the proceedings of the Third Symposium on Empir- ical Foundations of Information and Software Sciences (EFISS) held at the Riso National Laboratory in Roskilde, Denmark, 23-25 October 1985.

Empirical Foundations of Information and Software Science V

Автор: Pranas Zunde; D. Hocking
Название: Empirical Foundations of Information and Software Science V
ISBN: 1468458647 ISBN-13(EAN): 9781468458640
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Empirical Foundations of Information and Software Science IV

Автор: Jagdish C. Agrawal; Pranas Zunde
Название: Empirical Foundations of Information and Software Science IV
ISBN: 1468454749 ISBN-13(EAN): 9781468454741
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Information and Software Technologies

Автор: Robertas Dama?evi?ius; Vilma Mika?yt?
Название: Information and Software Technologies
ISBN: 3319676415 ISBN-13(EAN): 9783319676418
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 23nd International Conference on Information and Software Technologies, ICIST 2017, held in Druskininkai, Lithuania, in October 2017.The 51 papers presented were carefully reviewed and selected from 135 submissions. business intelligence for information and software systems;

Information and Software Technologies

Автор: Dregvaite
Название: Information and Software Technologies
ISBN: 3319462539 ISBN-13(EAN): 9783319462530
Издательство: Springer
Рейтинг:
Цена: 13976.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 22nd International Conference on Information and Software Technologies, ICIST 2016, held in Druskininkai, Lithuania, in October 2016.The 61 papers presented were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; software engineering; information technology applications.

Foundations of Software Science and Computation Structures

Автор: Javier Esparza; Andrzej S. Murawski
Название: Foundations of Software Science and Computation Structures
ISBN: 3662544571 ISBN-13(EAN): 9783662544570
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Coherence Spaces and Higher-Order Computation.- Coherence Spaces and Uniform Continuity.- The Free Exponential Modality of Probabilistic Coherence Spaces.- From Qualitative to Quantitative Semantics by Change of Base.- Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.-Algebra and Coalgebra.- Algebra, coalgebra, and minimization in polynomial differential equations.- Equational Theories of Abnormal Termination Based on Kleene Algebra.- Companions, Codensity and Causality.- Nominal Automata with Name Binding.- Games and Automata.- On the existence of weak subgame perfect equilibria.- Optimal Reachability in Divergent Weighted Timed Games.- Bounding Average-energy Games.- Logics of repeating values on data trees and branching counter systems.- Automata, Logic and Formal Languages.- Degree of sequentiality of weighted automata.- Emptiness under isolation and the value problem for hierarchical probabilistic automata.- Partial Derivatives for Context-Free Languages.- Dynamic Complexity of the Dyck Reachability.- Proof Theory.- Cyclic Arithmetic is Equivalent to Peano Arithmetic.- Martin-Lof's Inductive Definitions are Not Equivalent to Cyclic Proofs.- Probability.- On the relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.- Computing continuous time Markov chains as transformers of unbounded observation functions.- Pointless Learning.- On Higher-Order Probabilistic Subrecursion. - Concurrency.- A Truly Concurrent Game Model of the Asynchronous ᴨ-Calculus.- Local Model Checking in a Logic for True Concurrency.- The Paths to Choreography Extraction.- On the Undecidability of Asynchronous Session Subtyping.- Lambda Calculus and Constructive Proof.- A Lambda-Free Higher-Order Recursive Path Order.- Automated Constructivization of Proofs.- Semantics and Category Theory.- A Light Modality for Recursion.- Unifying Guarded and Unguarded Iteration.- Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type.- On the Semantics of Intensionality.

Software Technologies: Applications and Foundations

Автор: Milazzo
Название: Software Technologies: Applications and Foundations
ISBN: 3319502298 ISBN-13(EAN): 9783319502298
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.

Foundations of Software Engineering

Автор: Ahmed
Название: Foundations of Software Engineering
ISBN: 1498737595 ISBN-13(EAN): 9781498737593
Издательство: Taylor&Francis
Рейтинг:
Цена: 12248.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that are essential for becoming proficient in the field. The book devotes a complete chapter to each of the core areas. Several peripheral areas are also explained by assigning a separate chapter to each of them. Rather than using UML or other formal notations, the content in this book is explained in easy-to-understand language. Basic programming knowledge using an object-oriented language is helpful to understand the material in this book. The knowledge gained from this book can be readily used in other relevant courses or in real-world software development environments.This textbook educates students in software engineering principles. It covers almost all facets of software engineering, including requirement engineering, system specifications, system modeling, system architecture, system implementation, and system testing. Emphasizing practical issues, such as feasibility studies, this book explains how to add and develop software requirements to evolve software systems.This book was written after receiving feedback from several professors and software engineers. What resulted is a textbook on software engineering that not only covers the theory of software engineering but also presents real-world insights to aid students in proper implementation. Students learn key concepts through carefully explained and illustrated theories, as well as concrete examples and a complete case study using Java. Source code is also available on the book’s website. The examples and case studies increase in complexity as the book progresses to help students build a practical understanding of the required theories and applications.

The Patentability of Software

Автор: Hughes
Название: The Patentability of Software
ISBN: 1138240591 ISBN-13(EAN): 9781138240599
Издательство: Taylor&Francis
Рейтинг:
Цена: 19906.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explores the question of whether software should be patented. It analyses the ways in which courts in the US, the EU and Australia have attempted to deal with the problems surrounding the patentability of software.

Foundations of Software Science and Computational Structures

Автор: Luke Ong
Название: Foundations of Software Science and Computational Structures
ISBN: 3642120318 ISBN-13(EAN): 9783642120312
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

Автор: V. Arvind; Sanjiva Prasad
Название: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
ISBN: 3540770496 ISBN-13(EAN): 9783540770497
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. Thia book presents 40 revised full papers together with 5 invited papers that were reviewed and selected from 135 submissions.

Software Project Estimation: The Fundamentals for Providing High Quality Information to Decision Makers

Автор: Alain Abran
Название: Software Project Estimation: The Fundamentals for Providing High Quality Information to Decision Makers
ISBN: 1118954084 ISBN-13(EAN): 9781118954089
Издательство: Wiley
Рейтинг:
Цена: 12030.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces theoretical concepts to explain the fundamentals of the design and evaluation of software estimation models. It provides software professionals with vital information on the best software management software out there.


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