1
Udgivet 2008
Indholdsfortegnelse: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
Få fuldtekst
Electronisk eBog
2
Udgivet 2010
Indholdsfortegnelse: ... Clustering Algorithms -- OpenGL in Multi-User Web-Based Applications -- Testing Task Schedulers on Linux...
Få fuldtekst
Electronisk eBog
3
Indholdsfortegnelse: ...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
Få fuldtekst
Electronisk eBog
5
Udgivet 2012
Indholdsfortegnelse: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Få fuldtekst
Electronisk eBog
6
Udgivet 2008
Indholdsfortegnelse: ... -- Quasi-Static Scheduling of Communicating Tasks -- Strategy Construction for Parity Games with Imperfect...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...
Få fuldtekst
Electronisk eBog
8
Udgivet 2014
Indholdsfortegnelse: ... of Interaction Concepts for Touchless Human-Computer Interaction with Geographic Information Systems...
Få fuldtekst
Electronisk eBog
9
Udgivet 2013
Indholdsfortegnelse: ... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...
Få fuldtekst
Electronisk eBog
10
Udgivet 2008
Indholdsfortegnelse: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
Få fuldtekst
Electronisk eBog
11
Udgivet 2006
Indholdsfortegnelse: ...: Agent.Hospital -- Agent.Hospital — Health Care Applications of Intelligent Agents -- Artificial Software Agents...
Få fuldtekst
Electronisk eBog
12
Udgivet 2013
Indholdsfortegnelse: ... -- Location-Based Games in Informatics Education -- Using Computer Games as Programming Assignments...
Få fuldtekst
Electronisk eBog
13
af Freeman, Adam., Freeman, Adam.
Udgivet 2010
Indholdsfortegnelse: ... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...
Få fuldtekst
Electronisk eBog
14
Udgivet 2015
Indholdsfortegnelse: ... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...
Få fuldtekst
Electronisk eBog
15
Fag: ...Image Processing and Computer Vision. https://scigraph.springernature.com/ontologies/product-market...
Få fuldtekst
Electronisk eBog
16
Udgivet 2012
Indholdsfortegnelse: ... -- Analysis of Alertness Status of Subjects Undergoing the Cortical Auditory Evoked Potential Hearing Test...
Få fuldtekst
Electronisk eBog
17
Udgivet 2007
Indholdsfortegnelse: ..., Measurement and Classification -- An Adaptive Feature Extractor for Gesture SEMG Recognition -- Health Care...
Få fuldtekst
Electronisk eBog
18
Udgivet 2010
Indholdsfortegnelse: ... Selection -- Evaluating the Distance between Two Uncertain Categorical Objects -- Construction Cosine Radial...
Få fuldtekst
Electronisk eBog
19
Udgivet 2008
Indholdsfortegnelse: ...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...
Få fuldtekst
Electronisk eBog