Suchergebnisse - ((functions computational) or (function computation)) programming reasoning basic text*

Andere Suchmöglichkeiten:
functions computational » functions computation , directions computational , section computational
programming reasoning » programming learning , programming designing , programming evolving
function computation » function computing , function decomposition , section computational
reasoning basic » reasoning based , reasoning case , reasoning ais
basic text » basic texts

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”
Volltext

Elektronisch E-Book

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Volltext

Elektronisch E-Book

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... and Evaluating Complexity of Textual Case Bases -- Learning Similarity Functions from Qualitative Feedback...”
Volltext

Elektronisch E-Book

Computational Methods

Veröffentlicht 2006

Inhaltsangabe: “... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”
Volltext

Elektronisch E-Book

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”
Volltext

Elektronisch E-Book

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... -- Compositional Reasoning for Pointer Structures -- Progress in Deriving Concurrent Programs: Emphasizing the Role...”
Volltext

Elektronisch E-Book

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /

Veröffentlicht 2006

Inhaltsangabe: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Volltext

Elektronisch E-Book

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Veröffentlicht 2013

Inhaltsangabe: “... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”
Volltext

Elektronisch E-Book

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC...

Veröffentlicht 2005

Inhaltsangabe: “... and Similarity Relations in Pawlak’s Information Systems -- Granular Computing with Shadowed Sets -- Rough Set...”
Volltext

Elektronisch E-Book

An R companion to linear statistical models /

von Hay-Jahans, Christopher.
Veröffentlicht 2012

Schlagworte: “...R (Computer program language)....”

Buch

Hardware Verification with System Verilog An Object-Oriented Framework /

von Mintz, Mike., Mintz, Mike., Ekendahl, Robert.
Veröffentlicht 2007

Inhaltsangabe: “... -- A Layered Approach -- An Open-Source Environment with SystemVerilog -- Teal Basics -- Truss: A...”
Volltext

Elektronisch E-Book

AdvancED DOM Scripting Dynamic Web Design Techniques /

von Sambells, Jeffrey., Sambells, Jeffrey., Gustafson, Aaron.
Veröffentlicht 2007

Schlagworte: “...Computer programming....”
Volltext

Elektronisch E-Book

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Veröffentlicht 2007

Inhaltsangabe: “...-Oriented Design to Requirement -- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic...”
Volltext

Elektronisch E-Book

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”
Volltext

Elektronisch E-Book

Beginning Java 7

von Friesen, Jeff., Friesen, Jeff.
Veröffentlicht 2011

Schlagworte: “...Java (Computer program language)....”
Volltext

Elektronisch E-Book

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Veröffentlicht 2006

Inhaltsangabe: “... Deductive Synthesis of Lisp Programs in the System ALISA -- A Fault-Tolerant Default Logic -- Reasoning...”
Volltext

Elektronisch E-Book

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “...Modular Termination of Basic Narrowing -- Linear-algebraic ?-calculus: higher-order, encodings...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Volltext

Elektronisch E-Book

Decision Procedures An Algorithmic Point of View /

von Kroening, Daniel., Kroening, Daniel., Strichman, Ofer.
Veröffentlicht 2008

Inhaltsangabe: “...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...”
Volltext

Elektronisch E-Book

Suche einschränken