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