Model Checking Software: 28th International Symposium, Spin 2022, Virtual Event, May 21, 2022, Proceedings
ISBN: 9783031150760 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.
The 8 full papers were carefully reviewed and selected from 11 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much... This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.<...
|
|
cena:
384,63 zł |
Human Choice and Digital by Default: Autonomy Vs Digital Determination: 15th Ifip International Conference on Human Choice and Computers, Hcc 2022, To
ISBN: 9783031156878 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th IFIP TC 9 International Conference on Human Choice and Computers, HCC15 2022, in Tokyo, Japan, in September 2022. The 17 full papers presented were carefully reviewed and selected from 32 submissions. Summaries of 2 keynote presentations are also included. The papers deal with the constantly evolving intimate relationship between humans and technology. This book constitutes the refereed proceedings of the 15th IFIP TC 9 International Conference on Human Choice and Computers, HCC15 2022, in Tokyo, ... |
|
cena:
192,30 zł |
Cellular Automata: 15th International Conference on Cellular Automata for Research and Industry, Acri 2022, Geneva, Switzerland, Septembe
ISBN: 9783031149252 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, which took place in Geneva, Switzerland, in September 2022.
The 31 full papers presented in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections named: Theory; Modelling and simulation physical systems and phenomena; Cellular automata and spreading dynamics; Crowds, pedestrian and traffic dynamics; Other studies on cellular automata. This book constitutes the refereed proceedings of the 15th International Conference on Cellular Automata for Research and Industry, ACRI 20...
|
|
cena:
307,69 zł |
Mobile and Wireless Communications with Practical Use-Case Scenarios
ISBN: 9781032119014 / Angielski / Twarda / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
604,49 zł |
Mobile and Wireless Communications with Practical Use-Case Scenarios
ISBN: 9781032119021 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
216,55 zł |
Security and Privacy in Cyberspace
ISBN: 9789811919596 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book highlights the literature and the practical aspects to understand cybersecurity and privacy in various networks and communication devices. It provides details of emerging technologies on various networks by protecting the privacy and security of cyberspace. This book presents state-of-the-art advances in the field of cryptography and network security, cybersecurity and privacy, providing a good reference for professionals and researchers. This book highlights the literature and the practical aspects to understand cybersecurity and privacy in various networks and communication devices... |
|
cena:
384,63 zł |
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems: Ifip Wg 5.7 International Confere
ISBN: 9783030859169 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2021, held in Nantes, France, in September 2021.*
The 378 papers presented were carefully reviewed and selected from 529 submissions. They discuss artificial intelligence techniques, decision aid and new and renewed paradigms for sustainable and resilient production systems at four-wall factory and value chain levels. The papers are organized in the following topical sections: Part I: artificial... The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances...
|
|
cena:
576,96 zł |
Pervasive Computing and Social Networking: Proceedings of Icpcsn 2022
ISBN: 9789811928390 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book features original papers from International Conference on Pervasive Computing and Social Networking (ICPCSN 2022), organized by NSIT, Salem, India during 3 – 4 March 2022. It covers research works on conceptual, constructive, empirical, theoretical and practical implementations of pervasive computing and social networking methods for developing more novel ideas and innovations in the growing field of information and communication technologies.
The book features original papers from International Conference on Pervasive Computing and Social Networking (ICPCSN 2022), organized by NSIT, Salem, ...
|
|
cena:
769,29 zł |
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems: Ifip Wg 5.7 International Confere
ISBN: 9783030858766 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2021, held in Nantes, France, in September 2021.*
The 378 papers presented were carefully reviewed and selected from 529 submissions. They discuss artificial intelligence techniques, decision aid and new and renewed paradigms for sustainable and resilient production systems at four-wall factory and value chain levels. The papers are organized in the following topical sections: Part I: artificial... The five-volume set IFIP AICT 630, 631, 632, 633, and 634 constitutes the refereed proceedings of the International IFIP WG 5.7 Conference on Advances...
|
|
cena:
692,36 zł |
Cryptography and Network Security
ISBN: 9788770224079 / Angielski / Twarda / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
579,30 zł |
6g Enabling Technologies: New Dimensions to Wireless Communication
ISBN: 9788770227742 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
503,69 zł |
Petri Nets for Modeling of Large Discrete Systems
ISBN: 9789811652059 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as “Petri modules”). The goal of this book is to introduce a methodology in which Petri nets are moved to a new level. In this new level, large Petri net models are made of Petri modules, which are independent and run on different computers. This book also contains the literature study on modular Petri nets and definitions for the newer Petri modules. Also, algorithms for extracting Petri modules, and algorithms for connecting Petri modules,... This book offers a new Modular Petri Net as a solution to the vast Petri net models. It presents some approaches centering around modules (known as... |
|
cena:
576,96 zł |
Image Processing and Intelligent Computing Systems
ISBN: 9781032213149 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
503,69 zł |
Botnets: Architectures, Countermeasures, and Challenges
ISBN: 9781032401133 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides solid, state-of-the-art contributions from both scientists and practitioners working on botnet detection and analysis, including botnet economics. It presents original theoretical and empirical chapters dealing with both offensive and defensive aspects in this field. Chapters address fundamental theory, current trends and techniques for evading detection, as well as practical experiences concerning detection and defensive strategies for the botnet ecosystem, and include surveys, simulations, practical results, and case studies.
This book provides solid, state-of-the-art contributions from both scientists and practitioners working on botnet detection and analysis, including bo...
|
|
cena:
226,63 zł |
Virtual Reality: Everything You Wanted to Know Featuring Exclusive Interviews (How to Understand, Use & Create With Virtual Reality)
ISBN: 9781774857915 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
83,37 zł |
Forecasting Next Generation Manufacturing: Digital Shadows, Human-Machine Collaboration, and Data-Driven Business Models
ISBN: 9783031077333 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Manufacturing companies have just begun to implement the concepts of the Fourth Industrial Revolution (Industry 4.0) on a larger scale. Still, this area is characterized by a rapid pace of technological change, blurring boundaries between physical, digital, and biological systems, and a quickly changing growing political, economic, and social environment -- leading to high uncertainty in decision making and many questions about the future development in this field. To provide guidance and inspiration for managers and academics on the future of digital manufacturing systems, this book... Manufacturing companies have just begun to implement the concepts of the Fourth Industrial Revolution (Industry 4.0) on a larger scale. Still, this... |
|
cena:
192,30 zł |
Implementing Cybersecurity: A Guide to the National Institute of Standards and Technology Risk Management Framework
ISBN: 9781032402222 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book provides the complete strategic understanding requisite to allow a person to create and use the RMF process recommendations for risk management. This will be the case both for applications of the RMF in corporate training situations, as well as for any individual who wants to obtain specialized knowledge in organizational risk managemen
The book provides the complete strategic understanding requisite to allow a person to create and use the RMF process recommendations for risk manageme...
|
|
cena:
216,55 zł |
Human Choice and Digital by Default: Autonomy vs Digital Determination: 15th IFIP International Conference on Human Choice and Computers, HCC 2022, Tokyo, Japan, September 8-9, 2022, Proceedings
ISBN: 9783031171383 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th IFIP TC 9 International Conference on Human Choice and Computers, HCC15 2022, in Tokyo, Japan, in September 2022. The 17 full papers presented were carefully reviewed and selected from 32 submissions. Summaries of 2 keynote presentations are also included. The papers deal with the constantly evolving intimate relationship between humans and technology.
This book constitutes the refereed proceedings of the 15th IFIP TC 9 International Conference on Human Choice and Computers, HCC15 2022, in Tokyo, Jap...
|
|
cena:
192,30 zł |
Production Planning and Control in Semiconductor Manufacturing: Big Data Analytics and Industry 4.0 Applications
ISBN: 9783031140648 / Angielski / Miękka / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book systematically analyzes the applicability of big data analytics and Industry 4.0 from the perspective of semiconductor manufacturing management. It reports in real examples and presents case studies as supporting evidence. In recent years, technologies of big data analytics and Industry 4.0 have been frequently applied to the management of semiconductor manufacturing. However, related research results are mostly scattered in various journal issues or conference proceedings, and there is an urgent need for a systematic integration of these results. In addition, many related...
This book systematically analyzes the applicability of big data analytics and Industry 4.0 from the perspective of semiconductor manufacturing managem...
|
|
cena:
192,30 zł |
Applied Cryptography and Network Security Workshops: Acns 2022 Satellite Workshops, Aiblock, Aihws, Aiots, Cimss, Cloud S&p, Sci, Secmt, Simla, Rome,
ISBN: 9783031168147 / Angielski / Miękka / 622 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the satellite workshops held around the 20th International Conference on Applied Cryptography and Network Security, ACNS 2022, held in Rome, Italy, in June 2022. Due to the Corona pandemic the workshop was held as a virtual event. The 31 papers presented in this volume were carefully reviewed and selected from 52 submissions. They stem from the following workshops: - AIBlock: 4th ACNS Workshop on Application Intelligence and Blockchain Security - AIHWS: 3rd ACNS Workshop on Artificial Intelligence in Hardware Security - AIoTS: 4th ACNS...
This book constitutes the proceedings of the satellite workshops held around the 20th International Conference on Applied Cryptography and Network Sec...
|
|
cena:
192,30 zł |