Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
program composition » process composition, protein composition, proximate composition
composition https » computation https, composition haptics, cognition https
https function » its function, sites function, ups function
function use » function usage, functions used, functions user
program composition » process composition, protein composition, proximate composition
composition https » computation https, composition haptics, cognition https
https function » its function, sites function, ups function
function use » function usage, functions used, functions user
1
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... for Autonomous Robots -- Event-Specific Software Composition in Context-Oriented Programming -- Predicated...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2006
İçindekiler:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2010
İçindekiler:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Tam Metin Erişim
Elektronik
Ekitap
7
İçindekiler:
“... of a Lamina -- to Homogenization of Composite Materials -- to Damage Mechanics of Composite Materials....”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
8
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Tam Metin Erişim
Elektronik
Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Tam Metin Erişim
Elektronik
Ekitap
10
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”Tam Metin Erişim
Elektronik
Ekitap
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Tam Metin Erişim
Elektronik
Ekitap
12
İçindekiler:
“...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
13
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific...”Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”Tam Metin Erişim
Elektronik
Ekitap
15
İçindekiler:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
16
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Tam Metin Erişim
Elektronik
Ekitap
17
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Linguistic Symbiosis -- A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate...”Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2005
İçindekiler:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise JavaBeans...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”Tam Metin Erişim
Elektronik
Ekitap
20
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... – An Algorithmic Approach -- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL...”Tam Metin Erişim
Elektronik
Ekitap