Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
processing programs » processing programmed, processing problems, processing products
computer processing » computer programming
integrals computer » integrate computer, integrated computer, integrals chapter
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
processing programs » processing programmed, processing problems, processing products
computer processing » computer programming
integrals computer » integrate computer, integrated computer, integrals chapter
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
1
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2007
Aurkibidea:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2005
Aurkibidea:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... Development Teams -- Effects of Pair Programming -- Investigating the Impact of Personality Types...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2005
Aurkibidea:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2014
Aurkibidea:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Testu osoa
Baliabide elektronikoa
eBook
10
Aurkibidea:
“...Software Engineering Challenges -- Software Processes and Process Models -- Project Management...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2010
Aurkibidea:
“... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2013
Aurkibidea:
“... Implementation Selection in the SkePU Skeleton Programming Library -- Automatic Skeleton-Based Compilation...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2010
Aurkibidea:
“... Process Improvement: A Discussion and Strengthening Using the SPI Manifesto -- Integrated Design – A Set...”Testu osoa
Baliabide elektronikoa
eBook
14
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Argitaratua 2013
Aurkibidea:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2006
Aurkibidea:
“... by Action Languages Via Answer Set Programming -- Using Answer Set Programming for the Automatic Compilation...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2014
Aurkibidea:
“... Carlo Automatic Integration with Dynamic Parallelism in CUDA -- GPU-Accelerated computation routines...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2007
Aurkibidea:
“... -- Sensoria Process Calculi for Service-Oriented Computing -- Global Grids – Making a Case for Self...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2006
Aurkibidea:
“... Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Testu osoa
Baliabide elektronikoa
eBook