Canlyniadau Chwilio - interface specification programs problem computing https

1

Interactive Systems. Design Specification, and Verification 12th International Workshop, DSVIS 2005...

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Migratory User Interfaces -- Solving the Mapping Problem in User Interface Design by Seamless Integration...”
Cael y testun llawn

Electronig eLyfr

2

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI...

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”
Cael y testun llawn

Electronig eLyfr

3

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Cyhoeddwyd 2010

Tabl Cynhwysion: “...: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating...”
Cael y testun llawn

Electronig eLyfr

4

Java EE 7 Recipes A Problem-Solution Approach /

gan Juneau, Josh., Juneau, Josh.
Cyhoeddwyd 2013

Pynciau: “...Java (Computer program language)....”
Cael y testun llawn

Electronig eLyfr

5

DNA Computing 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... for Solving an NP-Complete Problem in Nondeterministic Linear Time -- Solutions to Computational Problems...”
Cael y testun llawn

Electronig eLyfr

6

Distributed Computing and Internet Technology 4th International Conference, ICDCIT 2007, Bangalore, India, December, 17-20, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Metadata Model for Domain-Specific Service Registry -- Section 7 - e-Applications -- Globalization from...”
Cael y testun llawn

Electronig eLyfr

7

Computational Social Network Analysis Trends, Tools and Research Advances /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...”
Cael y testun llawn

Electronig eLyfr

8

Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Plenary Talk – I -- Taming the Dynamics of Disributed Data -- DISTRIBUTED COMPUTING -- Data in Your...”
Cael y testun llawn

Electronig eLyfr

9

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Surface Reconstruction -- Finite Sample Bias of Robust Scale Estimators in Computer Vision Problems...”
Cael y testun llawn

Electronig eLyfr

10

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”
Cael y testun llawn

Electronig eLyfr

11

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers /

Cyhoeddwyd 2014

Tabl Cynhwysion: “...Language and Computation.-Characterizing speech genres through the relation between prosody...”
Cael y testun llawn

Electronig eLyfr

12

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Cael y testun llawn

Electronig eLyfr

13

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Cael y testun llawn

Electronig eLyfr

14

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

gan Besnard, Denis., Besnard, Denis., Gacek, Cristina., Jones, Cliff.
Cyhoeddwyd 2006

Tabl Cynhwysion: “... bands in systems structure -- Human Components -- Procedures, programs and their impact on dependability...”
Cael y testun llawn

Electronig eLyfr

15

An Introduction to HTML and JavaScript for Scientists and Engineers /

gan Brooks, David R., Brooks, David R.
Cyhoeddwyd 2007

Pynciau: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
Cael y testun llawn

Electronig eLyfr

16

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- On the Use of Formal Specifications as Part of Running Programs -- Adaptive Replication of Large-Scale Multi...”
Cael y testun llawn

Electronig eLyfr

17

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Keynote Presentations -- The Importance of Both Diagrammatic Conventions and Domain-Specific...”
Cael y testun llawn

Electronig eLyfr

18

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers /

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Extending the Strided Communication Interface in OpenSHMEM -- Exploring OpenSHMEM Model to Program...”
Cael y testun llawn

Electronig eLyfr

19

Trusted Computing for Embedded Systems

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Part I Introduction -- Programming Interfaces for the TPM -- Part II Application-Use cases...”
Cael y testun llawn

Electronig eLyfr

20

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... for Whole Programs in Scratchpad Memory Allocation -- Evolution of NAND Flash Memory Interface -- FCC-SDP: A...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad