This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
Weiterlesen
This book constitutes the refereed proceedings of the 4th International Conference on Algorithmic Aspects in Information ...
Weiterlesen
This book constitutes the refereed proceedings of the 8th International Conference on Algorithms and Architectures for Parallel ...
Weiterlesen
An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate ...
Weiterlesen
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and ...
Weiterlesen
This book constitutes the refereed proceedings of the 15th International Conference on Analytical and Stochastic Modeling ...
Weiterlesen
This book constitutes the refereed proceedings of the 11th International Conference on Applications and Techniques in Information ...
Weiterlesen
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Weiterlesen
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Weiterlesen
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications ...
Weiterlesen
This book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied ...
Weiterlesen
This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI ...
Weiterlesen
The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for ...
Weiterlesen
As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Weiterlesen
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
Weiterlesen
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ...
Weiterlesen
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Artificial ...
Weiterlesen
This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...
Weiterlesen
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Weiterlesen