Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed post-conference proceedings of the... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book contains the thoroughly refereed proceedings of the 12th... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the thoroughly refereed proceedings of the 5th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 12th International... Læs mere
Bemærk: Kan ikke leveres før jul.
This volume constitutes the thoroughly refereed post-conference... Læs mere
Bemærk: Kan ikke leveres før jul.
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015.
Bemærk: Kan ikke leveres før jul.
The papers are organized along a set of thematic tracks: program analysis... Læs mere
Bemærk: Kan ikke leveres før jul.
FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org).
Bemærk: Kan ikke leveres før jul.
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.
Bemærk: Kan ikke leveres før jul.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013.