Søgeresultater - parallel expressing program functionality function https

Søg alternativer:
functionality function » functionals function , functionaries function , functional functions
program functionality » protein functionality , programs functional , supra functionality
parallel expressing » parasites expressing , parallel processing , parallel exploring
expressing program » expression programs , expressing problem , assessing program
function https » functions https , fiction https

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Udgivet 2008

Indholdsfortegnelse: “... Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined...”
Få fuldtekst

Electronisk eBog

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Udgivet 2010

Indholdsfortegnelse: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Få fuldtekst

Electronisk eBog

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Få fuldtekst

Electronisk eBog

DNA Cloning and Assembly Methods

Udgivet 2014

Indholdsfortegnelse: “... cloning: A Simple and Robust High-Throughput Cloning Method for Protein Expression -- Minimum GC-rich...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Få fuldtekst

Electronisk eBog

packetC Programming

af Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Udgivet 2011

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Få fuldtekst

Electronisk eBog

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

af Sharan, Kishori., Sharan, Kishori.
Udgivet 2014

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Få fuldtekst

Electronisk eBog

Beginning Haskell A Project-Based Approach /

af Serrano Mena, Alejandro., Serrano Mena, Alejandro.
Udgivet 2014

Fag: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...”
Få fuldtekst

Electronisk eBog

The Definitive Guide to Jython Python for the Java Platform /

af Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Udgivet 2010

Indholdsfortegnelse: “... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”
Få fuldtekst

Electronisk eBog

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Udgivet 2015

Indholdsfortegnelse: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Få fuldtekst

Electronisk eBog

Java Closures and Lambda

af Fischer, Robert., Fischer, Robert.
Udgivet 2015

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions -- Computing Must and May...”
Få fuldtekst

Electronisk eBog

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Få fuldtekst

Electronisk eBog

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...”
Få fuldtekst

Electronisk eBog

Theoretical Aspects of Computing - ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
Få fuldtekst

Electronisk eBog

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Udgivet 2015

Indholdsfortegnelse: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Få fuldtekst

Electronisk eBog

1
2
3
4
Næste »
[4]

Indsnæver søgning