Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 21st International Conference on Conceptual Structures, ICCS 2014, held in Iasi, Romania, in July 2014.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 20th International Symposium on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 11th International Workshop on Frontiers in... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 9th International Symposiumon Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz,Austria, in March 2016.
Bemærk: Kan ikke leveres før jul.
The papers present current research from a thriving theoretical community and a rapidly... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 13th International Conference on Formal... Læs mere
Bemærk: Kan ikke leveres før jul.
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.