 
                This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI ...
Lee mas 
                "Reliability and quality professionals need to know about each other's work activities because this may help them - directly ...
Lee mas 
                The book provides a comprehensive coverage of the main statistical analysis topics important for practical applications such ...
Lee mas 
                The Fifth Workshop on Approximation and Online Algorithms (WAOA 2007) focused on the design and analysis of algorithms for ...
Lee mas 
                As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...
Lee mas 
                As software systems become increasingly ubiquitous, the issues of dependability become more and more crucial. Given that ...
Lee mas 
                This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Lee mas 
                This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
Lee mas 
                This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ...
Lee mas 
                Intended to be a contribution to the algorithmic re-reading of some classic topics of elementary number theory and an invitation ...
Lee mas 
                This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Artificial ...
Lee mas 
                This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...
Lee mas 
                The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lee mas 
                The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...
Lee mas 
                This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI ...
Lee mas 
                This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held ...
Lee mas 
                Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and ...
Lee mas 
                The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee mas 
                The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lee mas 
                This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Lee mas