Torthaí Cuardaigh - program communication https foundational java https

1

le Schutta, Nathaniel., Schutta, Nathaniel., Asleson, Ryan.
Foilsithe 2006

Clár Ábhair: “...Introducing Ajax -- Using the XMLHttpRequest Object -- Communicating with the Server: Sending...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

2

Beginning Java 7

le Friesen, Jeff., Friesen, Jeff.
Foilsithe 2011

Ábhair: “...Java (Computer program language)....”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

3

Foundations of Security Analysis and Design FOSAD 2006/2007 Turtorial Lectures /

Foilsithe 2007

Clár Ábhair: “...Foundations of Security Analysis and Design -- Security Protocols: Principles and Calculi -- Secure...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

4

ECOOP 2010 -- Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010, Proceedings /

Foilsithe 2010

Clár Ábhair: “... -- Automatically Extracting Class Diagrams from Spreadsheets -- Theoretical Foundations of Programming Languages...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

5

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

6

ECOOP 2008 - Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

7

Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... for Non-Block-Structured Lock Primitives and Mutable References -- Reasoning about Java’s Reentrant Locks...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

8

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Foilsithe 2010

Clár Ábhair: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

9

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Foilsithe 2006

Clár Ábhair: “... -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

10

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /

Foilsithe 2008

Clár Ábhair: “... Communicating State Machines -- Modeling and Model Checking Software Product Lines -- Semantic Foundations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

11

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Foilsithe 2008

Clár Ábhair: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

12

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Foilsithe 2010

Clár Ábhair: “... to SAT-Based Approaches for Bit-Vectors -- Satisfiability Modulo the Theory of Costs: Foundations...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

13

Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers /

Foilsithe 2008

Clár Ábhair: “... to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

14

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Foilsithe 2008

Clár Ábhair: “... the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

15

Software Engineering Techniques: Design for Quality

Foilsithe 2007

Clár Ábhair: “... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

16

Enterprise Systems Integration A Process-Oriented Approach /

le Ferreira, Diogo R., Ferreira, Diogo R.
Foilsithe 2013

Ábhair: “...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

17

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Foilsithe 2014

Clár Ábhair: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

18

Multiagent System Technologies 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014, Proceedings /

Foilsithe 2014

Clár Ábhair: “... Environments -- Programming BDI Agents with Pure Java -- AGADE: How Individual Guidance Leads to Group...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

19

Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004, Proceedings /

Foilsithe 2005

Clár Ábhair: “...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

20

Advances in Hybrid Information Technology First International Conference, ICHIT 2006, Jeju Island, Korea, November 9-11, 2006, Revised Selected Papers /

Foilsithe 2007

Clár Ábhair: “... Templates for Information Systems: Foundations and Perspectives -- Reduction Based Symbolic Value Partition...”
Faigh an téacs iomlán

Leictreonach ríomhLeabhar

Cuardach Cúng