Katalog

Reset




gunakan subjek dalam bahasa inggris untuk ketepatan hasil pencarian. gunakan karakter % untuk pencarian diperluas
No. Katalog Katalog Subjek Actions
173492 results (page 4891/17350)
22.21.683
Embedded Computer Systems: Architectures, Modeling, and Simulation
Alex Orailoglu, Matthias Jung, Marc Reichenbach
Springer, 2020
Klasifikasi Computer science- system- computer modeling and simulation
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
COMPUTER
This book constitutes the proceedings of the 23rd International Conference on Discovery Science, DS 2020, which took place during October 19-21, 2020. The conference was planned to take place in..selengkapnya..
22.21.684
Reachability Problems
Sylvain Schmitz, Igor Potapov
Springer, 2020
Klasifikasi Computer Mathematics, mathematical principles
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
COMPUTER
This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020. The 8 full papers presented were carefully reviewed..selengkapnya..
22.21.685
Lattice-Based Cryptosystems
Jiang Zhang, Zhenfeng Zhang
Springer, 2020
Klasifikasi Cryptography; computer science
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
CRYPTOGRAPHY
This book focuses on lattice-based cryptosystems, widely considered to be one of the most promising post-quantum cryptosystems and provides fundamental insights into how to construct provably secure cryptosystems from hard..selengkapnya..
22.21.686
Web and Big Data
Xin Wang, Rui Zhang, Young-Koo Lee, Le Sun, Yang-Sae Moon
Springer, 2020
Klasifikasi Data Processing- computer science- microcomputers, laptop, notebook, palmtop, pen, personal, pocket, portable, wearable computer, workstation
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
BIG DATA
This two-volume set, LNCS 11317 and 12318, constitutes the thoroughly refereed proceedings of the 4th International Joint Conference, APWeb-WAIM 2020, held in Tianjin, China, in September 2020. Due to the..selengkapnya..
22.21.687
Graph-Theoretic Concepts in Computer Science
Isolde Adler, Haiko Müller
Springer, 2020
Klasifikasi Computer Mathematics, mathematical principles
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
COMPUTER
This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020. The workshop was held..selengkapnya..
22.21.688
Intelligent Computing Methodologies
De-Shuang Huang, Prashan Premaratne
Springer, 2020
Klasifikasi Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
COMPUTER
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing,..selengkapnya..
22.21.689
Cooperative Design, Visualization, and Engineering
Yuhua Luo
Springer, 2020
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 INTERFACES
This book constitutes the proceedings of the 17th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2020, held in Bangkok, Thailand, in October 2020.* The 33 full papers and 7..selengkapnya..
22.21.690
Intelligent Systems
Ricardo Cerri, Ronaldo C. Prati
Springer, 2020
Klasifikasi Systems programs Operating systems, system administration, system software, utility programs
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
INTELLIGENT SYSTEMS
The two-volume set LNAI 12319 and 12320 constitutes the proceedings of the 9th Brazilian Conference on Intelligent Systems, BRACIS 2020, held in Rio Grande, Brazil, in October 2020. The total of..selengkapnya..
22.21.691
Ad-Hoc, Mobile, and Wireless Networks
Luigi Alfredo Grieco, Gennaro Boggia, Giuseppe Piro, Yaser Jararweh, Claudia Campolo
Springer, 2020
Klasifikasi Data communications, computer communications
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
DATA COMMUNICATION
This book constitutes the refereed proceedings of the 19th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2020, held in Bari, Italy, in October 2020.* The 19 full and 4..selengkapnya..
22.21.692
Systems Modelling and Management
Önder Babur, Joachim Denil, Birgit Vogel-Heuser
Springer, 2020
Klasifikasi Special Computer Methods- Artificial intelligence
Buku - Elektronik (E-Book) (Non-Sirkulasi)
tersedia 1 koleksi
total 1 koleksi
tersedia 1 file download
COMPUTER ARCHITECTURE
This book constitutes the refereed proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020, planned to be held in Bergen, Norway, in June 2020. Due to..selengkapnya..