Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
ISBN: 9783031199912 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical...
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, h...
|
|
cena:
293,82 zł |
Cryptology and Network Security: 21st International Conference, Cans 2022, Abu Dhabi, United Arab Emirates, November 13-16, 2022, Proceedings
ISBN: 9783031209734 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 21stInternational Conference on Cryptology and Network Security, CANS 2022, which was held during November 13-16, 2022. The conference was took place in Abu Dhabi, United Arab Emirates.The 18 full and 2 short papers presented in these proceedings were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: zero-knowledge and MPC; public-key infrastructure; attacks and countermeasures; cryptanalysis and provable security; cryptographic protocols; blockchain and payment systems; and codes and...
This book constitutes the refereed proceedings of the 21stInternational Conference on Cryptology and Network Security, CANS 2022, which was held durin...
|
|
cena:
293,82 zł |
Software Defined Chips: Volume I
ISBN: 9789811969935 / Angielski / Twarda / 311 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first book of a two-volume book set which introduces software defined chips. In this book, it introduces the conceptual evolution of software defined chips from the development of integrated circuits and computing architectures. Technical principles, characteristics and key issues of software defined chips are systematically analyzed. The hardware architecture design methods are described involving architecture design primitives, hardware design spaces and agile design methods. From the perspective of the compilation system, the complete process from high-level language to...
This is the first book of a two-volume book set which introduces software defined chips. In this book, it introduces the conceptual evolution of softw...
|
|
cena:
587,67 zł |
Software Defined Chips: Volume II
ISBN: 9789811976353 / Angielski / Twarda / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-defined chips is analyzed by tracing the coevolution of modern general-purpose processors and programming models. The enhancement in hardware security and reliability of the software-defined chips are described from the perspective of dynamic and partial reconfiguration. The challenges and prospective trends of software-defined chips are also discussed. Current applications in the fields of artificial intelligence, cryptography, 5G...
This book is the second volume of a two-volume book set which introduces software-defined chips. In this book, the programming model of the software-d...
|
|
cena:
626,85 zł |
Artificial Intelligence and Robotics: 7th International Symposium, ISAIR 2022, Shanghai, China, October 21-23, 2022, Proceedings, Part II
ISBN: 9789811979422 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume set (CCIS 1700-1701) constitutes the refereed proceedings from the 7th International Symposium on Artificial Intelligence, ISAIR 2022, held in Shanghai, China, in October 2022.The 67 presented papers were thoroughly reviewed and selected from 285 submissions. The volumes present the state-of-the-art contributions on the cognitive intelligence, computer vision, multimedia, Internet of Things, robotics, and related applications.
This two-volume set (CCIS 1700-1701) constitutes the refereed proceedings from the 7th International Symposium on Artificial Intelligence, ISAIR 2022...
|
|
cena:
313,40 zł |
Artificial Intelligence and Robotics: 7th International Symposium, ISAIR 2022, Shanghai, China, October 21-23, 2022, Proceedings, Part I
ISBN: 9789811979453 / Angielski / Miękka / 429 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume set (CCIS 1700-1701) constitutes the refereed proceedings from the 7th International Symposium on Artificial Intelligence, ISAIR 2022, held in Shanghai, China, in October 2022.The 69 presented papers were thoroughly reviewed and selected from 285 submissions. The volumes present the state-of-the-art contributions on the cognitive intelligence, computer vision, multimedia, Internet of Things, robotics, and related applications.
This two-volume set (CCIS 1700-1701) constitutes the refereed proceedings from the 7th International Symposium on Artificial Intelligence, ISAIR 2022...
|
|
cena:
352,59 zł |
Matlab(r) Meets Micropython: Mit Matlab(r) Mikrocontroller Nutzen
ISBN: 9783658399481 / Niemiecki / Miękka / 51 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses essential behandelt die Verknüpfung von MicroPython betriebenen Mikrocontroller mit MATLAB®. Anhand eines Praxisbeispiels werden die Aspekte der Planung, der elektronischen Umsetzung, der Programmierung in MicroPython, die Programmierung in MATLAB® und die Erstellung einer graphischen Oberfläche handelt.
Dieses essential behandelt die Verknüpfung von MicroPython betriebenen Mikrocontroller mit MATLAB®. Anhand eines Praxisbeispiels werden die Aspekte ...
|
|
cena:
54,89 zł |
PRICAI 2022: Trends in Artificial Intelligence: 19th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2022, Shanghai, China, November 10–13, 2022, Proceedings, Part III
ISBN: 9783031208676 / Angielski / Miękka / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This three-volume set, LNAI 13629, LNAI 13630, and LNAI 13631 constitutes the thoroughly refereed proceedings of the 19th Pacific Rim Conference on Artificial Intelligence, PRICAI 2022, held in Shangai, China, in November 10–13, 2022.The 91 full papers and 39 short papers presented in these volumes were carefully reviewed and selected from 432 submissions. PRICAI covers a wide range of topics in the areas of social and economic importance for countries in the Pacific Rim: artificial intelligence, machine learning, natural language processing, knowledge representation and reasoning,...
This three-volume set, LNAI 13629, LNAI 13630, and LNAI 13631 constitutes the thoroughly refereed proceedings of the 19th Pacific Rim Conference on ...
|
|
cena:
391,77 zł |
Information Technologies and Intelligent Decision Making Systems: First International Conference, ITIDMS 2021, Virtual Event, January 25, 2021, Revised Selected Papers
ISBN: 9783031213397 / Angielski / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes selected papers presented at the First International Scientific and Practical Conference on Information Technologies and Intelligent Decision Making Systems, ITIDMS 2021, held as Virtual Event in January, 2021.The 13 presented papers were thoroughly reviewed and selected from the 41 submissions. The conference was held with the aim of summarizing international experience in the field of information, digital and intellectual development, within which proposals were formulated for digital and information transformation, the development of computer models, information...
This book constitutes selected papers presented at the First International Scientific and Practical Conference on Information Technologies and Intell...
|
|
cena:
254,64 zł |
Information Security: 25th International Conference, ISC 2022, Bali, Indonesia, December 18–22, 2022, Proceedings
ISBN: 9783031223891 / Angielski / Miękka / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 25th International Conference on Information Security, ISC 2022, which took place in Bali, Indonesia, in December 2022.The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 72 submissions. The contributions were organized in topical sections as follows: Cryptography; Post-Quantum Cryptography; Cryptanalysis; Blockchain; Email and Web Security; Malware; and AI Security.
This book constitutes the proceedings of the 25th International Conference on Information Security, ISC 2022, which took place in Bali, Indonesia, in ...
|
|
cena:
313,40 zł |
Security, Privacy, and Applied Cryptography Engineering: 12th International Conference, SPACE 2022, Jaipur, India, December 9–12, 2022, Proceedings
ISBN: 9783031228285 / Angielski / Miękka / 343 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2022 held in Jaipur, India, during December 9–12, 2022.The 18 full papers included in this book were carefully reviewed and selected from 61 submissions. They were organized in topical sections as follows: symmetric cryptography; public-key cryptography, post-quantum cryptography, zero knowledge proofs; hardware security and AI; and network security, authentication, and privacy.
This book constitutes the refereed proceedings of the 12th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE ...
|
|
cena:
293,82 zł |
Smart Structures in Energy Infrastructure: Proceedings of ICRTE 2021, Volume 2
ISBN: 9789811647468 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gathers selected high-quality research papers presented at International Conference on Renewable Technologies in Engineering (ICRTE 2021) organized by Manav Rachna International Institute of Research & Studies, Faridabad, Haryana, India, during 15–16 April 2021. The book includes conference papers on the theme “Computational Techniques for Renewable Energy Optimization”, which aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of renewable energy integration,...
This book gathers selected high-quality research papers presented at International Conference on Renewable Technologies in Engineering (ICRTE 2021) or...
|
|
cena:
861,93 zł |
Machine Learning for Cyber Security: 4th International Conference, ML4CS 2022, Guangzhou, China, December 2–4, 2022, Proceedings, Part I
ISBN: 9783031200953 / Angielski / Miękka / 667 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The three-volume proceedings set LNCS 13655,13656 and 13657 constitutes the refereedproceedings of the 4th International Conference on Machine Learning for Cyber Security, ML4CS 2022, which taking place during December 2–4, 2022, held in Guangzhou, China.The 100 full papers and 46 short papers were included in these proceedings were carefully reviewed and selected from 367 submissions.
The three-volume proceedings set LNCS 13655,13656 and 13657 constitutes the refereedproceedings of the 4th International Conference on Machine Learn...
|
|
cena:
391,77 zł |
The Recent Advances in Transdisciplinary Data Science: First Southwest Data Science Conference, SDSC 2022, Waco, TX, USA, March 25–26, 2022, Revised Selected Papers
ISBN: 9783031233869 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First Southwest Data Science Conference, on The Recent Advances in Transdisciplinary Data Science, SDSC 2022, held in Waco, TX, USA, during March 25–26, 2022.The 14 full papers and 2 short papers included in this book were carefully reviewed and selected from 72 submissions. They were organized in topical sections as follows: Business and social data science; Health and biological data science; Applied data science, artificial intelligence, and data engineering.
This book constitutes the refereed proceedings of the First Southwest Data Science Conference, on The Recent Advances in Transdisciplinary Data Scienc...
|
|
cena:
293,82 zł |
Edge Computing – EDGE 2022: 6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10–14, 2022, Proceedings
ISBN: 9783031234699 / Angielski / Miękka / 107 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 6th International Conference on Edge Computing, EDGE 2022, held as part of the Services Conference Federation, SCF 2022, held in Honolulu, HI, USA, in December 2022.The 5 full and 2 short papers presented in this volume were carefully reviewed and selected from 16 submissions.The International Conference on Edge Computing (EDGE) aims to become a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art and practice of edge computing, identify emerging research...
This book constitutes the proceedings of the 6th International Conference on Edge Computing, EDGE 2022, held as part of the Services Conference Federa...
|
|
cena:
215,46 zł |
Digital Design Techniques and Exercises: A Practice Book for Digital Logic Design
ISBN: 9789811659577 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book describes digital design techniques with exercises. The concepts and exercises discussed are useful to design digital logic from a set of given specifications. Looking at current trends of miniaturization, the contents provide practical information on the issues in digital design and various design optimization and performance improvement techniques at logic level. The book explains how to design using digital logic elements and how to improve design performance. The book also covers data and control path design strategies, architecture design strategies, multiple clock domain...
This book describes digital design techniques with exercises. The concepts and exercises discussed are useful to design digital logic from a set of g...
|
|
cena:
509,31 zł |
Renewable Energy Optimization, Planning and Control: Proceedings of ICRTE 2022
ISBN: 9789811989629 / Angielski / Twarda / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gathers selected high-quality research papers presented at International Conference on Renewable Technologies in Engineering (ICRTE 2022) organized by Manav Rachna International Institute of Research & Studies, Faridabad, Haryana, India, during October 7–8, 2022. The book includes conference papers on the theme ‘Computational Techniques for Renewable Energy Optimization,’ which aims to bring together leading academic scientists, researchers, and research scholars to exchange and share their experiences and research results on all aspects of renewable energy integration,...
This book gathers selected high-quality research papers presented at International Conference on Renewable Technologies in Engineering (ICRTE 2022) or...
|
|
cena:
1097,02 zł |
Computer verstehen: Ein Streifzug durch das Innenleben eines Computers
ISBN: 9783658403133 / Niemiecki / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Sachbuch ist eine leicht verständliche Einführung in die grundsätzliche Arbeitsweise von modernen Computern und Computernetzen, das keine Vorkenntnisse voraussetzt. Es richtet sich an neugierige, technisch interessierte Computer-Laien, aber auch an Schüler vor ihrer Berufswahl und Personen, die sich für eine berufliche Laufbahn im IT-Bereich interessieren.Der in 16 übersichtlichen Kapiteln gestaltete Streifzug durch das Innenleben der modernen Computerwelt beginnt bei der Hardware-Architektur eines Computers und führt über Betriebssysteme und Computernetzwerke mit Schwerpunkt...
Dieses Sachbuch ist eine leicht verständliche Einführung in die grundsätzliche Arbeitsweise von modernen Computern und Computernetzen, das keine Vo...
|
|
cena:
91,53 zł |
Applied Technologies: 4th International Conference, ICAT 2022, Quito, Ecuador, November 23–25, 2022, Revised Selected Papers, Part II
ISBN: 9783031249709 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This three-volume set CCIS 1755-1757 constitutes the refereed proceedings of the 4th International Conference on Applied Technologies, ICAT 2022, held in Quito, Ecuador, in November 2022.The 112 full papers included in this book were carefully reviewed and selected from 415 submissions. They were organized in topical sections as follows: human computing and information science, IT financial and business management.
This three-volume set CCIS 1755-1757 constitutes the refereed proceedings of the 4th International Conference on Applied Technologies, ICAT 2022, hel...
|
|
cena:
391,77 zł |
Applied Technologies: 4th International Conference, ICAT 2022, Quito, Ecuador, November 23–25, 2022, Revised Selected Papers, Part III
ISBN: 9783031249778 / Angielski / Miękka / 418 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This three-volume set CCIS 1755-1757 constitutes the refereed proceedings of the 4th International Conference on Applied Technologies, ICAT 2022, held in Quito, Ecuador, in November 2022.The 112 full papers included in this book were carefully reviewed and selected from 415 submissions. They were organized in topical sections as follows: human computing and information science, IT financial and business management.
This three-volume set CCIS 1755-1757 constitutes the refereed proceedings of the 4th International Conference on Applied Technologies, ICAT 2022, hel...
|
|
cena:
352,59 zł |