The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to ...
WeiterlesenThis book is organized in topical sections on architectural design and architectural decisions, tracing architectural decisions, ...
Weiterlesentarting with the basic structure of R, the book takes you on a journey through the terminology used in R and the syntax required ...
WeiterlesenThis book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
WeiterlesenThis book is organized in topical sections on applications, collective operations, library internals, message passing for ...
WeiterlesenThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
WeiterlesenRethinking Productivity in Software Engineering, includes chapters covering definitions and core concepts related to productivity, ...
WeiterlesenThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
WeiterlesenThis book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
WeiterlesenThe subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
WeiterlesenThe book address artificial intelligence researchers, database researchers, and practitioners to demonstrate theoretical ...
WeiterlesenThis book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
WeiterlesenThe goal of the International Symposia on Software Composition is to advance the state of the research in component-based ...
WeiterlesenThis book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, ...
WeiterlesenThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
WeiterlesenThe book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
WeiterlesenTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
WeiterlesenBuild, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics. This book ...
WeiterlesenThis book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
WeiterlesenShow you how these applications can take advantage of JavaFX’s latest user interface components, 3D technology, and cloud ...
Weiterlesen