This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Computation, ISAAC 2006, ...
Weiterlesen
The book present research on the theory and application of algorithms and data structures in all areas, including combinatorics, ...
Weiterlesen
The book present research on the theory and application of algorithms and data structures in all areas, including combinatorics, ...
Weiterlesen
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
Weiterlesen
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Weiterlesen
Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and ...
Weiterlesen
Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology. There have ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems ...
Weiterlesen
This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on ...
Weiterlesen
The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, ...
Weiterlesen
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Weiterlesen
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Weiterlesen
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Weiterlesen
This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...
Weiterlesen
Includes all the cloud-related technologies in a single platform, so that researchers, academicians, postgraduate students, ...
Weiterlesen
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Weiterlesen
The four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
Weiterlesen
The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Weiterlesen
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, ...
Weiterlesen
Thesearetheproceedingsofthe21stInternationalSymposiumonComputerand ? Information Sciences (ISCIS 2006) held in Istanbul, ...
Weiterlesen