Søgeresultater - constructive action programming function functions 3*

Søg alternativer:
programming function » programming functional , programming functionals , programme function
constructive action » constructive function , constructive education , constructive induction
action programming » actions programming , edition programming , notions programming
function functions » functions functions , function function , junction functions

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Få fuldtekst

Electronisk eBog

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”
Få fuldtekst

Electronisk eBog

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Udgivet 2014

Indholdsfortegnelse: “...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”
Få fuldtekst

Electronisk eBog

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set...”
Få fuldtekst

Electronisk eBog

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Udgivet 2008

Indholdsfortegnelse: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Få fuldtekst

Electronisk eBog

The Essential Guide to Flex 3

af Brown, Charles., Brown, Charles.
Udgivet 2008

Indholdsfortegnelse: “...Flex Basics -- Flex and Flex Builder 3 -- Actionscript -- Containers -- Events and Components...”
Få fuldtekst

Electronisk eBog

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...”
Få fuldtekst

Electronisk eBog

Fast Track to MDX

af Whitehorn, Mark., Whitehorn, Mark., Zare, Robert., Pasumansky, Mosha.
Udgivet 2006

Indholdsfortegnelse: “... techniques -- Actions -- Server side color coding -- More about querying....”
Få fuldtekst

Electronisk eBog

Sustainable Retail Development New Success Strategies /

af Yudelson, Jerry., Yudelson, Jerry.
Udgivet 2010

Indholdsfortegnelse: “... -- Marketing Sustainable Retail Development -- Sustainable Retail Organizations -- The Ten-Point Program...”
Få fuldtekst

Electronisk eBog

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... the Behaviour of Radial Basis Function Networks in Regression and Classification of Geospatial Data -- A...”
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: “..., and Compliant Action -- Keynote -- Modelling Coordination and Compensation -- Tools and Applications...”
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: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Få fuldtekst

Electronisk eBog

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...”
Få fuldtekst

Electronisk eBog

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “... for Stable Models with Partial Intensional Functions -- Constructive Models for Contraction with Intransitive...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”
Få fuldtekst

Electronisk eBog

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Få fuldtekst

Electronisk eBog

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Using Genetic Programming Algorithms on GPUs -- Analysis of the Effectiveness of G3PARM Algorithm...”
Få fuldtekst

Electronisk eBog

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Pr...

Udgivet 2008

Indholdsfortegnelse: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Få fuldtekst

Electronisk eBog

Theoretical Aspects of Computing -- ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
Få fuldtekst

Electronisk eBog

Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Actions -- A Formal Semantics of UML StateCharts by Means of Timed Petri Nets -- A Hierarchy...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning