1
Julkaistu 2014
Sisällysluettelo: ... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...
Hae kokoteksti
Elektroninen E-kirja
2
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
3
Aiheet: ...Computer programming....
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2014
Sisällysluettelo: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2015
Sisällysluettelo: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2015
Sisällysluettelo: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2006
Sisällysluettelo: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2008
Sisällysluettelo: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2015
Sisällysluettelo: ...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2013
Sisällysluettelo: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2014
Sisällysluettelo: ... -- Intrusion Detection in Cloud Computing Implementation of (SAAS & IAAS) using Grid Environment -- Inter...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2006
Sisällysluettelo: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2007
Sisällysluettelo: ... with Header Compression for IP Based Satellite Communication over DVB-S -- Analysis of FEC Function for Real...
Hae kokoteksti
Elektroninen E-kirja
15
Aiheet: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2005
Sisällysluettelo: ... for Computing Fisher Equilibrium in the Absence of Gross Substitutability Property -- Click Fraud Resistant...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2010
Sisällysluettelo: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2010
Sisällysluettelo: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2006
Sisällysluettelo: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2007
Sisällysluettelo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hae kokoteksti
Elektroninen E-kirja