Torthaí Cuardaigh - (programs or program) in mathematical aspects,

1

Mathematical aspects of logic programming semantics /

le Hitzler, Pascal.
Foilsithe 2011

Ábhair: “...Logic programming....”

Leabhar

2

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

Foilsithe 2006

Clár Ábhair: “...Invited Talks -- What Is a Good Process Semantics? -- Refunctionalization at Work -- Aspects...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Formal Methods for Quantitative Aspects of Programming Languages 10th International School...

Foilsithe 2010

Clár Ábhair: “...Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

Economic analysis of farm programs /

le Helmberger, Peter G.
Foilsithe 1991

Ábhair: “...Agriculture Economic aspects United States Mathematical models....”

Leabhar

5

A recursive programming model of traditional agriculture in transition: a case study of Punjab, India /

le Singh, Inderjit, 1941-.
Foilsithe 1986

Ábhair: “...Agriculture India Punjab Economic aspects Mathematical models....”

Thesis Leabhar

6

Trends in Functional Programming 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers /

Foilsithe 2013

Clár Ábhair: “...Various aspects of trends in functional programming -- Combining deep and shallow embedding...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Unconventional Programming Paradigms International Workshop UPP 2004, Le Mont Saint Michel, France...

Foilsithe 2005

Clár Ábhair: “... Software Development -- A Comparison of Program Generation with Aspect-Oriented Programming -- Generative...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Recursive programming models of the farm sector with emphasis on linkages with nonfarm sectors: the Punjab, India /

le Mudahar, Mohinder Singh.
Foilsithe 1986

Ábhair: “...Agriculture Economic aspects India Punjab Mathematical models....”

Thesis Leabhar

9

Mathematics teachers’ preparation program: Determining the balance between contents in mathematics and pedagogy

le Md. Yunus, Aida Suraya, Hamzah, Ramlah, Ismail, Habsah
Foilsithe 2008

“... of mathematics education programs offered, students preparedness to become teachers are revealed based...”
Faigh an téacs iomlán

Article

10

The Boundary Element Method with Programming For Engineers and Scientists /

le Beer, Gernot., Beer, Gernot., Smith, Ian., Duenser, Christian.
Foilsithe 2008

Clár Ábhair: “...Preliminaries -- Programming -- Discretisation and Interpolation -- Material Modelling...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Aspects of Mathematical Modelling Applications in Science, Medicine, Economics and Management /

Foilsithe 2008

Clár Ábhair: “...Mathematical Models of Pattern Formation in Planktonic Predation-Diffusion Systems: A Review...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “...: A Theorem Prover for UTP -- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part...

Foilsithe 2012

Ábhair: “...Computer programming....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /

Foilsithe 2014

Ábhair: “...Mathematical logic....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Approximation Algorithms and Semidefinite Programming

le Gärtner, Bernd., Gärtner, Bernd., Matousek, Jiri.
Foilsithe 2012

Clár Ábhair: “...Part I (by Bernd Gärtner): 1 Introduction: MAXCUT via Semidefinite Programming -- 2 Semidefinite...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

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

Foilsithe 2006

Clár Ábhair: “... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar