Rezultati - information computation concurrent programming ((array string) OR (array processing))*

Poišči alternative:
information computation » information computational , information compilations , formations computation
computation concurrent » compression concurrent , formulation concurrent , simulation concurrent
concurrent programming » constraint programming , concurrent programs
array processing » dairy processing , query processing
array string » array strong , arrays strings , array sharing

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Izdano 2005

Kazalo: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Polni tekst

Elektronski eKnjiga

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Izdano 2010

Kazalo: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Polni tekst

Elektronski eKnjiga

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Izdano 2008

Kazalo: “... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”
Polni tekst

Elektronski eKnjiga

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Izdano 2010

Kazalo: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Polni tekst

Elektronski eKnjiga

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

Izdano 2007

Kazalo: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
Polni tekst

Elektronski eKnjiga

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Izdano 2005

Kazalo: “... Frontier of Computer Science -- Session III A: Information Security -- Cryptanalysis of “Wavelet Tree...”
Polni tekst

Elektronski eKnjiga

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

Izdano 2013

Kazalo: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Polni tekst

Elektronski eKnjiga

Algorithms and Architectures for Parallel Processing 13th International Conference, ICA3PP 2013...

Izdano 2013

Kazalo: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Polni tekst

Elektronski eKnjiga

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Izdano 2005

Kazalo: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Polni tekst

Elektronski eKnjiga

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Izdano 2008

Kazalo: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
Polni tekst

Elektronski eKnjiga

Thinking in Java /

od Eckel, Bruce.
Izdano 2006

Kazalo: “... -- Holding your objects -- Error handling with exceptions -- Strings -- Type information -- Generics...”
Table of contents

Knjiga

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Izdano 2010

Kazalo: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Polni tekst

Elektronski eKnjiga

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Izdano 2005

Kazalo: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
Polni tekst

Elektronski eKnjiga

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Izdano 2015

Kazalo: “... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje