Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Danny Weyns 51 träffar

Titel Författare År Språk
1 A Case Study on Formal Verification of Self-Adaptive Behaviors in a Decentralized System 2012 September 8 UK Newcastle 11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012) 2012 Engelska
2 A Self-Adaptive Software System to Support Elderly Care Odessa 2013 25-26 April Modern Information Technology (MIT) 2013 Engelska
3 Advanced Agent Technology Adriaan Mors 2012 Okänt
4 Agent Environments for Multi-Agent Systems IV - 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers 2015 Engelska
5 Agent Environments for Multi-Agent Systems IV 2015 Okänt
6 Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers 2011 Okänt
7 Engineering Environment-Mediated Multi-Agent Systems - International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers Jaime G. Carbonell 2008 Engelska
8 Engineering Environment-Mediated Multi-Agent Systems Danny Weyns 2008 Okänt
9 Environments for Multi-agent Systems: First International Workshop, E4MAS 2004, New York, NY, July 19, 2004 : Revised Selected Papers (Lecture notes in computer science, Lecture notes in artificial intelligence) Danny Weyns 2005 Okänt
10 Environments for Multi-agent Systems II: Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005 : Selected Revised and Invited Papers (Lecture notes in computer science, Lecture notes in artificial intelligence 3830) Danny Weyns 2006 Okänt
11 Environments for Multi-Agent Systems III Danny Weyns 2007 Okänt
12 Advanced Agent Technology - AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers Francien. Dechesne 2012 Engelska
13 Do External Feedback Loops Improve the Design of Self-Adaptive Systems? - A Controlled Experiment San Fransisco 2013 May 20-21 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems(SEAMS) 2013 Engelska
14 A Model-Based Approach to Engineer Self-Adaptive Systems with Guarantees Muhammad Usman Iftikhar 2017 Engelska
15 ActivFORMS - Active Formal Models for Self-adaptation Muhammad Usman Iftikhar 2014 Engelska
16 Assuring System Goals Under Uncertainty with Active Formal Models of Self-adaptation Muhammad Usman Iftikhar 2014 Engelska
17-18 Formal Verification of Self-Adaptive Behaviors in Decentralized Systems with Uppaal - An Initial Study (flera utgåvor) Muhammad Usman Iftikhar 2012 Engelska
19 Supporting Online Updates of Software Product Lines - A Controlled Experiment AB; Canada; 19-23 September 2011 ESEM 2011; Banff 2011 5th International Symposium on Empirical Software Engineering and Measurement Bartosz Michalik 2011 Engelska
20 Multi-agent systems Elektroniks resurs - simulation and applications c2009 Engelska

1 2 3 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.