Katalog

Reset




gunakan subjek dalam bahasa inggris untuk ketepatan hasil pencarian. gunakan karakter % untuk pencarian diperluas
No. Katalog Katalog Subjek Actions
173920 results (page 3007/17392)
23.21.1508
Runtime Verification : A Hands-On Approach in Java
Christian Colombo, Gordon J. Pace
Springer Cham, 2022
Klasifikasi Special programming techniques-specific programming language
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
JAVA PROGRAMMING
This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with..selengkapnya..
23.21.1509
e-Infrastructure and e-Services for Developing Countries: 13th EAI International Conference, AFRICOMM 2021, Zanzibar, Tanzania, December 1-3, 2021, Proceedings
Yahya H. Sheikh, Idris A. Rai, Abubakar D. Bakar
Springer Cham, 2022
Klasifikasi Data processing, Computer science
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
APPLICATION SOFTWARE
COMPUTER COMMUNICATION SYSTEMS,
This book constitutes the thoroughly refereed proceedings of the 13th International Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2021, held in Zanzibar, Tanzania, in December 2021. The 31 full..selengkapnya..
23.21.1510
Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Technologies: 11th International Conference, June 26 – July 1, 2022, Proceedings, Part III
Marcelo M. Soares, Elizabeth Rosenzweig, Aaron Marcus
Springer Cham, 2022
Klasifikasi User interfaces; graphical user interfaces, windowing programs
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
USER INTERFACE DESIGN
This book constitutes the refereed proceedings of the 11th International Conference on Design, User Experience, and Usability, DUXU 2022, held as part of the 23rd International Conference, HCI International 2022,..selengkapnya..
23.21.1511
Data and Applications Security and Privacy XXXVI : 36th Annual IFIP WG 11.3 Conference, DBSec 2022, Newark, NJ, USA, July 18–20, 2022, Proceedings
Shamik Sural, Haibing Lu
Springer Cham, 2022
Klasifikasi Data Security
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
DATA SECURITY
This book constitutes the refereed proceedings of the 36th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2022, held in Newark, NJ, USA, in July..selengkapnya..
23.21.1512
Emerging Technologies in Computer Engineering: Cognitive Computing and Intelligent IoT: 5th International Conference, ICETCE 2022, Jaipur, India, February 4–5, 2022, Revised Selected Papers
Valentina E. Balas, G. R. Sinha, Basant Agarwal, Tarun Kumar Sharma, Pankaj Dadheech, Mehul Mahrishi
Springer Cham, 2022
Klasifikasi software engineering
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
SOFTWARE ENGINEERING
This book constitutes the refereed proceedings of the 5th International Conference on Emerging Technologies in Computer Engineering, ICETCE 2021, held in Jaipur, India, in February 2022. The 40 revised full papers..selengkapnya..
23.21.1513
Virtual, Augmented and Mixed Reality: Design and Development: 14th International Conference, VAMR 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I
Jessie Y. C. Chen, Gino Fragomeni
Springer Cham, 2022
Klasifikasi Multimedia systems- Virtual reality
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
VIRTUAL COMPUTER SYSTEMS
This two-volume set LNCS 13317 and 13318 constitutes the thoroughly refereed proceedings of the 14th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2022, held virtually as part of..selengkapnya..
23.21.1514
Next Generation Arithmetic : Third International Conference, CoNGA 2022, Singapore, March 1–3, 2022, Revised Selected Papers
John Gustafson, Vassil Dimitrov
Springer Cham, 2022
Klasifikasi Mathematics
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
MATHEMATICS
This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic, CoNGA 2022, which was held in Singapore, during March 1–3, 2022. The 8 full papers..selengkapnya..
23.21.1515
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Health, Operations Management, and Design: 13th International Conference, June 26 – July 1, 2022, Proceedings, Part II
Vincent G. Duffy
Springer Cham, 2022
Klasifikasi Data Processing-Psychological Principles; human-computer interaction; human factors in data processing and computer science; usability
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
HUMAN COMPUTER INTERACTION
This two-volume set LNCS 1319 and 13320 constitutes the thoroughly refereed proceedings of the 13th International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management,..selengkapnya..
23.21.1516
OCaml Scientific Computing: Functional Programming in Data Science and Artificial Intelligence
Liang Wang, Jianxin Zhao, Richard Mortier
Springer Cham, 2022
Klasifikasi Computer programming
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
APPLICATION SOFTWARE
COMPUTER PROGRAMMING,
This book is about the harmonious synthesis of functional programming and numerical computation. It shows how the expressiveness of OCaml allows for fast and safe development of data science applications...selengkapnya..
23.21.1517
Cross-Cultural Design. Interaction Design Across Cultures: 14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I
Pei-Luen Patrick Rau
Springer Cham, 2022
Klasifikasi Data Processing-Psychological Principles; human-computer interaction; human factors in data processing and computer science; usability
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
HUMAN COMPUTER INTERACTION
The four-volume set LNCS 13311 - 13314 constitutes the refereed proceedings of the 14th International Conference on Cross-Cultural Design, CCD 2022, which was held as part of HCI International 2022..selengkapnya..