1
door Lee, Kent D., Lee, Kent D.
Gepubliceerd in 2008
Inhoudsopgave: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2015
Inhoudsopgave: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2007
Inhoudsopgave: ...Invited Lectures -- Ushering in a New Era of Algorithm Design -- A “proof-reading” of Some Issues...
Volledige tekst
Elektronisch E-boek
4
door Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Gepubliceerd in 2012
Inhoudsopgave: ... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2006
Inhoudsopgave: ... and References -- Proof Abstraction for Imperative Languages -- Reading, Writing and Relations -- Session 3 -- A...
Volledige tekst
Elektronisch E-boek
6
door Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Gepubliceerd in 2005
Inhoudsopgave: ...An Introduction to Reconfigurable Computing. What is RC? RC Architectures. How did RC originate...
Volledige tekst
Elektronisch E-boek
7
Gepubliceerd in 2006
Inhoudsopgave: ...-Based Analysis of Global Function Computation -- Checking a Multithreaded Algorithm with ?+?CAL...
Volledige tekst
Elektronisch E-boek
8
door Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Gepubliceerd in 2015
Inhoudsopgave: ...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...
Volledige tekst
Elektronisch E-boek
9
door Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
Gepubliceerd in 2010
Inhoudsopgave: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
Volledige tekst
Elektronisch E-boek
10
Inhoudsopgave: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
Volledige tekst
Elektronisch E-boek
11
Inhoudsopgave: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
Volledige tekst
Elektronisch E-boek
12
Inhoudsopgave: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Volledige tekst
Elektronisch E-boek
13
Inhoudsopgave: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
Volledige tekst
Elektronisch E-boek
14
Inhoudsopgave: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
Volledige tekst
Elektronisch E-boek
15
door Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Gepubliceerd in 2006
Inhoudsopgave: ...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...
Volledige tekst
Elektronisch E-boek
16
door Moller, Faron., Moller, Faron., Struth, Georg.
Gepubliceerd in 2013
Inhoudsopgave: ...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2006
Inhoudsopgave: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
Volledige tekst
Elektronisch E-boek
18
Gepubliceerd in 2014
Inhoudsopgave: ... Functions and Read-Once Functions -- Subshifts, MSO Logic, and Collapsing Hierarchies -- Fast...
Volledige tekst
Elektronisch E-boek
19
Gepubliceerd in 2010
Inhoudsopgave: ... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...
Volledige tekst
Elektronisch E-boek
20
door King, Alan J., King, Alan J., Wallace, Stein W.
Gepubliceerd in 2012
Inhoudsopgave: ...Uncertainty in Optimization.-Modeling Feasibility and Dynamics.-Modeling the Objective Function...
Volledige tekst
Elektronisch E-boek