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