1
Table of Contents: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... with Datalog -- Magically Constraining the Inverse Method Using Dynamic Polarity Assignment -- Lazy Abstraction...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...
View full text
Electronic eBook
4
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...
View full text
Electronic eBook
10
Table of Contents: ... -- Iteration Structures -- Objects: Revisited -- Strings -- Arrays -- Recursion -- Objects: Inheritance...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Development of Improved Strains and Optimization of Fermentation Processes -- Experimental Design...
View full text
Electronic eBook
12
Published 2011
Table of Contents: ... and Adjustment of Social Accounting Matrix (SAM) -- Research on Testing Methods of I-V Characteristics of Solar...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...
View full text
Electronic eBook
14
Published 2012
Table of Contents: ... Sequential Data Mining Method for Modelling Solar Magnetic Cycles -- Steady-State Visually Evoked Potential...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...
View full text
Electronic eBook
16
by Brooks, David R., Brooks, David R.
Published 2011
Table of Contents: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Sharing Management Method across Multi-Clusters -- PDB: A Reliability-Driven Data Reconstruction Strategy...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Sharing Management Method across Multi-Clusters -- PDB: A Reliability-Driven Data Reconstruction Strategy...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
View full text
Electronic eBook