Sökresultat - constructive computing programming types concepts a

Menade du:
constructive computing » construction computing , constructive computation , constructive community
computing programming » computer programming , computers programming
programming types » programming tools , programming today , programming two
types concepts » trees concepts , tubes concepts , states concepts
concepts a » concepts _

Programming Language Concepts

av Sestoft, Peter., Sestoft, Peter.
Publicerad 2012

Innehållsförteckning: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Hämta fulltext

Elektronisk E-bok

A Beginner's Guide to Scala, Object Orientation and Functional Programming

av Hunt, John., Hunt, John.
Publicerad 2014

Innehållsförteckning: “... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Hämta fulltext

Elektronisk E-bok

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
Hämta fulltext

Elektronisk E-bok

Guide to Fortran 2008 Programming

av Brainerd, Walter S., Brainerd, Walter S.
Publicerad 2015

Innehållsförteckning: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Hämta fulltext

Elektronisk E-bok

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Hämta fulltext

Elektronisk E-bok

Introduction to C++ Programming and Graphics

av Pozrikidis, Constantine., Pozrikidis, Constantine.
Publicerad 2007

Innehållsförteckning: “...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...”
Hämta fulltext

Elektronisk E-bok

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

Publicerad 2006

Innehållsförteckning: “... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”
Hämta fulltext

Elektronisk E-bok

A Computational Model of Natural Language Communication Interpretation, Inference, and Production in Database Semantics /

av Hausser, Roland R., Hausser, Roland R.
Publicerad 2006

Innehållsförteckning: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
Hämta fulltext

Elektronisk E-bok

Oracle Database 12c PL/SQL programming : design and deploy powerful, database-centric PL/SQL applications /

av McLaughlin, Michael
Publicerad 2014

Ämnen: “...PL/SQL (Computer program language)....”

Bok

Large-Scale Knowledge Resources. Construction and Application Construction and Application - Third...

Publicerad 2008

Innehållsförteckning: “... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”
Hämta fulltext

Elektronisk E-bok

Multimedia Introduction to Programming Using Java

av Gries, David., Gries, David., Gries, Paul.
Publicerad 2005

Innehållsförteckning: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Hämta fulltext

Elektronisk E-bok

Innovations in Computing Sciences and Software Engineering

Publicerad 2010

Innehållsförteckning: “... Communication of Spatial Concepts -- Risk-Based Neuro-Grid Architecture for Multimodal Biometrics -- A SQL...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”
Hämta fulltext

Elektronisk E-bok

Computational Methods

Publicerad 2006

Innehållsförteckning: “... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Hämta fulltext

Elektronisk E-bok

Higher-Order Computability

av Longley, John., Longley, John., Normann, Dag.
Publicerad 2015

Innehållsförteckning: “... of Lambda Algebras -- Kleene Computability in a Total Setting -- Nested Sequential Procedures -- PCF and Its...”
Hämta fulltext

Elektronisk E-bok

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Publicerad 2005

Innehållsförteckning: “... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”
Hämta fulltext

Elektronisk E-bok

Computer Information Systems and Industrial Management 13th IFIP TC 8 International Conference...

Publicerad 2014

Innehållsförteckning: “... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...”
Hämta fulltext

Elektronisk E-bok

Fundamentals of Algebraic Graph Transformation

av Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Publicerad 2006

Innehållsförteckning: “...to Graph Transformation Systems -- General Introduction -- Graphs, Typed Graphs, and the Gluing...”
Hämta fulltext

Elektronisk E-bok

Advances in Computer Science - ASIAN 2004, Higher Level Decision Making 9th Asian Computing Science...

Publicerad 2005

Innehållsförteckning: “... on Register-Constrained Inclusion Scheduling -- Hiord: A Type-Free Higher-Order Logic Programming Language...”
Hämta fulltext

Elektronisk E-bok

1
2
3
4
Nästa »
[4]

Begränsa sökningen