1
di Hunt, John., Hunt, John.
Pubblicazione 2014
Sommario: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Testo
Elettronico eBook
2
Pubblicazione 2014
Sommario: ...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...
Testo
Elettronico eBook
3
di Liu, G.R., Liu, G.R., Gu, Y.T.
Pubblicazione 2005
Sommario: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Testo
Elettronico eBook
4
di Nisio, Makiko., Nisio, Makiko.
Pubblicazione 2015
Soggetti: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Testo
Elettronico eBook
5
Pubblicazione 2015
Sommario: ... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...
Testo
Elettronico eBook
6
Pubblicazione 2015
Sommario: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Testo
Elettronico eBook
7
Pubblicazione 2010
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
8
Pubblicazione 2008
Sommario: ...: An Experiment of Formal Methods -- Correct Channel Passing by Construction -- Semantics -- A Process Semantics...
Testo
Elettronico eBook
9
Pubblicazione 2015
Sommario: ... -- Evolutionary Methods for the Construction of Cryptographic Boolean Functions -- TEMPLAR – A Framework...
Testo
Elettronico eBook
10
Pubblicazione 2013
Sommario: ...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...
Testo
Elettronico eBook
11
di Barker, Philip., Barker, Philip.
Pubblicazione 2007
Sommario: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Testo
Elettronico eBook
12
Pubblicazione 2014
Sommario: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
Testo
Elettronico eBook
13
Pubblicazione 2008
Sommario: ... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...
Testo
Elettronico eBook
14
Pubblicazione 2008
Sommario: ... and Efficiency -- Newton’s Method for ?-Continuous Semirings -- Track B: Logic, Semantics, and Theory...
Testo
Elettronico eBook
15
Pubblicazione 2008
Sommario: ...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...
Testo
Elettronico eBook
16
Pubblicazione 2007
Sommario: ... Scheduling on Unrelated Machines -- Session A2 -- Estimating Sum by Weighted Sampling -- Sampling Methods...
Testo
Elettronico eBook
17
Pubblicazione 2008
Sommario: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Testo
Elettronico eBook
18
Pubblicazione 2006
Sommario: ... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...
Testo
Elettronico eBook
19
Pubblicazione 2010
Sommario: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Testo
Elettronico eBook