Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programs developing » projects developing, program development, process developing
integration method » integration methods, iteration method, generation method
developing complex » developing people, developing college, developing context
method programs » methods program, method progress, method programmed
complex https » complexity https, complex atoms, complex atp
programs developing » projects developing, program development, process developing
integration method » integration methods, iteration method, generation method
developing complex » developing people, developing college, developing context
method programs » methods program, method progress, method programmed
complex https » complexity https, complex atoms, complex atp
1
Argitaratua 2007
Aurkibidea:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”Testu osoa
Baliabide elektronikoa
eBook
3
Aurkibidea:
“... and locally optimal designs for Gaussian Universal Kriging -- Exploitation, integration and statistical...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
4
Gaiak:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... and How Usability Techniques and Activities Should Be Integrated -- Coping with Complexity -- Towards a...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2013
Aurkibidea:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Gaiak:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2012
Aurkibidea:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2006
Aurkibidea:
“...Integrative Systems View of Life: Perspectives from General Systems Thinking -- Complex Systems...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2015
Aurkibidea:
“... and Correlated Development of Vision, Strategies and Projects in Complex Environments.-20 Chaotic Interaction...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2007
Aurkibidea:
“... and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2013
Aurkibidea:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2012
Gaiak:
“...Sustainable Development. https://scigraph.springernature.com/ontologies/product-market-codes/U34000...”Testu osoa
Baliabide elektronikoa
eBook
15
Gaiak:
“...Algorithm Analysis and Problem Complexity. https://scigraph.springernature.com/ontologies/product...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...”Testu osoa
Baliabide elektronikoa
eBook
17
Gaiak:
“...Economic Theory/Quantitative Economics/Mathematical Methods. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2011
Aurkibidea:
“.... Agroecology – interpretations, approaches and their links to nature conservation, rural development...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... to Support Systems Biology Research -- Helping Biologists Effectively Build Workflows, without Programming...”Testu osoa
Baliabide elektronikoa
eBook