Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
developing computer » development computer, developing competent, developing complex
https developing » hits developing, steps developing, crops developing
computer https » computers https, computing https, computer arts
program based » programs based, gram based, programming based
based https » based http
developing computer » development computer, developing competent, developing complex
https developing » hits developing, steps developing, crops developing
computer https » computers https, computing https, computer arts
program based » programs based, gram based, programming based
based https » based http
1
Argitaratua 2014
Aurkibidea:
“... -- Security -- Certification -- Applications and tools -- Program/model manipulation -- Transformation...”Testu osoa
Baliabide elektronikoa
eBook
2
Aurkibidea:
“... of Commercial Systems -- Diagrams for Event-Based Systems -- Signal Wiring Diagrams -- The Mechanics of Event...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2005
Aurkibidea:
“... Unfolding with Ancestor Stacks for Full Prolog -- Program Development -- Schema-Guided Synthesis...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2015
Aurkibidea:
“...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2015
Aurkibidea:
“...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”Testu osoa
Baliabide elektronikoa
eBook
7
Aurkibidea:
“... Lifecycle -- A Model-Driven View to Meta-Program Development Process -- Cognitive Insights into Feature...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“...The JADE Platform and Experiences with Mobile MAS Applications -- A-globe: Agent Development...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2005
Aurkibidea:
“...Component-Based Software Development for Embedded Systems – An Introduction -- Component-Based...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2006
Aurkibidea:
“... Approach Towards Combining Aspect-Oriented and Component-Based Software Development -- Designing Software...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2007
Aurkibidea:
“... Adaptation of Aspect-Oriented Components -- Component Based Game Development – A Solution to Escalating Costs...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2005
Aurkibidea:
“... -- Experience with Component-Based Development of a Telecommunication Service -- Reusable Dialog Component...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“...Component-Based Embedded Systems -- Reliability Analysis of Component-Based Systems with Multiple...”Testu osoa
Baliabide elektronikoa
eBook
16
nork Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Argitaratua 2011
Aurkibidea:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”Argitaratua 2011
Testu osoa
Baliabide elektronikoa
eBook
17
Aurkibidea:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2010
Aurkibidea:
“... Programming for Portfolio Selection -- A Hypervolume-Based Optimizer for High-Dimensional Objective Spaces...”Testu osoa
Baliabide elektronikoa
eBook
19
Aurkibidea:
“...: Solving Sudoku by computer: Programming Sudoku -- Programming tools and languages -- Building the user...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
20
Aurkibidea:
“... Spectrum Disorders, Intervention Research, and Considerations in Developing an ASD Program -- Autism...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook