This book constitutes the thoroughly refereed post-proceedings of the 11th International Conference on Advances in Computer ...
Lire la suiteThis book cover theory, practice, applications, and experiences related to secure software.
Lire la suiteThis book cover theory, practice, applications, and experiences related to secure software.
Lire la suiteThis volume presented at the Symposium on Systems, Control, and Networks.The chapters include recent results and surveys ...
Lire la suiteThis book constitutes the proceedings of the European Grid Con-ference 2005, held at the Science Park Amsterdam The aim ...
Lire la suiteThis book contains a selection of the best papers given at the international Advanced Computer Systems Conference in October ...
Lire la suiteAdvances in Information Systems Development: Bridging the Gap between Academia and Industry, Volumes 1 and 2, are the collected ...
Lire la suiteThis book gives a comprehensive and detailed look at the current approaches to automated question answering. The book can ...
Lire la suiteThis book presents 53 independently reviewed papers which embody the latest advances in the theory, design, control and application ...
Lire la suiteThis book presents the most recent research advances in the theory, design, control and application of robot systems, which ...
Lire la suiteThis monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Lire la suitePRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific ...
Lire la suiteThis book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software ...
Lire la suiteCALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteAddressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held ...
Lire la suiteIt covers algebraic semantics on graphs and trees, formal power series, syntactic objects, algebraic picture processing, ...
Lire la suite