Hakutulokset - parallel source programming functionality function https

Tarkoititko:
programming functionality » programming functional , programming functionals , program functionality
functionality function » functionals function , functionaries function , functional functions
source programming » resources programming , secure programming , core programming
parallel source » parallel resources , parallel search , parallel sparse
function https » functions https , fiction https

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Julkaistu 2011

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Julkaistu 2013

Sisällysluettelo: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Hae kokoteksti

Elektroninen E-kirja

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Julkaistu 2010

Sisällysluettelo: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Hae kokoteksti

Elektroninen E-kirja

Euro-Par 2009, Parallel Processing - Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Workshops /

Julkaistu 2010

Sisällysluettelo: “...? -- Distance Constrained Mapping to Support NoC Platforms Based on Source Routing -- Parallel Variable-Length...”
Hae kokoteksti

Elektroninen E-kirja

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hae kokoteksti

Elektroninen E-kirja

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Julkaistu 2006

Sisällysluettelo: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Hae kokoteksti

Elektroninen E-kirja

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global...

Julkaistu 2010

Sisällysluettelo: “...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...”
Hae kokoteksti

Elektroninen E-kirja

Beginning R An Introduction to Statistical Programming /

Tekijä Pace, Larry., Pace, Larry., Wiley, Joshua.
Julkaistu 2015

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

Expert F# 4.0

Tekijä Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Julkaistu 2015

Aiheet: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...”
Hae kokoteksti

Elektroninen E-kirja

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Julkaistu 2010

Sisällysluettelo: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hae kokoteksti

Elektroninen E-kirja

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Julkaistu 2005

Sisällysluettelo: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Hae kokoteksti

Elektroninen E-kirja

The Definitive Guide to Jython Python for the Java Platform /

Tekijä Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Julkaistu 2010

Sisällysluettelo: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Hae kokoteksti

Elektroninen E-kirja

Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams /

Tekijä Sharan, Kishori., Sharan, Kishori.
Julkaistu 2014

Aiheet: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
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

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

Julkaistu 2015

Sisällysluettelo: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Hae kokoteksti

Elektroninen E-kirja

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Hae kokoteksti

Elektroninen E-kirja

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Julkaistu 2010

Sisällysluettelo: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Hae kokoteksti

Elektroninen E-kirja

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Julkaistu 2014

Sisällysluettelo: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
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

Rajaa hakua