בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
information presentation » information representation, information propagation, information dissemination
presentation based » representation based, presentation layer, implementation based
based decisions » based decision
decisions data » decision data, decisions eat, decisions david
data proving » data improving, data providing, data moving
information presentation » information representation, information propagation, information dissemination
presentation based » representation based, presentation layer, implementation based
based decisions » based decision
decisions data » decision data, decisions eat, decisions david
data proving » data improving, data providing, data moving
1
יצא לאור 2014
תוכן הענינים:
“... There Yet? 20 Years of Industrial Theorem Proving with SPARK -- Towards a Formally Verified Proof Assistant...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
נושאים:
“...Geographic information systems Planning....”
Thesis
ספר
3
מאת Abdul Wahab, Abbas
יצא לאור 2001
נושאים:
“...Geographic information systems - Planning...”יצא לאור 2001
קבל טקסט מלא
Thesis
4
מאת Abdul Wahab, Abbas
יצא לאור 2001
“... of the present planning system. Henceforth, the study aimed to adapt GIS as a decision support tool...”יצא לאור 2001
קבל טקסט מלא
Thesis
5
מאת Kamaruddin, Norfaryanti
יצא לאור 2018
“... to analyse how the ownership structure inform decision-making behaviour by the of oil palm corporations owned...”יצא לאור 2018
קבל טקסט מלא
Thesis
6
מאת Kamaruddin, Norfaryanti
יצא לאור 2018
“... to analyse how the ownership structure inform decision-making behaviour by the of oil palm corporations owned...”יצא לאור 2018
קבל טקסט מלא
Thesis
7
מאת Zulcaffle, Tengku Mohd Afendi
יצא לאור 2007
נושאים:
“...Information storage and retrieval systems....”יצא לאור 2007
קבל טקסט מלא
Thesis
8
יצא לאור 2008
תוכן הענינים:
“... of Proving Termination of Term Rewriting by Matrix Interpretations -- Extension of Rescheduling Based...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2006
תוכן הענינים:
“... Matrices -- Session IV: Proving -- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2012
תוכן הענינים:
“... using Rough Sets -- Rough Set Based Decision Support – Models East to Interpret -- Part IV: Methods...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2005
תוכן הענינים:
“... latipes): A Decision Tree Approach -- Linear Algorithm and Hexagonal Search Based Two-Pass Algorithm...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים:
“... Decision in Mobile Social Software Applications -- Towards a Tag-Based User Model: How Can User Model...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים:
“... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים:
“... Proving and Decision Procedures -- Applying PVS Background Theories and Proof Strategies in Invariant...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
מאת Hilal, Yousif Yakoub
יצא לאור 2019
“..., Penang, Pahang, Perak, Selangor,
Terengganu, Sabah, and Sarawak. The study is based on monthly data from...”יצא לאור 2019
קבל טקסט מלא
Thesis