Результаты поиска - information computation concurrent programming ((array string) OR (array processing))

Альтернативы поиска:
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 /

Опубликовано 2005

Оглавление: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2010

Оглавление: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2007

Оглавление: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... Frontier of Computer Science -- Session III A: Information Security -- Cryptanalysis of “Wavelet Tree...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2013

Оглавление: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2013

Оглавление: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2008

Оглавление: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
Полный текст

Электронный ресурс eКнига

Thinking in Java /

по Eckel, Bruce.
Опубликовано 2006

Оглавление: “... -- Holding your objects -- Error handling with exceptions -- Strings -- Type information -- Generics...”
Table of contents

‌

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

Опубликовано 2010

Оглавление: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Полный текст

Электронный ресурс eКнига

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

Опубликовано 2005

Оглавление: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
Полный текст

Электронный ресурс eКнига

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...

Опубликовано 2015

Оглавление: “... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
Полный текст

Электронный ресурс eКнига

Сужение результатов поиска