1
Gepubliceerd in 2006
Inhoudsopgave: ... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...
Volledige tekst
Elektronisch E-boek
2
door Bramer, Max., Bramer, Max.
Gepubliceerd in 2005
Inhoudsopgave: ... and Output -- Loops -- Preventing Backtracking -- Changing the Prolog Database -- List Processing -- String...
Volledige tekst
Elektronisch E-boek
3
door Bramer, Max., Bramer, Max.
Gepubliceerd in 2013
Inhoudsopgave: ... Processing -- Strong Processing -- More Advanced Features -- Using Grammar Rules to Analyse English Sentences...
Volledige tekst
Elektronisch E-boek
4
door Klöcker, Philipp., Klöcker, Philipp.
Gepubliceerd in 2015
Onderwerpen: ...Business—Data processing....
Volledige tekst
Elektronisch E-boek
5
Gepubliceerd in 2005
Inhoudsopgave: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Volledige tekst
Elektronisch E-boek
6
Gepubliceerd in 2010
Inhoudsopgave: ... as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming...
Volledige tekst
Elektronisch E-boek
7
door Raynal, Michel., Raynal, Michel.
Gepubliceerd in 2013
Onderwerpen: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Volledige tekst
Elektronisch E-boek
8
Inhoudsopgave: ...: Organizing an After-School Program -- Chapter 2: The Group-Centered Approach -- Chapter 3: Combining Learning...
Volledige tekst
Elektronisch E-boek
9
door Nkwake, Apollo M., Nkwake, Apollo M.
Gepubliceerd in 2013
Onderwerpen: ...Organizational Studies, Economic Sociology. https://scigraph.springernature.com/ontologies/product...
Volledige tekst
Elektronisch E-boek
10
Gepubliceerd in 2007
Inhoudsopgave: ... -- Answer-Set Programming Based Dynamic User Modeling for Recommender Systems -- Application of Logic...
Volledige tekst
Elektronisch E-boek
11
door Müller-Olm, Markus., Müller-Olm, Markus.
Gepubliceerd in 2006
Inhoudsopgave: ...-atomic Scenario -- 10. Conclusion -- A. A Primer on Constraint-Based Program Analysis....
Volledige tekst
Elektronisch E-boek
12
Gepubliceerd in 2010
Inhoudsopgave: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
Volledige tekst
Elektronisch E-boek
13
door Streib, James T., Streib, James T., Soma, Takako.
Gepubliceerd in 2014
Onderwerpen: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
Volledige tekst
Elektronisch E-boek
14
Gepubliceerd in 2015
Inhoudsopgave: ... -- Including Emotion in Learning Process -- Ambient Intelligence: Experiments on Sustainability Awareness...
Volledige tekst
Elektronisch E-boek
15
Gepubliceerd in 2010
Inhoudsopgave: ... Processing -- Translating from Complex to Simplified Sentences -- Challenging Choices for Text Simplification...
Volledige tekst
Elektronisch E-boek
16
Gepubliceerd in 2010
Inhoudsopgave: ... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...
Volledige tekst
Elektronisch E-boek
17
Gepubliceerd in 2006
Inhoudsopgave: ... Progress -- Investigating Suitability of Software Process and Metrics for Statistical Process Control...
Volledige tekst
Elektronisch E-boek
18
door Anthony, Greg., Anthony, Greg.
Gepubliceerd in 2012
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
19
door Anthony, Greg., Anthony, Greg.
Gepubliceerd in 2005
Onderwerpen: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Volledige tekst
Elektronisch E-boek
20
Gepubliceerd in 2006
Inhoudsopgave: ... Translucency Using Dynamic Programming -- A Method for Detection and Modeling of the Human Spine Based...
Volledige tekst
Elektronisch E-boek