Hakutulokset - parallel documentation program functionality functions https

Tarkoititko:
functionality functions » functional functions , functionals function , functionaries function
parallel documentation » marvel documentation , parallel orientation , parallel implementation
documentation program » documentation programme , documentation programming , documentation problems
program functionality » protein functionality , programs functional , supra functionality
functions https » foundations https

Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Julkaistu 2006

Sisällysluettelo: “... Fusion for Data Locality and Parallelism -- A Document-Centered Environment for Haskell -- A Binding...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2010

Sisällysluettelo: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Hae kokoteksti

Elektroninen E-kirja

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Hae kokoteksti

Elektroninen E-kirja

packetC Programming

Tekijä Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Julkaistu 2011

Aiheet: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Hae kokoteksti

Elektroninen E-kirja

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Julkaistu 2006

Sisällysluettelo: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Hae kokoteksti

Elektroninen E-kirja

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Julkaistu 2006

Sisällysluettelo: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Hae kokoteksti

Elektroninen E-kirja

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Programming -- Formalizing a Broader Recursion Coverage in SQL -- A Declarative-Friendly API for Web Document...”
Hae kokoteksti

Elektroninen E-kirja

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings /

Julkaistu 2014

Sisällysluettelo: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Hae kokoteksti

Elektroninen E-kirja

Innovations in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Hae kokoteksti

Elektroninen E-kirja

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Hae kokoteksti

Elektroninen E-kirja

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Julkaistu 2010

Sisällysluettelo: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Hae kokoteksti

Elektroninen E-kirja

Advanced Techniques in Computing Sciences and Software Engineering

Julkaistu 2010

Sisällysluettelo: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Hae kokoteksti

Elektroninen E-kirja

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “... on Method of Web Content Mining for Non-XML Documents -- An Integrated Parallel System for Rock Failure...”
Hae kokoteksti

Elektroninen E-kirja

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Julkaistu 2015

Sisällysluettelo: “... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...”
Hae kokoteksti

Elektroninen E-kirja

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Julkaistu 2005

Sisällysluettelo: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Hae kokoteksti

Elektroninen E-kirja

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2007

Sisällysluettelo: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
Hae kokoteksti

Elektroninen E-kirja

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Julkaistu 2010

Sisällysluettelo: “... Compact Metric Cache -- Estimating the Influence of Documents in IR Systems: A Marked Indexing Approach...”
Hae kokoteksti

Elektroninen E-kirja

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 /

Julkaistu 2014

Sisällysluettelo: “... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”
Hae kokoteksti

Elektroninen E-kirja

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua