Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Wired/Wireless Internet Communications, WWIC 2015, held in Malaga, Spain, in May 2015.
Bemærk: Kan ikke leveres før jul.
This volume constitutes the refereed proceedings of the 7th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCI 2015, held in Los Angeles, CA, USA, in August 2015.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
VMCAI provides topics including: program verification, model checking,... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 13th Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 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.
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty Reasoning for the Semantic Web (URSW), held at the International Semantic Web Conferences (ISWC) in 2011, 2012, and 2013.