Search Results - program function https functioning mode https

Search alternatives:
https functioning » status functioning , its functioning , high functioning
program function » programme function , programs functional , program foundation
functioning mode » functioning some , functioning among , functioning d
function https » functions https , fiction https
mode https » models https , body https

Journal of functional programming

Subjects: “...Functional programming (Computer science) Periodicals....”
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago

Electronic Journal

Bio-Farms for Nutraceuticals Functional Food and Safety Control by Biosensors /

Published 2010

Table of Contents: “...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”
View full text

Electronic eBook

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

Published 2008

Table of Contents: “... -- An Experiment in Robot Discovery with ILP -- Using the Bottom Clause and Mode Declarations on FOL Theory...”
View full text

Electronic eBook

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
View full text

Electronic eBook

Genetic Programming Theory and Practice X

Published 2013

Table of Contents: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
View full text

Electronic eBook

Genetic Programming Theory and Practice XI

Published 2014

Table of Contents: “... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”
View full text

Electronic eBook

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...”
View full text

Electronic eBook

House Rating Schemes From Energy to Comfort Base /

by Kordjamshidi, Maria., Kordjamshidi, Maria.
Published 2011

Subjects: “...Building Types and Functions. https://scigraph.springernature.com/ontologies/product-market-codes/K...”
View full text

Electronic eBook

JavaScript for Absolute Beginners

by McNavage, Terry., McNavage, Terry.
Published 2010

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Published 2010

Table of Contents: “... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...”
View full text

Electronic eBook

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Published 2010

Table of Contents: “... and Analyzing Centralized-Mode Architectural Connection -- Naive Architecting - Understanding the Reasoning...”
View full text

Electronic eBook

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Published 2014

Table of Contents: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
View full text

Electronic eBook

Beginning GIMP From Novice to Professional /

by Peck, Akkana., Peck, Akkana.
Published 2006

Table of Contents: “... and Touching Up -- Filters and Effects -- Color Manipulation, Channels, and Layer Modes -- Advanced Drawing...”
View full text

Electronic eBook

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings /

Published 2014

Table of Contents: “... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”
View full text

Electronic eBook

Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers /

Published 2008

Table of Contents: “... Applications -- Tuning Local Search by Average-Reward Reinforcement Learning -- Evolution of Fitness Functions...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
View full text

Electronic eBook

Unboxing Android USB A hands on approach with real world examples /

by Regupathy, Rajaram., Regupathy, Rajaram.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers /

Published 2008

Table of Contents: “... Hash Function Designs -- The Hash Function Family LAKE -- SWIFFT: A Modest Proposal for FFT Hashing...”
View full text

Electronic eBook

The Robosapien Companion Tips, Tricks, and Hacks /

by Samans, James., Samans, James.
Published 2005

Table of Contents: “... and Walking Your Robosapien -- Robosapien Commands -- Programming Your Robosapien -- Program Modes -- Advanced...”
View full text

Electronic eBook

Narrow Search