Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
https functionality » its functionality, bags functionality, cross functionality
program practice » programs practices
functionality 6 » functionality _, functionality 4, functionality 5
practice https » practice has, practice hot, pragmatics https
6 https » 6 http
https functionality » its functionality, bags functionality, cross functionality
program practice » programs practices
functionality 6 » functionality _, functionality 4, functionality 5
practice https » practice has, practice hot, pragmatics https
6 https » 6 http
1
İçindekiler:
“... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”Tam Metin Erişim
Elektronik
Ekitap
3
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Baskı/Yayın Bilgisi 2008
İçindekiler:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...”Tam Metin Erişim
Elektronik
Ekitap
6
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”Tam Metin Erişim
Elektronik
Ekitap
7
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009...
Baskı/Yayın Bilgisi 2010
İçindekiler:
“...FOPARA 2009 -- Comparing Cost Functions in Resource Analysis -- Improvements to a Resource Analysis...”Tam Metin Erişim
Elektronik
Ekitap
8
İçindekiler:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
9
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Baskı/Yayın Bilgisi 2010
İçindekiler:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Tam Metin Erişim
Elektronik
Ekitap
10
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”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
Baskı/Yayın Bilgisi 2008
İçindekiler:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”Tam Metin Erişim
Elektronik
Ekitap
13
İçindekiler:
“... Optimization Methods: Penalty Methods, SQP Methods -- 6. Interior-Point Methods for Linear Optimization...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
14
Baskı/Yayın Bilgisi 2013
İçindekiler:
“... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...”Tam Metin Erişim
Elektronik
Ekitap
15
İçindekiler:
“... -- Chap. 5, I/O -- Chap. 6, Memory: The Heap -- Chap. 7, Abstract Data Types -- Chap. 8, Linked Lists...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
16
Konular:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
17
Konular:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Tam Metin Erişim
Tam Metin Erişim
Elektronik
Ekitap
18
Baskı/Yayın Bilgisi 2012
İçindekiler:
“...: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution...”Tam Metin Erişim
Elektronik
Ekitap
19
Baskı/Yayın Bilgisi 2006
İçindekiler:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Tam Metin Erişim
Elektronik
Ekitap
20
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



