This book constitutes the refereed proceedings of the 6th International Conference on Big Data analytics, BDA 2018, held in Warangal, India, in December 2018.
This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018.
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.
This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Mobile, Secure, and Programmable Networking, held in Paris, France, in June 2018.
This book constitutes the proceedings of the 16th IFIP International Conference on Wired/Wireless Internet Communications, WWIC 2018, held in Boston, MA, USA, in June 2018.
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.
This double volumes LNCS 11229-11230 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C&TC, held as part of OTM 2018 in October 2018 in Valletta, Malta.
This book constitutes the thoroughly refereed post-conference proceedings of the 6th Annual Privacy Forum, APF 2018, held in Barcelona, Spain, in June 2018.
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018.
This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018.
This book constitutes the refereed proceedings of the 15th International Conference on Virtual Reality and Augmented Reality, EuroVR 2018, held in London, UK, in October 2018.
This book constitutes the joint refereed proceedings of the 18th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2018, the 11th Conference on Internet of Things and Smart Spaces, ruSMART 2018.
This book constitutes the refereed proceedings of the 32nd International Symposium on Computer and Information Sciences, ISCIS 2018, held in Poznan, Poland, in September 2018.
This book constitutes the refereed proceedings of the 12th European Conference on Software Architecture, ECSA 2018, held in Madrid, Spain, in September 2018.
This volume constitutes the refereed proceedings of the 18th International Conference on Software Process Improvement and Capability Determination, SPICE 2018, held in Tessaloniki, Greece, in October 2018.
This book constitutes the proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2018) held at Grenoble, France, in September 2018.
This book constitutes the refereed proceedings of the 16th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2018, held in St.
This volume chronicles the 16th Annual Conference on System Engineering Research (CSER) held on May 8-9, 2018 at the University of Virginia, Charlottesville, Virginia, USA.
As multicriteria decision-making (MCDM) continues to grow and evolve, machine learning (ML) techniques have become increasingly important in finding efficient and effective solutions to complex problems.
Computer system performance evaluation is a key discipline for the understanding of the behavior and limitations of large scale computer systems and networks.
This absorbing book provides a broad introduction to the surprising nature of change, and explains how the Law of Unintended Consequences arises from the waves of change following one simple change.
Analysis and Synthesis of Computer Systems presents a broad overview of methods that are used to evaluate the performance of computer systems and networks, manufacturing systems, and interconnected services systems.
Learn from the AWS subject-matter experts, explore real-world scenarios, and pass the AWS Certified Developer - Associate examKey FeaturesThis fast-paced guide will help you clear the AWS Certified Developer - Associate (DVA-C01) exam with confidenceGain valuable insights to design, develop, and deploy cloud-based solutions using AWSDevelop expert core AWS skills with practice questions and mock testsBook DescriptionThis book will focus on the revised version of AWS Certified Developer Associate exam.
Understand and solve complex computational problems and write efficient code with KotlinKey FeaturesLearn about important data structures such as lists, arrays, queues, and stacksDesign custom algorithms for real-life implementationsIdentify suitable tools for different scenarios and deliver immediate resultsBook DescriptionData structures and algorithms are more than just theoretical concepts.
Written by the creator of the Unicon programming language, this book will show you how to implement programming languages to reduce the time and cost of creating applications for new or specialized areas of computingKey FeaturesReduce development time and solve pain points in your application domain by building a custom programming languageLearn how to create parsers, code generators, file readers, analyzers, and interpretersCreate an alternative to frameworks and libraries to solve domain-specific problemsBook DescriptionThe need for different types of computer languages is growing rapidly and developers prefer creating domain-specific languages for solving specific application domain problems.
Explore a wide variety of popular interview questions and learn various techniques for breaking down tricky bits of code and algorithms into manageable chunksKey FeaturesDiscover over 200 coding interview problems and their solutions to help you secure a job as a Java developerWork on overcoming coding challenges faced in a wide array of topics such as time complexity, OOP, and recursionGet to grips with the nuances of writing good code with the help of step-by-step coding solutionsBook DescriptionJava is one of the most sought-after programming languages in the job market, but cracking the coding interview in this challenging economy might not be easy.
Adopt a diagrammatic approach to creating robust real-time embedded systemsKey FeaturesExplore the impact of real-time systems on software designUnderstand the role of diagramming in the software development processLearn why software performance is a key element in real-time systemsBook DescriptionFrom air traffic control systems to network multimedia systems, real-time systems are everywhere.
Take your ROS skills to the next level by implementing complex robot structures in a ROS simulationKey FeaturesLearn fundamental ROS concepts and apply them to solve navigation tasksWork with single board computers to program smart behavior in mobile robotsUnderstand how specific characteristics of the physical environment influence your robot's performanceBook DescriptionConnecting a physical robot to a robot simulation using the Robot Operating System (ROS) infrastructure is one of the most common challenges faced by ROS engineers.
Explore software engineering methodologies, techniques, and best practices in Go programming to build easy-to-maintain software that can effortlessly scale on demandKey FeaturesApply best practices to produce lean, testable, and maintainable Go code to avoid accumulating technical debtExplore Go's built-in support for concurrency and message passing to build high-performance applicationsScale your Go programs across machines and manage their life cycle using KubernetesBook DescriptionOver the last few years, Go has become one of the favorite languages for building scalable and distributed systems.
Become well-versed with the tools available in the Siemens TIA toolbox and write PLC and HMI code effectivelyKey FeaturesFind out how to use TIA Portal effectively to boost your productivityLearn about a structured design pattern and understand why it is so powerful when implemented correctlyDiscover efficient project management and design practicesBook DescriptionWith automation requirements on the rise, Siemens' TIA Portal development environment is almost a necessity for any automation engineer.
The ultimate handbook for new and seasoned Salesforce B2C Solution Architects who want to design seamless B2C solutions across the Salesforce Customer 360 ecosystem - including B2C Commerce, Service Cloud, and Marketing CloudKey FeaturesGive your customers a frictionless experience by creating a unified view of all their interactionsGet your architectural design right the first time and avoid costly reworksPrepare for the B2C Solution Architect exam and Salesforce certification with practical scenarios following Salesforce best practicesBook DescriptionThere's a huge demand on the market for Salesforce professionals who can create a single view of the customer across the Salesforce Customer 360 platform and leverage data into actionable insights.