for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 11th European Workshop on Performance... Læs mere
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.
This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP... Læs mere
The two volumes LNCS 8814 and 8815 constitute the thoroughly refereed... Læs mere
This book constitutes the refereed proceedings of workshops, held at the 33rd International Conference on Conceptual Modeling, ER 2014, in Atlanta, GA, USA in October 2014.
This book constitutes the refereed proceedings of the 19th Iberoamerican... Læs mere
It contains a gate level construction of a multi-core machine with pipelined MIPS processor cores and a sequentially... Læs mere
The two volume set LNCS 8887 and 8888 constitutes the refereed proceedings of... Læs mere
This book constitutes the refereed proceedings of the 4th International Conference on Biologically Inspired Music, Sound, Art and Design, EvoMUSART 2015, held in Copenhagen, Denmark, in April 2015, co-located with the Evo* 2015 events EuroGP, EvoCOP and Evo Applications.
This book contains 15 thoroughly refereed research papers selected from... Læs mere