Edizione	[1st ed. 2017.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica	1 online resource (XXX, 645 p. 224 illus.)
Disciplina	004.019
Collana	Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico	User interfaces (Computer systems) Application software Special purpose computers Computer communication systems Artificial intelligence User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Special Purpose and Application-Based Systems Computer Communication Networks Artificial Intelligence
ISBN	3-319-58700-5
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Universal Access to Health and Rehabilitation -- Universal Access to Education and Learning -- Universal Access to Mobility -- Universal Access to Information and Media -- Design for Quality of Life Technologies.
Record Nr.	UNISA-996466313503316

Edizione	[1st ed. 2023.]
Pubbl/distr/stampa	Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Descrizione fisica	1 online resource (400 pages)
Disciplina	005.369
Collana	Lecture Notes in Computer Science
Soggetto topico	Computer science Computer science - Mathematics Logic programming Computers, Special purpose Software engineering Microprogramming Theory of Computation Mathematics of Computing Logic in AI Special Purpose and Application-Based Systems Software Engineering Control Structures and Microprogramming
ISBN	3-031-24950-X
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Distributing and Parallelizing Non-canonical Loops -- SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study -- StaticPersist : Compiler Support for PMEM Programming -- Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference -- Satisfiability Modulo Custom Theories in Z3 -- Bayesian parameter estimation with guarantees via interval analysis and simulation -- A Pragmatic Approach to Stateful Partial Order Reduction -- Compositional Verification of Stigmergic Collective Systems -- Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth -- Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization -- A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation -- CosySEL: Improving SAT Solving Using Local Symmetries -- Sound Symbolic Execution via Abstract Interpretation and its Application to Security -- Result Invalidation for Incremental Modular Analyses -- Synthesizing History and Prophecy Variables for Symbolic Model Checking -- Solving Constrained Horn Clauses over Algebraic Data Types -- ARENA: Enhancing Abstract Refinement for Neural Network Verification.
Record Nr.	UNISA-996508671503316

Edizione	[1st ed. 2021.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021
Descrizione fisica	1 online resource (XV, 604 p. 212 illus., 108 illus. in color.)
Disciplina	005.14
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Computer science Natural language processing (Computer science) Software engineering Microprogramming Computers, Special purpose Theory of Computation Natural Language Processing (NLP) Software Engineering Control Structures and Microprogramming Special Purpose and Application-Based Systems
ISBN	3-030-67067-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Papers -- Model Checking Algorithms for Hyperproperties -- Algebra-based Synthesis of Loops and their Invariants -- Generative Program Analysis and Beyond: The Power of Domain-Specific Languages -- Hyperproperties and Infinite-state Systems -- Compositional Model Checking for Multi-Properties -- Decomposing Data Structure Commutativity Proofs with mn-Differencing -- Proving the existence of fair paths in infinite-state systems -- A Self-Certifying Compilation Framework for WebAssembly -- Concurrent and Distributed Systems -- Concurrent Correctness in Vector Space -- Verification of Concurrent Programs Using Petri Net Unfoldings -- Eliminating Message Counters in Synchronous Threshold Automata -- A Reduction Theorem for Randomized Distributed Algorithms under Weak Adversaries -- Checking -- Runtime Abstract Interpretation for Numerical Accuracy and Robustness -- Twinning automata and regular expressions for string static analysis -- Unbounded Procedure Summaries from Bounded Environments -- Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking -- Synthesis and Repair -- Approximate Bit Dependency Analysis to Identify Program Synthesis Problems as Infeasible -- Automated Repair of Heap-Manipulating Programs using Deductive Synthesis -- GPURepair: Automated Repair of GPU Kernels -- Applications -- A Synchronous Effects Logic for Temporal Verification of Pure Esterel -- A Design of GPU-Based Quantitative Model Checking -- Formal Semantics and Verification of Network Based Biocomputation Circuits -- Netter: Probabilistic, Stateful Network Models,. Decision Procedures -- Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories -- Incremental Search for Conflict and Unit Instances of Quantified Formulas with E-Matching -- On Preprocessing for Weighted MaxSAT -- Compositional Satisfiability Solving in Separation Logic.
Record Nr.	UNISA-996464432003316

Edizione	[1st ed. 2003.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica	1 online resource (XVI, 788 p.)
Disciplina	005.1/4
Collana	Lecture Notes in Computer Science
Soggetto topico	Software engineering Computer logic Special purpose computers Programming languages (Electronic computers) Computers Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Special Purpose and Application-Based Systems Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices
ISBN	3-540-39910-0
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Frontispiece: Zohar Manna -- Pæan to Zohar Manna -- Technical Papers -- A Logic of Object-Oriented Programs -- Formal Analysis of Hierarchical State Machines -- Abstraction as the Key for Invariant Verification -- Domain Engineering: a “Radical Innovation” for Software and Systems Engineering? A Biased Account -- The ASM Ground Model Method as a Foundation of Requirements Engineering -- A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems -- Notes from the Logbook of a Proof-Checker’s Project -- Counterexamples Revisited: Principles, Algorithms, Applications -- Easy Intruder Deductions -- Verification by Abstract Interpretation.
Record Nr.	UNISA-996465704003316