Search Results - "software"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 281
- Computer science 153
- Artificial intelligence 152
- Software engineering 96
- Computer programming / software development 91
- Computer networking & communications 85
- History of engineering & technology 81
- Technology: general issues 78
- Application software 75
- Computer and Information Systems Applications 75
- Computer networks 68
- Information technology: general issues 52
- Algorithms & data structures 50
- Artificial Intelligence 47
- Mathematical theory of computation 46
- Research & information: general 45
- Systems analysis & design 44
- Business mathematics & systems 43
- Mathematics 42
- Management 41
- Computer Communication Networks 40
- Computer modelling & simulation 39
- Electronics engineering 38
- Media studies 38
- Computer Engineering and Networks 35
- Computer engineering 35
- Network hardware 34
- Expert systems / knowledge-based systems 33
- Computing & information technology 28
- Education 28
-
1641
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Published 2019Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1642
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Software Engineering bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1643
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Published 2019Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1644
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Published 2022Subjects: “…software design…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1645
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Published 2022Subjects: “…software design…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1646
-
1647
-
1648
-
1649
-
1650
-
1651
-
1652
-
1653
-
1654
-
1655
-
1656
Introduction to Scientific Programming with Python
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
1657
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
Published 2020Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
1658
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Published 2021Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook -
1659
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata
Electronic eBook -
1660
Partial Least Squares Structural Equation Modeling (PLS-SEM) Using R A Workbook
Published 2021Subjects: “…Mathematical & statistical software bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter