Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming programmed » processing programmed
interactive operation » interactive cooperation, interaction operation, interactive creation
operation programming » operation programme, integration programming, imperative programming
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
programming programmed » processing programmed
interactive operation » interactive cooperation, interaction operation, interactive creation
operation programming » operation programme, integration programming, imperative programming
programmed constructs » programming constructs, programme contract, programmed instructions
constructs https » construction https, constructs loops, constructs arti
1
Argitaratua 2007
Aurkibidea:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Aurkibidea:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Testu osoa
Baliabide elektronikoa
eBook
5
Aurkibidea:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
6
Aurkibidea:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2006
Aurkibidea:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2012
Aurkibidea:
“...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”Testu osoa
Baliabide elektronikoa
eBook
11
Aurkibidea:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
13
Aurkibidea:
“... Basic 2005 Applications -- Visual Basic 2005 Language Fundamentals -- VB 2005 Programming Constructs...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
14
Aurkibidea:
“...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
15
Aurkibidea:
“...# Programming Language -- C# Language Fundamentals -- Object-Oriented Programming with C# 2.0 -- Understanding...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
nork Besley, Kristian., Besley, Kristian., Bhangal, Sham., Dolecki, Eric., Powers, David.
Argitaratua 2006
Aurkibidea:
“...Interactive Flash -- Making Plans -- Movies that Remember -- Movies that Decide for Themselves...”Argitaratua 2006
Testu osoa
Baliabide elektronikoa
eBook
17
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
18
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2015
Aurkibidea:
“... Cars -- Robot: Multi-use Tool and Ethical Agent -- Towards Human--Robot Interaction Ethics -- Shall I...”Testu osoa
Baliabide elektronikoa
eBook
20
Aurkibidea:
“...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook