This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
اقرأ المزيدThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
اقرأ المزيدThis book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...
اقرأ المزيدThe Internet of Things offers massive societal and economic opportunities while at the same time significant challenges, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the IFIP WG 8.2, 9.1, 9.4 Joint Working Conference on the Future of Digital ...
اقرأ المزيدThe objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
اقرأ المزيدThis volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...
اقرأ المزيدThis book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...
اقرأ المزيدThe book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...
اقرأ المزيدThe book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
اقرأ المزيدThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيدThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
اقرأ المزيدThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدThis book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيدThis book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
اقرأ المزيدThis book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
اقرأ المزيدThe scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
اقرأ المزيدThis volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...
اقرأ المزيد