Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming constructs » programming concepts, programming contest
program programming » programs programming, programmer programming, pram programming
integrals computer » integrate computer, integrated computer, integrals chapter
constructs loops » constructs lists, constructs coders, constructs core
programming constructs » programming concepts, programming contest
program programming » programs programming, programmer programming, pram programming
integrals computer » integrate computer, integrated computer, integrals chapter
constructs loops » constructs lists, constructs coders, constructs core
1
Argitaratua 2013
Aurkibidea:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Testu osoa
Baliabide elektronikoa
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Argitaratua 2013
Aurkibidea:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”Testu osoa
Baliabide elektronikoa
eBook
4
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Argitaratua 2006
Aurkibidea:
“... Cycles for Security Protocols -- Automating Verification of Loops by Parallelization -- On Computing...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2013
Aurkibidea:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2014
Aurkibidea:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2007
Aurkibidea:
“... Solving -- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2005
Aurkibidea:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2010
Aurkibidea:
“...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2014
Aurkibidea:
“...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2014
Aurkibidea:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Testu osoa
Baliabide elektronikoa
eBook
13
Aurkibidea:
“... -- Networking & WCF -- Time & Dates -- Serialization -- Parallel Programming -- Asynchronous Methods...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2014
Aurkibidea:
“... of &-Deazaadenosines as Anticancer Agents -- 7. More than an African-American Facilitator and a Prayer: Integrating...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2012
Aurkibidea:
“... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...”Testu osoa
Baliabide elektronikoa
eBook
16
nork Teh, Jia Yew
Argitaratua 2003
“...Computers can be utilized to control instruments, machines, motors, devices etc. to
automate tasks...”Argitaratua 2003
Testu osoa
Thesis
17
nork Teh, Jia Yew
Argitaratua 2003
“... in front of the automation system! This is achieved by programming the server computer (which...”Argitaratua 2003
Testu osoa
Thesis
18
Argitaratua 2006
Aurkibidea:
“... complex in the case of infinite Morse indices -- 3.1 The program.-3.2 Fredholm pairs and compact...”Testu osoa
Baliabide elektronikoa
eBook