Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
developing computers » developing computer, developing competent, developing competence
programming method » programming methods, programming methodology
https developing » hits developing, steps developing, crops developing
computers https » computing https, computers gtt, computers help
method https » methods https
developing computers » developing computer, developing competent, developing competence
programming method » programming methods, programming methodology
https developing » hits developing, steps developing, crops developing
computers https » computing https, computers gtt, computers help
method https » methods https
1
Aurkibidea:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2008
Aurkibidea:
“... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”Testu osoa
Baliabide elektronikoa
eBook
4
5
Argitaratua 2005
Aurkibidea:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2007
Aurkibidea:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Testu osoa
Baliabide elektronikoa
eBook
7
Aurkibidea:
“...-infinite Domains -- Method of Lines for Parabolic Partial Differential Equations -- Method of Lines...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2005
Aurkibidea:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2012
Aurkibidea:
“...Part I Computational Statistics -- Part II Statistical Computing -- Part III Statistical...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2014
Aurkibidea:
“...Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2015
Aurkibidea:
“... in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2014
Aurkibidea:
“...Developments in Concurrent Kleene Algebra (Invited Talk) -- Endowing Concurrent Kleene Algebra...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2008
Aurkibidea:
“... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Testu osoa
Baliabide elektronikoa
eBook
16
Gaiak:
“...Computer Graphics. https://scigraph.springernature.com/ontologies/product-market-codes/I22013...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2015
Gaiak:
“...Programming languages (Electronic computers)....”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2007
Aurkibidea:
“...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2012
Aurkibidea:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Gaiak:
“...Programming languages (Electronic computers)....”Testu osoa
Baliabide elektronikoa
eBook