Arama Sonuçları - information computational concurrent programming ((array string) OR (array processing))

Şunu mu demek istediniz:
information computational » informatics computational , bioinformatics computational , introduction computational
computational concurrent » computation concurrent , computational concept , computational concerns
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 /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of Workflows over Web Services and Their Handheld-Based Execution -- Distributed Computing Track Papers...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... with Webcom -- Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers -- Maximum...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Frontier of Computer Science -- Session III A: Information Security -- Cryptanalysis of “Wavelet Tree...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “... Computing Systems -- Is Sensor Deployment using Gaussian Distribution Energy Balanced -- Shedder: a Metadata...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”
Tam Metin Erişim

Elektronik Ekitap

Thinking in Java /

Yazar: Eckel, Bruce.
Baskı/Yayın Bilgisi 2006

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

Kitap

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “...: An Algorithm for Generating Rule Bases Without Closure Computations -- Text Processing and Classification...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2015

İçindekiler: “... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt