1
Published 2010
Table of Contents: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
View full text
Electronic eBook
2
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
View full text
Electronic eBook
5
by Jalote, Pankaj., Jalote, Pankaj.
Published 2005
Table of Contents: ... -- Rish Management -- Structured Design Methodology -- Object-Oriented Design and Design Methodology...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
View full text
Electronic eBook
10
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
11
Published 2007
Table of Contents: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...
View full text
Electronic eBook
13
by Grout, Ian A., Grout, Ian A.
Published 2006
Table of Contents: ...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... and Decision Making -- Aggregation of Quasiconcave Functions -- Choquet Integral Models with a Constant...
View full text
Electronic eBook
18
by Oller, Sergio., Oller, Sergio.
Published 2014
Table of Contents: ... of viscoplasticity -- Over stress function -- Integration algorithm for the viscoplastic constitutive equation...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Engineering -- Towards an Integrated Approach to Food Engineering: Structure-Function Relationships...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...
View full text
Electronic eBook