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

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

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

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

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

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

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

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.

Автор: Dregvaite
Название: Information and Software Technologies
ISBN: 3319462539 ISBN-13(EAN): 9783319462530
Издательство: Springer
Рейтинг:
Цена: 93170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

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

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

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

Автор: Buragga & Zaman
Название: Software Development Techniques For Constructive Information Systems Desig
ISBN: 1466636793 ISBN-13(EAN): 9781466636798
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 189420.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Software development and information systems design have a unique relationship, but are often discussed and studied independently. However, meticulous software development is vital for the success of an information system.<br><br><em>Software Development Techniques for Constructive Information Systems Design</em> focuses the aspects of information systems and software development as a merging process. This reference source pays special attention to the emerging research, trends, and experiences in this area which is bound to enhance the reader’s understanding of the growing and ever-adapting field. Academics, researchers, students, and working professionals in this field will benefit from this publication’s unique perspective.

Автор: Christine Choppy; Oleg Sokolsky
Название: Foundations of Computer Software: Future Trends and Techniques for Development
ISBN: 3642125654 ISBN-13(EAN): 9783642125652
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the thoroughly refereed and revised proceedings of the 15th Monterey Workshop, held in Budapest, Hungary, September 24-26, 2008. The theme of the workshop was Foundations of Computer Software, Future Trends and Techniques for Development.