Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming reasoning » programming learning, programming designing, programming evolving
java programming » c programming
reasoning java » reasoning data, reasoning jan, reasoning james
program java » program jarak, program a, program jom
https » http
programming reasoning » programming learning, programming designing, programming evolving
java programming » c programming
reasoning java » reasoning data, reasoning jan, reasoning james
program java » program jarak, program a, program jom
https » http
1
2
3
Publicat 2005
Taula de continguts:
“... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...”Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“...Java 3D -- Introducing Java 3D -- Get a Life (in 3D) -- Get a Life (the Java 6 Way...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... -- Linear Quantifier Elimination -- Quantitative Separation Logic and Programs with Lists -- On Automating...”Obtenir text complet
Electrònic
eBook
6
Publicat 2008
Taula de continguts:
“... for Non-Block-Structured Lock Primitives and Mutable References -- Reasoning about Java’s Reentrant Locks...”Obtenir text complet
Electrònic
eBook
7
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicat 2007
Taula de continguts:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“...-Based Agent Programming Languages -- Jade — A Java Agent Development Framework -- Jadex: A BDI Reasoning...”Obtenir text complet
Electrònic
eBook
9
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicat 2010
Taula de continguts:
“... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“... of the Java Virtual Machine Using Dependent Types -- Dependently Sorted Logic -- Finiteness in a Minimalist...”Obtenir text complet
Electrònic
eBook
12
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicat 2013
Taula de continguts:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“... in Reasoning About Relationships -- Inheritance and Derivation -- JavaGI: Generalized Interfaces for Java...”Obtenir text complet
Electrònic
eBook
14
Publicat 2013
Taula de continguts:
“... Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”Obtenir text complet
Electrònic
eBook
16
Publicat 2010
Taula de continguts:
“... Refactoring of Concurrent Java Code -- Programming Coordinated Behavior in Java -- JCoBox: Generalizing Active...”Obtenir text complet
Electrònic
eBook
17
Publicat 2005
Taula de continguts:
“... Programming -- The Emergent Structure of Development Tasks -- Java -- Loosely-Separated “Sister” Namespaces...”Obtenir text complet
Electrònic
eBook
18
Publicat 2013
Taula de continguts:
“... Interactive Product Congurator -- dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation -- HEX...”Obtenir text complet
Electrònic
eBook
19
Publicat 2012
Taula de continguts:
“... Is the Question? Reasoning for Everyday Manipulation Tasks -- Learning and Behavior Towards Partners Profiling...”Obtenir text complet
Electrònic
eBook
20
Publicat 2006
Taula de continguts:
“...Invited Papers -- Global Optimization of Probabilistically Constrained Linear Programs...”Obtenir text complet
Electrònic
eBook