Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
integrated computer » integration computer, integrated computing, interfaces computer
program interactive » programmed interactive, programs integrative, programs interaction
computer programs » computer program
interactive https » interaction https, interactions https, interactive hip
programs program » programming program
integrated computer » integration computer, integrated computing, interfaces computer
program interactive » programmed interactive, programs integrative, programs interaction
computer programs » computer program
interactive https » interaction https, interactions https, interactive hip
programs program » programming program
1
Sisällysluettelo:
“...Computer modeling of chromosomes: A new approach for genetics education -- Chromosome techniques...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2014
Sisällysluettelo:
“...Call-Based Dynamic Programming for the Precedence Constrained Line Traveling Salesman -- Stable...”Hae kokoteksti
Elektroninen
E-kirja
3
Aiheet:
“...Legal Aspects of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
4
Sisällysluettelo:
“...Introduction -- Specifying Syntax -- Object-Oriented Programming with C++ -- Object-Oriented...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2008
Sisällysluettelo:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2005
Sisällysluettelo:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2012
Sisällysluettelo:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2010
Sisällysluettelo:
“...Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2015
Sisällysluettelo:
“... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”Hae kokoteksti
Elektroninen
E-kirja
11
Sisällysluettelo:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2013
Sisällysluettelo:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Hae kokoteksti
Elektroninen
E-kirja
13
Sisällysluettelo:
“... Concepts -- Introduction -- Basics of Object-Oriented Programming -- Relationships Between Classes...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2012
Sisällysluettelo:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2014
Sisällysluettelo:
“... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...”Hae kokoteksti
Elektroninen
E-kirja
16
Sisällysluettelo:
“... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2013
Sisällysluettelo:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2008
Sisällysluettelo:
“... Immutability -- Computing Stack Maps with Interfaces -- How Do Java Programs Use Inheritance? An Empirical...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2006
Sisällysluettelo:
“...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2014
Sisällysluettelo:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”Hae kokoteksti
Elektroninen
E-kirja