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...Lasīt vairāk
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,...Lasīt vairāk
(Izdošanas datums: 17-May-2013, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
(Izdošanas datums: 16-May-2013, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty-Kiriaki Panourgia
Sērija : Programming and Software Engineering
(Izdošanas datums: 11-Jun-2012, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
David England, Philippe Palanque, Jean Vanderdonckt, Peter Wild
Sērija : Programming and Software Engineering
(Izdošanas datums: 18-Feb-2010, Paperback / softback, Izdevniecība: 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....Lasīt vairāk