Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
interactive computer » interfaces computer, internet computer
computer programming » computer program, computer programs
contracts http » contracts act, contracts etc, contracts have
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
interactive computer » interfaces computer, internet computer
computer programming » computer program, computer programs
contracts http » contracts act, contracts etc, contracts have
1
Aurkibidea:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2011
Aurkibidea:
“... Identification Using Genetic Algorithms -- 2. Sequential State Computation Using Discrete Modeling -- 3...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“...-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2006
Aurkibidea:
“... Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2011
Aurkibidea:
“....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2014
Aurkibidea:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2015
Aurkibidea:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2013
Aurkibidea:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2010
Aurkibidea:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“... Impaired PSENs through a Computer Mediated Distance Learning Program....”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2005
Aurkibidea:
“... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“...Interaction and Coordination of Tools for Structured Data -- Modelling Coordination in Biological...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2013
Aurkibidea:
“... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... of Shellable Complexes to Distributed Computing -- Concurrency and Composition in a Stochastic World -- Taming...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- 4
- Hurrengoa »
- [4]