ilość książek w kategorii: 10656
![]() |
Quantitative Evaluation of Systems: 19th International Conference, Qest 2022, Warsaw, Poland, September 12-16, 2022, Proceedings
ISBN: 9783031163357 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications. This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in S...
|
cena:
202,19 |
![]() |
Linking Theory and Practice of Digital Libraries: 26th International Conference on Theory and Practice of Digital Libraries, Tpdl 2022, Padua, Italy,
ISBN: 9783031168017 / Angielski / Miękka / 551 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, which took place in Padua, Italy, in September 2022. The 18 full papers, 27 short papers and 15 accelerating innovation papers included in these proceedings were carefully reviewed and selected from 107 submissions. They focus on digital libraries and associated technical, practical, and social issues.
This book constitutes the proceedings of the 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, which took place in...
|
cena:
323,53 |
![]() |
CMake Best Practices: Discover proven techniques for creating and maintaining programming projects with CMake
ISBN: 9781803239729 / Angielski / Miękka / 406 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a collection of some excellent techniques that will help you to make the best use of CMake. It shows you how to integrate various development tools into your CMake workflow and covers field-proven best practices for using CMake effectively even in large, complex settings.
This book is a collection of some excellent techniques that will help you to make the best use of CMake. It shows you how to integrate various develop...
|
cena:
212,59 |
![]() |
Enterprise Application Development with C# 10 and .NET 6 - Second Edition: Become a professional .NET developer by learning expert techniques for buil
ISBN: 9781803232973 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Building production-ready enterprise applications can be a challenging task due to the overabundance of tools and their different versions that make app development complex. This updated second edition simplifies the process with an end-to-end road map for building enterprise applications from scratch using the latest features of .NET Core 6 and C# 10.
Building production-ready enterprise applications can be a challenging task due to the overabundance of tools and their different versions that make a...
|
cena:
190,89 |
![]() |
Future Access Enablers for Ubiquitous and Intelligent Infrastructures: 6th Eai International Conference, Fabulous 2022, Virtual Event, May 4, 2022, Pr
ISBN: 9783031151002 / Angielski / Miękka / 255 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed post-conference proceedings of the 6th International Conference on Future Access Enablers for Ubiquitous and Intelligent Infrastructures, FABULOUS 2022, held in May 2022. Due to COVID-19 pandemic the conference was held virtually.The 18 revised full papers were carefully reviewed and selected from 70 submissions. The papers are organized in thematic sessions on: Future access networks; Internet of Things and smart city/smart environment applications; Information and communications technology; Sustainable communications and computing infrastructures.
This book constitutes the refereed post-conference proceedings of the 6th International Conference on Future Access Enablers for Ubiquitous and Intell...
|
cena:
202,19 |
![]() |
Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise
ISBN: 9783031124280 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of...
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and ...
|
cena:
202,19 |
![]() |
Networked Systems: 10th International Conference, Netys 2022, Virtual Event, May 17-19, 2022, Proceedings
ISBN: 9783031174353 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, in May 17–19, 2022. The conference was held virtually due to the COVID-19 crisis.
The 18 full papers and 2 short papers presented were carefully reviewed and selected from 100 submissions. The scope of the conference covers all aspects related to the design and the development of these systems, including multi-core architectures, Concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, big... This book constitutes the revised selected papers of the 10th International Conference on Networked Systems, NETYS 2022, held as virtual event, i...
|
cena:
202,19 |
![]() |
Model-Driven Development of Akoma Ntoso Application Profiles: A Conceptual Framework for Model-Based Generation of XML Subschemas
ISBN: 9783031141317 / Angielski / Miękka / 47 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a model-driven approach for creating a national application profile of the international legislative document standard Akoma Ntoso (AKN). AKN is an XML-based document standard that serves as the basis for modern machine-readable and fully digital legislative and judicial processes.The described model-driven development approach ensures consistent and error-proof application of AKN concepts and types, even when using different software tools. It allows for easy maintenance, is self-documenting, and facilitates stakeholder validation with nontechnical legal experts. The...
This book presents a model-driven approach for creating a national application profile of the international legislative document standard Akoma Ntoso ...
|
cena:
181,97 |
![]() |
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
ISBN: 9783031172434 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in Octobe...
|
cena:
202,19 |
![]() |
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection: 20th International Conference, PAAMS 2022, L'Aquila, Italy, July 13–15, 2022, P
ISBN: 9783031181917 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022.The 37 full papers in this book were reviewed and selected from 67 submissions. Another 10 demonstrations papers were selected from 11 submissions are presented here as short papers. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making,...
This book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, he...
|
cena:
202,19 |
![]() |
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
ISBN: 9783031191343 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems;...
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany...
|
cena:
222,41 |
![]() |
Artificial General Intelligence: 15th International Conference, AGI 2022, Seattle, WA, USA, August 19–22, 2022, Proceedings
ISBN: 9783031199066 / Angielski / Miękka / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Artificial General Intelligence, AGI 2022, held as a hybrid event in Seattle, WA, USA, in August 2022.The 31 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems biology, goal generation, and learning systems, and so much more. Additionally, this volume contains 13 posters.
This book constitutes the refereed proceedings of the 15th International Conference on Artificial General Intelligence, AGI 2022, held as a hybrid eve...
|
cena:
343,75 |
![]() |
Semantic Knowledge Modelling Via Open Linked Ontologies: Ontologies in E-Governance
ISBN: 9783031205842 / Angielski / Twarda / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolving technological advances inArtificial Intelligence-empowered Softwarepresent significant potential to leade-Governmenttowards more collective efforts, exchange of experiences on best practices both at national and international levels and dissemination of secluded administrative knowledge. In this book, novelsemantic web-basedandlinked open data-basedapproaches are developed for the modelling and management of the huge volume of administrative data and the procedures followed by public sector bodies and for the production and management of relevant administrative knowledge.The book...
Evolving technological advances inArtificial Intelligence-empowered Softwarepresent significant potential to leade-Governmenttowards more collective e...
|
cena:
647,09 |
![]() |
Security and Privacy in Social Networks and Big Data: 8th International Symposium, SocialSec 2022, Xi'an, China, October 16–18, 2022, Proceedings
ISBN: 9789811972416 / Angielski / Miękka / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2022, which took place in Xi'an, China, in October 2022.The 23 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers were evaluated on the basis of their significance, novelty, technical quality, as well as on their practical impact or their level of advancement of the field’s foundations. They were organized in topical sections as follows: Cryptography and its applications; Network security and privacy...
This book constitutes the proceedings of the 8th International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2022, whic...
|
cena:
202,19 |
![]() |
Programming in Two Semesters: Using Python and Java
ISBN: 9783031013256 / Angielski / Twarda / 661 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before going on to use Java as the vehicle for more advanced programming concepts. The first part, which teaches Python, covers fundamental programming concepts, such as data types and control structures and functions. It introduces more complex data types such as lists and dictionaries and also deals with file handling. It introduces object-oriented concepts and ends with a case study bringing together all the...
This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory...
|
cena:
222,41 |
![]() |
Introducing Spring Framework 6: Learning and Building Java-based Applications With Spring
ISBN: 9781484286364 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Spring Framework 6 remains - by far - the leading de-facto "out of the box" practical Java meta application development framework for building complex enterprise, cloud-native applications as well as web applications and microservices.Introducing Spring Framework 6is your hands-on tutorial guide for learning the Spring Framework 6 from top to bottom, and allows you to build an example application along the way from the ground-up.As you learn the Spring Framework over the course of this book, you’llincrementally build your first Spring application piece-by-piece as you learn each module,...
Spring Framework 6 remains - by far - the leading de-facto "out of the box" practical Java meta application development framework for building complex...
|
cena:
232,43 |
![]() |
Spring 6 Recipes: A Problem-Solution Approach to Spring Framework
ISBN: 9781484286487 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This in-depth Spring-based Java developer code reference has been updated and now solves many of your Spring Framework 6 problems using reusable, complete and real-world working code examples.Spring 6 Recipes(5th Edition) now includes Spring Native which speeds up your Java-based Spring Framework built enterprise, native cloud, web applications and microservices. It also has been updated to now include Spring R2DBC for Reactive Relational Database Connectivity, a specification to integrate SQL databases, like PostgreSQL, MySQL and more, using reactive drivers.Furthermore, this book includes...
This in-depth Spring-based Java developer code reference has been updated and now solves many of your Spring Framework 6 problems using reusable, comp...
|
cena:
262,86 |
![]() |
Game Jams – History, Technology, and Organisation
ISBN: 9783031151866 / Angielski / Twarda / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will provide a comprehensive guide to creating and managing a game jam. The book will also provide an overview of how and where game jams have been held, the type of game jams, the tools and technologies used in organising and participating in game jams.
This book will provide a comprehensive guide to creating and managing a game jam. The book will also provide an overview of how and where game jams ha...
|
cena:
647,09 |
![]() |
The Evolution of Pervasive Information Systems
ISBN: 9783031181757 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important impact on IT infrastructures, which become increasingly heterogeneous, flexible, and dynamic. These new trends are transforming Information Systems into what we call Pervasive Information Systems. The purpose of this book is to combine “state-of-the-art” solutions from various research communities (such as Information Systems Engineering, Cloud Computing, Fog/Edge Computing, Pervasive systems, Distributed systems, and Middleware systems)...
This book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important imp...
|
cena:
687,54 |
![]() |
Applied Reconfigurable Computing. Architectures, Tools, and Applications: 18th International Symposium, ARC 2022, Virtual Event, September 19–20, 2022, Proceedings
ISBN: 9783031199820 / Angielski / Miękka / 197 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 18thInternational Symposium on Applied Reconfigurable Computing, ARC 2022, held as a virtual event, in September 2022.The 13 full papers presented in this volume were reviewed and selected from 16 submissions. The papers cover a broad spectrum of applications of reconfigurable computing, from driving assistance, data and graph processing acceleration, computer security to the societal relevant topic of supporting early diagnosis of Covid infectious conditions.
This book constitutes the proceedings of the 18thInternational Symposium on Applied Reconfigurable Computing, ARC 2022, held as a virtual event, in Se...
|
cena:
222,41 |