Søgeresultater - ((functions computational) or (structure computational)) programming definitions text text*

Søg alternativer:
functions computational » functions computation , function computation , directions computational
structure computational » structures computational , structure composition
programming definitions » programming decisions , programming defining , reframing definitions
definitions text » definitions best , definitions et , definitions part
text text » text tess

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Få fuldtekst

Electronisk eBog

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers /

Udgivet 2007

Indholdsfortegnelse: “... Behavior: Background, Definition, and Computational Power -- The Calculus of Looping Sequences for Modeling...”
Få fuldtekst

Electronisk eBog

Modelling Computing Systems Mathematics for Computer Science /

af Moller, Faron., Moller, Faron., Struth, Georg.
Udgivet 2013

Indholdsfortegnelse: “... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
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: “... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
Få fuldtekst

Electronisk eBog

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Få fuldtekst

Electronisk eBog

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...”
Få fuldtekst

Electronisk eBog

Embedded and Ubiquitous Computing IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...”
Få fuldtekst

Electronisk eBog

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23 - 25, 2008 Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...”
Få fuldtekst

Electronisk eBog

Advanced Intelligent Computing Theories and Applications With Aspects of Contemporary Intelligent Computing Techniques /

Udgivet 2008

Indholdsfortegnelse: “... Multifractal Formalism: Definition and Implement -- Modified Filled Function Method for Resolving Nonlinear...”
Få fuldtekst

Electronisk eBog

Frontier and Innovation in Future Computing and Communications

Udgivet 2014

Indholdsfortegnelse: “... Calculation Program for Structural Concrete Members Based on a Limit State Design; H.M. Lee, et al -- Novel...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs...”
Få fuldtekst

Electronisk eBog

VEE Pro: Practical Graphical Programming

af Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Udgivet 2005

Indholdsfortegnelse: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Få fuldtekst

Electronisk eBog

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Udgivet 2014

Indholdsfortegnelse: “...: Rethinking the Lean Concept of ‘Waste’ in Modern Software Development -- Examining the Structure of Lean...”
Få fuldtekst

Electronisk eBog

Efficient Secure Two-Party Protocols Techniques and Constructions /

af Hazay, Carmit., Hazay, Carmit., Lindell, Yehuda.
Udgivet 2010

Indholdsfortegnelse: “...and Definitions -- Definitions -- General Constructions -- Semi-honest Adversaries -- Malicious...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Få fuldtekst

Electronisk eBog

Distributed Algorithms for Message-Passing Systems

af Raynal, Michel., Raynal, Michel.
Udgivet 2013

Indholdsfortegnelse: “... -- Chap. 2 Distributed Graph Algorithms -- Chap. 3 An Algorithmic Framework to Compute Global Functions...”
Få fuldtekst

Electronisk eBog