Torthaí Cuardaigh - constructive computation programming model concepts

1

Transaction-level modeling with SystemC : TLM concepts and applications for embedded systems /

Foilsithe 2005

Ábhair: “...C (Computer program language)....”

Leabhar

2

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

Foilsithe 2010

Clár Ábhair: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

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

Foilsithe 2012

Clár Ábhair: “...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Principles of the Spin Model Checker

le Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Foilsithe 2008

Clár Ábhair: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference...

Foilsithe 2015

Clár Ábhair: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

Guide to Scientific Computing in C++

le Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Foilsithe 2012

Clár Ábhair: “... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

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

le Hausser, Roland R., Hausser, Roland R.
Foilsithe 2006

Clár Ábhair: “... Structure and Algorithm -- Concept Types and Concept Tokens -- Forms of Thinking -- The Major Constructions...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Foilsithe 2005

Clár Ábhair: “... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

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

Foilsithe 2010

Clár Ábhair: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Use of an Attribute Grammar for Software Process Measurement

le Atan, Rodziah
Foilsithe 2005

Ábhair: “...Programming languages (Electronic computers)...”
Faigh an téacs iomlán

Thesis

12

Drawing Programs: The Theory and Practice of Schematic Functional Programming

le Addis, Tom., Addis, Tom., Addis, Jan.
Foilsithe 2010

Clár Ábhair: “... with Uncertainty: Theories, Models, and Programs -- Appendix I, II and III -- Index....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

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

Foilsithe 2013

Clár Ábhair: “... -- Itemset-Based Variable Construction in Multi-relational Supervised Learning -- A Declarative Modeling...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

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

Foilsithe 2006

Clár Ábhair: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Epistemic Complexity and Knowledge Construction Morphogenesis, symbolic dynamics and beyond /

le Carsetti, A., Carsetti, A.
Foilsithe 2013

Clár Ábhair: “... information: the biological computer -- 4. Non-standard models and limitation procedures -- 4. Natural...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Transactions on Petri Nets and Other Models of Concurrency I

Foilsithe 2008

Clár Ábhair: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings /

Foilsithe 2013

Clár Ábhair: “... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

An Introduction to Network Programming with Java

le Graba, Jan., Graba, Jan.
Foilsithe 2007

Clár Ábhair: “...Basic Concepts, Protocols and Terminology -- Starting Network Programming in Java -- Multithreading...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

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

Foilsithe 2008

Clár Ábhair: “... -- On the Representation of Perceptual Knowledge for Understanding Reference Expressions -- A Computational Model of Risk...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng