Rezultaty - interfaces computer program problems constructs https

1

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

Wydane 2008

Spis treści: “... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2006

Spis treści: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference...

Wydane 2007

Spis treści: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Computers and Education: Towards Educational Change and Innovation

Wydane 2008

Spis treści: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Integrated Graphic and Computer Modelling

od Thomas, Adrian., Thomas, Adrian.
Wydane 2008

Spis treści: “... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Wydane 2006

Spis treści: “... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Computational Collective Intelligence. Technologies and Applications Second International...

Wydane 2010

Spis treści: “... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Computational Collective Intelligence. Technologies and Applications Second International...

Wydane 2010

Spis treści: “... Based on Knowledge States -- An Ontology-Supported Ubiquitous Interface Agent for Cloud Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Computational Collective Intelligence. Technologies and Applications Second International...

Wydane 2010

Spis treści: “... System Using Collaborative Filtering on Fashion E-Business -- Intelligent Computing for Data Security...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2007

Spis treści: “... Construction for Wireless Sensor Networks -- Overlay Network Management for Scheduling Tasks on the Grid...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Educational Interfaces between Mathematics and Industry Report on an ICMI-ICIAM-Study /

Wydane 2013

Spis treści: “... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Wydane 2008

Spis treści: “... Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

jQuery 2 Recipes A Problem-Solution Approach /

od Pande, Arun., Pande, Arun.
Wydane 2014

Hasła przedmiotowe: “...Computer programming....”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Bayesian Computation with R

od Albert, Jim., Albert, Jim.
Wydane 2007

Spis treści: “... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2007

Spis treści: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Innovations in Computing Sciences and Software Engineering

Wydane 2010

Spis treści: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings /

Wydane 2006

Spis treści: “... Environments -- Session 3: Peer-to-Peer Computing -- The Peering Problem in Tree-Based Master/Worker Overlays...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Wydane 2007

Spis treści: “... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings /

Wydane 2013

Spis treści: “... Experiences of Visual and Textual Programming -- Enabling end users to create, annotate and share personal...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Wydane 2008

Spis treści: “... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty