Rezultati - constructive ((computation programming) or (computing programming)) from concept

1

od Sestoft, Peter., Sestoft, Peter.
Izdano 2012

Kazalo: “...Preface -- Introduction -- Interpreters and Compilers -- From Concrete Syntax to Abstract Syntax...”
Polni tekst

Elektronski eKnjiga

2

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

Izdano 2010

Kazalo: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Polni tekst

Elektronski eKnjiga

3

Drawing Programs: The Theory and Practice of Schematic Functional Programming

od Addis, Tom., Addis, Tom., Addis, Jan.
Izdano 2010

Kazalo: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Polni tekst

Elektronski eKnjiga

4

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers /

Izdano 2013

Kazalo: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
Polni tekst

Elektronski eKnjiga

5

Graph-Theoretic Concepts in Computer Science 38th International Workshop, WG 2012, Jerusalem, Israel, June 26-28, 2012, Revised Selcted Papers /

Izdano 2012

Kazalo: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Polni tekst

Elektronski eKnjiga

6

Guide to Scientific Computing in C++

od Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Izdano 2012

Kazalo: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Polni tekst

Elektronski eKnjiga

7

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Izdano 2010

Kazalo: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
Polni tekst

Elektronski eKnjiga

8

History of Computing: Learning from the Past IFIP WG 9.7 International Conference, HC 2010, Held...

Izdano 2010

Kazalo: “... in Computer Education -- Existence Precedes Essence - Meaning of the Stored-Program Concept -- Recession...”
Polni tekst

Elektronski eKnjiga

9

Guide to Fortran 2008 Programming

od Brainerd, Walter S., Brainerd, Walter S.
Izdano 2015

Kazalo: “...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...”
Polni tekst

Elektronski eKnjiga

10

Concurrent Programming: Algorithms, Principles, and Foundations

od Raynal, Michel., Raynal, Michel.
Izdano 2013

Kazalo: “...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...”
Polni tekst

Elektronski eKnjiga

11

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

od McLaughlin, Michael
Izdano 2014

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

Knjiga

12

Multimedia Introduction to Programming Using Java

od Gries, David., Gries, David., Gries, Paul.
Izdano 2005

Kazalo: “...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Polni tekst

Elektronski eKnjiga

13

Innovations in Computing Sciences and Software Engineering

Izdano 2010

Kazalo: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
Polni tekst

Elektronski eKnjiga

14

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal...

Izdano 2008

Kazalo: “... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”
Polni tekst

Elektronski eKnjiga

15

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

Izdano 2008

Kazalo: “... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”
Polni tekst

Elektronski eKnjiga

16

VEE Pro: Practical Graphical Programming

od Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Izdano 2005

Kazalo: “...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Polni tekst

Elektronski eKnjiga

17

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /

od Gamatié, Abdoulaye., Gamatié, Abdoulaye.
Izdano 2010

Kazalo: “... Programming: Overview -- Elementary concepts and notations of SIGNAL -- Basics: Signals and Relations...”
Polni tekst

Elektronski eKnjiga

18

Transactions on Computational Science II

Izdano 2008

Kazalo: “... Denotational Mathematics for Computational Intelligence -- Mereological Theories of Concepts in Granular...”
Polni tekst

Elektronski eKnjiga

19

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

Izdano 2006

Kazalo: “... for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics...”
Polni tekst

Elektronski eKnjiga

20

Slicing aspect-oriented program using aspect- oriented dependence flow graph for software maintenance

od Ahmad, Syarbaini
Izdano 2016

Teme: “...Debugging in computer science - Computer programs...”
Polni tekst

Thesis

Zoži iskanje