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