Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
program communication » program communicating, pictogram communication, programs communicating
communication https » computation https
https functional » cots functional, cuts functional, dots functional
functional java » foundational java, functional renal
program communication » program communicating, pictogram communication, programs communicating
communication https » computation https
https functional » cots functional, cuts functional, dots functional
functional java » foundational java, functional renal
1
nork Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Argitaratua 2007
Aurkibidea:
“...Java ME Platform -- Java ME Virtual Machines -- Connected Limited Device Configuration -- Mobile...”Argitaratua 2007
Testu osoa
Baliabide elektronikoa
eBook
2
3
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Argitaratua 2010
Aurkibidea:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2013
Aurkibidea:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2012
Aurkibidea:
“...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”Testu osoa
Baliabide elektronikoa
eBook
9
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Argitaratua 2007
Aurkibidea:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”Testu osoa
Baliabide elektronikoa
eBook
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Argitaratua 2013
Aurkibidea:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Testu osoa
Baliabide elektronikoa
eBook
12
Aurkibidea:
“...The Communication Mechanism of Cognition -- Matters of Method -- Interfaces and Components -- Data...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2005
Aurkibidea:
“... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2006
Aurkibidea:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2013
Aurkibidea:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2010
Aurkibidea:
“... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]