Empirical Foundations of Information and Software Science IV, Jagdish C. Agrawal; Pranas Zunde
Автор: 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;
Автор: Pranas Zunde; D. Hocking Название: Empirical Foundations of Information and Software Science V ISBN: 1468458647 ISBN-13(EAN): 9781468458640 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: 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.
Автор: Barry Boehm; Hans Dieter Rombach; Marvin V. Zelkow Название: Foundations of Empirical Software Engineering ISBN: 3540245472 ISBN-13(EAN): 9783540245476 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Captures the scientific contributions of Victor R Basili, who has shaped the field of empirical software engineering. He was the first to claim that software engineering needed to follow the model of other physical sciences and develop an experimental paradigm. This book presents a collection of papers on software engineering.
Автор: Barry Boehm; Hans Dieter Rombach; Marvin V. Zelkow Название: Foundations of Empirical Software Engineering ISBN: 3642063896 ISBN-13(EAN): 9783642063893 Издательство: Springer Рейтинг: Цена: 21661.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Although software engineering can trace its beginnings to a NATO conf- ence in 1968, it cannot be said to have become an empirical science until the 1970s with the advent of the work of Prof.
Автор: Luca de Alfaro Название: Foundations of Software Science and Computational Structures ISBN: 3642005950 ISBN-13(EAN): 9783642005954 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains topics that include semantics, logics and automata, algebras, automata theory, processes and models, security, probabilistic and quantitative models, synthesis, and program analysis and semantics.
Описание: This volume contains the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, held in Madras, India in December 1994. Contributors emphasize algorithms and complexity in addition to more theoretical concepts.
Описание: These conference papers are organized into topical sections in computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.
Описание: 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.
Автор: Anca Muscholl Название: Foundations of Software Science and Computation Structures ISBN: 3642548296 ISBN-13(EAN): 9783642548291 Издательство: Springer Рейтинг: Цена: 8944.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014.
Автор: Bart Jacobs; Christof L?ding Название: Foundations of Software Science and Computation Structures ISBN: 3662496291 ISBN-13(EAN): 9783662496299 Издательство: Springer Рейтинг: Цена: 10342.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Types.- Comprehensive parametric polymorphism: categorical models and type theory.- Guarded Dependent Type Theory with Coinductive Types.- Dependent Types and Fibred Computational Effects.- Game Semantics for Bounded Polymorphism.- Recursion and Fixed-Points Join Inverse Categories as Models of Reversible Recursion.- A Coalgebraic View of Bar Recursion and Bar Induction.- A New Foundation for Finitary Corecursion.- Fixed-point elimination in the Intuitionistic Propositional Calculus.- Verification and Program Analysis. A Theory of Monitors.- Contextual approximation and higher-order procedures.- A Theory of Slicing for Probabilistic Control Flow Graphs.- Verification of parameterized communicating automata via split-width.- Automata, Logic, Games - Robust Equilibria in Mean-Payoff Games.- Quantifier Alternation for Infinite Words.-Synchronizing automata over nested words.- On Freeze LTL with Ordered Attributes.- Regular transformations of data words through origin information.- Probabilistic and Timed Systems - Trace Refinement in Labelled Markov Decision Processes.- Qualitative Analysis of VASS-Induced MDPs.- Metric Temporal Logic with Counting.- Distributed Synthesis in Continuous Time.- Proof Theory and Lambda Calculus Unary Resolution: Characterizing Ptime.- Focused and Synthetic Nested Sequents.- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of lambda-terms.- Reasoning about call-by-need by means of types.- Algorithms for Infinite Systems Coverability Trees for Petri Nets with Unordered Data.- Shortest paths in one-counter systems.- The Invariance Problem for Matrix Semigroups.- Order-Sorted Rewriting and Congruence Closure.- Monads.- Towards a formal theory of graded monads.- Profinite Monads, Profinite Equations, and Reiterman's Theorem.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
