Ş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
1
Yazar: Stockebrand, Benedikt., Stockebrand, Benedikt.
Baskı/Yayın Bilgisi 2007
İçindekiler: ... -- The Dynamic Host Configuration Protocol (DHCPv6) -- Bridging the DNS Gap -- New Functionalities -- IP Security...
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
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
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
Yazar: Hunt, John., Hunt, John.
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Tam Metin Erişim
Elektronik Ekitap
10
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
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
Yazar: Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Optimization Methods: Penalty Methods, SQP Methods -- 6. Interior-Point Methods for Linear Optimization...
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
Yazar: Bradley, Aaron R., Bradley, Aaron R.
Baskı/Yayın Bilgisi 2011
İçindekiler: ... -- Chap. 5, I/O -- Chap. 6, Memory: The Heap -- Chap. 7, Abstract Data Types -- Chap. 8, Linked Lists...
Tam Metin Erişim
Elektronik Ekitap
16
Yazar: Membrey, Peter., Membrey, Peter., Plugge, Eelco., Hows, David.
Baskı/Yayın Bilgisi 2012
Konular: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Tam Metin Erişim
Elektronik Ekitap
17
Yazar: Zervaas, Quentin., Zervaas, Quentin.
Baskı/Yayın Bilgisi 2008
Konular: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
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