בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
internet computer » interfaces computer
functionals https » functions https, functionals hints, functionals hannes
program program » programs program, programming program
function https » functions https, fiction https
internet computer » interfaces computer
functionals https » functions https, functionals hints, functionals hannes
program program » programs program, programming program
function https » functions https, fiction https
1
יצא לאור 2013
תוכן הענינים:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2014
תוכן הענינים:
“... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
4
5
יצא לאור 2014
תוכן הענינים:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2015
תוכן הענינים:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2006
תוכן הענינים:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
יצא לאור 2015
תוכן הענינים:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים:
“...Invited Papers -- Deriving a Relationship from a Single Example -- Synthesis of Functions Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2006
תוכן הענינים:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים:
“... -- Intrusion Detection in Cloud Computing Implementation of (SAAS & IAAS) using Grid Environment -- Inter...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים:
“... with Header Compression for IP Based Satellite Communication over DVB-S -- Analysis of FEC Function for Real...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
נושאים:
“...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“... Dominating Set Games -- Local Flow Betweenness Centrality for Clustering Community Graphs -- Computerized...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2010
תוכן הענינים:
“... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני