Søgning på underkategorier- og emner:
This volume synthesizes theoretical and practical aspects of both the mathematical and life science viewpoints needed for modeling of the cardiovascular-respiratory system specifically and physiological systems generally.
This book constitutes the refereed proceedings of the 11th International Conference on Artificial Immune Systems, ICARIS 2012, held in Taormia, Italy, in August 2012.
This book is unique in its attempt to give an overview of dispersal studies across different spatial scales, such as the scale of individual movement, the population scale and the scale of communities and ecosystems.
The LNCS journal Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD)... Læs mere
This book constitutes the thoroughly refereed post-workshop proceedings... Læs mere
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences.
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The papers cover various topics such as complexity of automata;
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam, in June 2013.