Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality computing » functionality combining, function computing, functionality using
https functionality » its functionality, bags functionality, cross functionality
program collection » program section, program construction
collection https » pollution https, collection hotel, collection hints
functionality computing » functionality combining, function computing, functionality using
https functionality » its functionality, bags functionality, cross functionality
program collection » program section, program construction
collection https » pollution https, collection hotel, collection hints
1
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...Collective Intelligence in Web Systems – Web Systems Analysis -- Neuro-Fuzzy Models in Global HTTP...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... of Authorization with Watermark Based on Grid Environment -- Novel Approaches to Collective Computations...”View full text
Electronic
eBook
4
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
5
Subjects:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Support for OpenMP Collective Operations -- Loop Transformation Recipes for Code Generation and Auto...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Ordered Restarting Automata -- Reversible Languages -- Garbage Collection for Reversible Functional...”View full text
Electronic
eBook
13
Table of Contents:
“... Applications -- Using Collections -- Using Layout Managers -- Using Swing’s JTable -- Using Swing’s JTree...”
View full text
View full text
Electronic
eBook
14
Table of Contents:
“... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Constraints -- OpenJDK’s Java.utils.Collection.sort() Is Broken: The Good, the Bad and the Worst Case -- Tree...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
19
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”View full text
Electronic
eBook