1
Indholdsfortegnelse: ...Getting Started -- Parallel Port Basics and Interfacing -- Testing the Parallel Port -- The Object...
Få fuldtekst
Electronisk eBog
2
Udgivet 2007
Indholdsfortegnelse: ... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...
Få fuldtekst
Electronisk eBog
3
af Lee, Wei-Meng., Lee, Wei-Meng.
Udgivet 2006
Indholdsfortegnelse: ...: Solving Sudoku by computer: Programming Sudoku -- Programming tools and languages -- Building the user...
Få fuldtekst
Electronisk eBog
4
Udgivet 2008
Indholdsfortegnelse: ... Robots -- Programming -- A Software Platform for Component Based RT-System Development: OpenRTM-Aist -- A...
Få fuldtekst
Electronisk eBog
5
Indholdsfortegnelse: ...Flash Overview -- Creating Usable and Innovative Experiences -- Interface Designers’ Guide to Color...
Få fuldtekst
Electronisk eBog
6
Udgivet 2010
Indholdsfortegnelse: ... Multiprocessor Robotic Systems -- Robot Programming by Demonstration -- Design Principles of the Component-Based...
Få fuldtekst
Electronisk eBog
7
Udgivet 2012
Indholdsfortegnelse: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
Få fuldtekst
Electronisk eBog
8
Udgivet 2014
Indholdsfortegnelse: ....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...
Få fuldtekst
Electronisk eBog
9
Udgivet 2008
Indholdsfortegnelse: ... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...
Få fuldtekst
Electronisk eBog
10
Udgivet 2007
Indholdsfortegnelse: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Få fuldtekst
Electronisk eBog
11
Udgivet 2012
Indholdsfortegnelse: ... -- Reconceptualizing Bottom-Up Tree Rewriting -- Automated Adaptation of Component Interfaces with Type Based...
Få fuldtekst
Electronisk eBog
12
Udgivet 2014
Indholdsfortegnelse: ... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...
Få fuldtekst
Electronisk eBog
13
Udgivet 2006
Indholdsfortegnelse: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
Få fuldtekst
Electronisk eBog
14
Fag: ...Computer Imaging, Vision, Pattern Recognition and Graphics. https://scigraph.springernature.com...
Få fuldtekst
Electronisk eBog
15
Udgivet 2007
Indholdsfortegnelse: ... User -- Programs and Predicates -- Validity Invariants and Effects -- Non-null References by Default...
Få fuldtekst
Electronisk eBog
16
Udgivet 2006
Indholdsfortegnelse: ... Advantages of Partitioned Global Address Space Languages -- Tutorials -- Using MPI-2: A Problem-Based...
Få fuldtekst
Electronisk eBog
17
Udgivet 2007
Indholdsfortegnelse: ..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...
Få fuldtekst
Electronisk eBog
18
Udgivet 2008
Indholdsfortegnelse: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
Få fuldtekst
Electronisk eBog
19
Udgivet 2005
Indholdsfortegnelse: ... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...
Få fuldtekst
Electronisk eBog
20
Udgivet 2005
Indholdsfortegnelse: ... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...
Få fuldtekst
Electronisk eBog