Impirical Foundations of Information and Software Science, Jagdish C. Agrawal
Автор: 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.
Автор: Pranas Zunde; D. Hocking Название: Empirical Foundations of Information and Software Science V ISBN: 1468458647 ISBN-13(EAN): 9781468458640 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Jagdish C. Agrawal; Pranas Zunde Название: Empirical Foundations of Information and Software Science IV ISBN: 1468454749 ISBN-13(EAN): 9781468454741 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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;
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Автор: 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.
Описание: 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.
Описание: 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.
Описание: 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