This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016.The 18 full and 5 short papers included in this volume were carefully reviewed and selected f...Daugiau...
This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015.The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers,...Daugiau...
(Išleidimo metai: 17-May-2013, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642384929)
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Comput...Daugiau...
(Išleidimo metai: 16-May-2013, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642385919)
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Netwo...Daugiau...
Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty-Kiriaki Panourgia
Serija: Programming and Software Engineering
(Išleidimo metai: 11-Jun-2012, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642309496)
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Tutoring Systems, ITS 2012, held in Chania, Crete, Greece, in June 2012. The 28 revised full papers, 50 short papers, and 56 posters presented were car...Daugiau...
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild
Serija: Programming and Software Engineering
(Išleidimo metai: 18-Feb-2010, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642117961)
th TAMODIA 2009 was the 8 International Workshop in the series looking at TAskMOdelsandDIAgramsforUserInterfaceDevelopment. Overtheyearsthe submissionshavelookedatavarietyofperspectivesformodeling andannotating the user interface development process....Daugiau...
