Cuardaigh malartuithe:
program communication » program communicating, pictogram communication, programs communicating
communication https » computation https
https foundational » its foundational, her foundational, hol foundational
foundational java » foundational data, foundational soa, foundational _
1
Clár Ábhair: ...Introducing Ajax -- Using the XMLHttpRequest Object -- Communicating with the Server: Sending...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
le Friesen, Jeff., Friesen, Jeff.
Foilsithe 2011
Ábhair: ...Java (Computer program language)....
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
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
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
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
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
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
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
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
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
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
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
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
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
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
Ábhair: ...Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
17
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
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
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
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