検索結果
-
1
Platform and collective intelligence digital ecosystem of organizations
出版事項 2021Available for University of the Philippines Diliman via IEEE Xplore. Click here to access
Also available remotely for University of the Philippines Diliman via IEEE Xplore. Click here to access thru EZproxy
Electronic Resource -
2
-
3
-
4
-
5
Advances in RAMS engineering in honor of Professor Ajit Kumar Verma on his 60th birthday
出版事項 2020Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
6
-
7
Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
出版事項 2020Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
8
Business standard compliance and requirements validation using goal models
出版事項 2020Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
9
-
10
-
11
-
12
-
13
-
14
Embedded system design embedded systems, foundations of cyber-physical systems, and the Internet of Things
出版事項 2018Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
15
-
16
Languages, design methods, and tools for electronic system design selected contributions from FDL 2016
出版事項 2018Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
17
-
18
Automated validation & verification of UML/OCL models using satisfiability solvers
出版事項 2018Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
19
Safety-critical electrical drives topologies, reliability, performance
出版事項 2018Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
Electronic Resource -
20
SysML for systems engineering a model-based approach
出版事項 2018Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy
Electronic Resource