खोज परिणाम - minimal model program
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- Computer science 7
- Software Engineering 7
- History of engineering & technology 6
- Software engineering 5
- Artificial Intelligence 4
- Artificial intelligence 4
- Computer Science Logic and Foundations of Programming 4
- Formal Languages and Automata Theory 4
- Machine theory 4
- Business mathematics & systems 2
- Discrete Mathematics in Computer Science 2
- Discrete mathematics 2
- Information technology industries 2
- Mathematics 2
- Research & information: general 2
- Society & social sciences 2
- Technology: general issues 2
- Algorithms 1
- Biology, life sciences 1
- Coins, banknotes, medals, seals (numismatics) 1
- Compilers (Computer programs) 1
- Compilers and Interpreters 1
- Computer Modelling 1
- Computer System Implementation 1
- Computer programming 1
- Computer simulation 1
- Computer systems 1
- Computers 1
- Computing & information technology 1
- Control Structures and Microprogramming 1
-
261
-
262
-
263
-
264
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
प्रकाशित 2023विषय - सूची: “…Forward Bisimilarity -- Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains -- Weighted and Branching Bisimilarities from Generalized Open Maps -- Preservation and Reflection of Bisimilarity via Invertible Steps -- QuantitativeSafety and Liveness -- On the Comparison of Discounted-Sum Automata with Multiple Discount Factors -- Fast Matching of Regular Patterns with Synchronizing Counting -- Compositional Learning for Interleaving Parallel Automata -- Pebble minimization: the last theorems -- Noetherian topologies defined via fixed-points -- An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic -- Just Testing -- Model and Program Repair via Group Actions -- Subgame optimal strategies in finite concurrent games with prefix-independent objectives. .…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
265
-
266
-
267
-
268
-
269
MANAJEMEN STRATEGIK PENGEMBANGAN SUMBERDAYA MANUSIA PERGURUAN TINGGI
प्रकाशित 2003Link Metadata
पुस्तक -
270
-
271
-
272
-
273
-
274
-
275
-
276
-
277
-
278
-
279
-
280