Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming reasoning » programming learning, programming designing, programming evolving
reasoning program » reading program, reasoning programming, reasoning problems
program https » programs https, program has, program help
programming reasoning » programming learning, programming designing, programming evolving
reasoning program » reading program, reasoning programming, reasoning problems
program https » programs https, program has, program help
1
Argitaratua 2010
Aurkibidea:
“... -- Human and Unhuman Commonsense Reasoning -- Gödel Logics – A Survey -- Tableau Calculus for the Logic...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... -- Reasoning about XML with Temporal Logics and Automata -- Distributed Consistency-Based Diagnosis -- Session...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”Testu osoa
Baliabide elektronikoa
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Argitaratua 2010
Aurkibidea:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Testu osoa
Baliabide elektronikoa
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Argitaratua 2014
Aurkibidea:
“... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2013
Aurkibidea:
“... and Sequent Rules with an Application to S5 -- Schemata of Formulæ in the Theory of Arrays -- TAFA – A Tool...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2008
Aurkibidea:
“... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... Structures -- Regular Papers -- Temporal Reasoning for Procedural Programs -- Improved Model Checking...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2008
Aurkibidea:
“... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2015
Aurkibidea:
“...: At the Crossroads of Design, Implementation and Foundations -- Reasoning about C Concurrency and Compilers...”Testu osoa
Baliabide elektronikoa
eBook
11
Aurkibidea:
“...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2006
Aurkibidea:
“... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2008
Aurkibidea:
“... of ACTL and LTL -- The Complexity of CTL* + Linear Past -- Footprints in Local Reasoning -- A Modal...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2014
Aurkibidea:
“... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“... and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors...”Testu osoa
Baliabide elektronikoa
eBook
19
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- Hurrengoa »
- [2]