6,076円 This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed an...

6,076円 This book constitutes selected papers from the 20th International Conference on Transport Systems Telematics, TST 2020, held in Kraków, Poland, in October 2020. The 34 full papers presented in this volume were carefully reviewed and selected from 97 submissions. They were organized in topical sec...

1,759円 Programcılığın ve Bilgisayarla Sorun Çözmenin Anayasası Anlatılan kavramların PYTHON ve VISUL BASIC dillerindeki örnekleriyle zenginleştirilmiş, tamamen gözden geçirilmiş yeni baskı! Herhangi bir problemin çözümü için izlenecek yolu belirlemek ve programcılık mantığını anlamak için algoritma ve v...

13,369円 This book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied Cryptography and Network Security, ACNS 2020, in Rome, Italy, in October 2020. The 31 papers presented in this volume were carefully reviewed and selected from 65 submissions....

1,657円 Seguro que alguna vez te han preguntado: ¿Eres de ciencias o de letras?. Esta división nos persigue durante toda la vida, desde que decidimos qué estudiar hasta el trabajo que vamos a desempeñar. Esta dicotomía está tan presente que nos define como personas y nos limita en el entorno laboral. Per...

15,752円 The objective of this edited book is to share the outcomes from various research domains to develop efficient, adaptive, and intelligent models to handle the challenges related to decision making. It incorporates the advances in machine intelligent techniques such as data streaming, classificatio...

6,076円 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 and selected from 25 submissions. In addition, 2 invited papers were included in this v...

18,231円 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 lattice problems. The concept of provable security is used to inform the c...

7,959円 The rediscovery of the potential of artificial intelligence (AI) to improve healthcare delivery and patient outcomes has led to an increasing application of AI techniques such as deep learning, computer vision, natural language processing, and robotics in the healthcare domain. Many governments a...

6,076円 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 short papers presented were carefully reviewed and selected from 39 submissions. The papers provid...

5,430円 The widespread adoption of AI and machine learning is revolutionizing many industries today. Once these technologies are combined with the programmatic availability of historical and real-time financial data, the financial industry will also change fundamentally. With this practical book, you'll ...

4,611円 The design patterns in this book capture best practices and solutions to recurring problems in machine learning. The authors, three Google engineers, catalog proven methods to help data scientists tackle common problems throughout the ML process. These design patterns codify the experience of hun...