Ditemukan 129 dokumen yang sesuai dengan query
This volume contains a selection of revised and extended research articles written by prominent researchers participating in a large international conference on Advances in Engineering Technologies and Physical Science which was held in San Francisco, California, USA, October 25-27, 2017.
Topics covered include engineering mathematics, electrical engineering, communications systems, computer...
Singapore: Springer Nature, 2019
e20509525
eBooks Universitas Indonesia Library
Rotating Machinery, Optical Methods & Scanning LDV Methods, Volume 6: Proceedings of the 37th IMAC, A Conference and Exposition on Structural Dynamics, 2019, the sixth volume of eight from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case...
Switzerland: Springer Nature, 2019
e20509850
eBooks Universitas Indonesia Library
The topics covered by the 20 papers in this volume include vulnerabilities in global navigation satellite systems, safety culture and community; transport safety, cyber-attacks on safety-critical systems, improving our approach to systems safety, accidents, assessment, validation and testing, safety standards and safety levels.
...
London: Springer, 2012
e20406338
eBooks Universitas Indonesia Library
This book constitutes the refereed post-proceedings of the First International Workshop on Eternal Systems, EternalS 2011, held in Budapest, Hungary, in May 2011. The workshop aimed at creating the conditions for mutual awareness and cross-fertilization among broad ICT areas such as learning systems for knowledge management and representation, software systems,...
Berlin: Springer-Verlag, 2012
e20408685
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization...
Berlin: Springer-Verlag, 2012
e20410436
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the International Conference on Data and Knowledge Engineering, ICDKE 2012, held in Wuyishan, Fujian, China, in November 2012. The conference was co-located with the 6th International Conference on Network and System Security, NSS 2012. The 13 revised full papers of ICDKE 2012 were...
Berlin: Springer, 2012
e20406946
eBooks Universitas Indonesia Library
Singapore: Springer, 2017
004.6 GEO
Buku Teks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal...
Berlin: Springer-Verlag, 2012
e20409160
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.
The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and...
Berlin: Springer-Verlag, 2012
e20410291
eBooks Universitas Indonesia Library
This book comprises selected proceedings of the Fourth International Conference in Ocean Engineering (ICOE2018), focusing on emerging opportunities and challenges in the field of ocean engineering and offshore structures. It includes state-of-the-art content from leading international experts, making it a valuable resource for researchers and practicing engineers alike...
Singapore: Springer Nature, 2019
e20509925
eBooks Universitas Indonesia Library
