1
Pubblicazione 2010
Sommario: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
Testo
Elettronico eBook
2
Pubblicazione 2007
Sommario: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Testo
Elettronico eBook
3
Pubblicazione 2005
Sommario: ... Architecture Cyclops64 -- TCP-ABC: From Multiple TCP Connections to Atomic Broadcasting -- A Parallel File...
Testo
Elettronico eBook
4
Pubblicazione 2006
Sommario: ... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...
Testo
Elettronico eBook
5
Pubblicazione 2013
Sommario: ... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...
Testo
Elettronico eBook
6
Pubblicazione 2013
Sommario: ... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...
Testo
Elettronico eBook
7
di Bjørner, Dines., Bjørner, Dines.
Pubblicazione 2006
Sommario: ... ?-Calculus -- Algebras -- Mathematical Logic -- Simple RSL -- Atomic Types and Values in RSL -- Function...
Testo
Elettronico eBook
8
di Sharan, Kishori., Sharan, Kishori.
Pubblicazione 2014
Soggetti: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testo
Elettronico eBook
9
di Raynal, Michel., Raynal, Michel.
Pubblicazione 2013
Sommario: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
Testo
Elettronico eBook
10
Pubblicazione 2015
Sommario: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Testo
Elettronico eBook
11
Pubblicazione 2005
Sommario: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
Testo
Elettronico eBook
12
Pubblicazione 2006
Sommario: ... Algorithm for Solving the Eigenvalue Problem for a Hydrogen Atom in Magnetic Field -- On Decomposition...
Testo
Elettronico eBook
13
Pubblicazione 2012
Sommario: ... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...
Testo
Elettronico eBook
14
Pubblicazione 2010
Sommario: ...-Landau Theory for Atomic Fermi Gases Near the BCS-BEC Crossover -- Improved Support Vector Machine Multi...
Testo
Elettronico eBook
15
Pubblicazione 2007
Sommario: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
Testo
Elettronico eBook
16
Pubblicazione 2014
Sommario: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
Testo
Elettronico eBook
17
Pubblicazione 2006
Sommario: ... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...
Testo
Elettronico eBook
18
Pubblicazione 2007
Sommario: ... Ontology of ‘Cultures’ and ‘Ethnic Groups’ Based on Type Theory and Functional Programming -- Capturing a...
Testo
Elettronico eBook
19
Pubblicazione 2006
Sommario: ... QUENCHING -- PARALLEL FEM ANALYSIS OF HIGH FREQUENCY ELECTROMAGNETIC WAVE IN AN ENVIRONMENT -- AND Ta ATOMS...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... with Submodular Utility Functions -- An Auction-Based Market Equilibrium Algorithm for a Production Model -- New...
Testo
Elettronico eBook