Self-Adaptive Software First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers /

Self-Adaptive Software First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers /

Self-adaptive software evaluates its own behavior and changes its behavior when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well-k...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Robertson, Paul (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Shrobe, Howie (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Laddaga, Robert (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Έκδοση:	1st ed. 2001.
Σειρά:	Lecture Notes in Computer Science, 1936
Θέματα:	Software engineering. Application software. Artificial intelligence. Computer logic. Computer communication systems. Software Engineering/Programming and Operating Systems. Computer Applications. Artificial Intelligence. Software Engineering. Logics and Meanings of Programs. Computer Communication Networks.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Self-Adaptive Software Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers /
Έκδοση: (2003)

Intelligent Agents VII. Agent Theories Architectures and Languages 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings /
Έκδοση: (2001)

Agent-Oriented Software Engineering First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers /
Έκδοση: (2001)

Intelligent Agents: Specification, Modeling, and Application 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings /
Έκδοση: (2001)

Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
Έκδοση: (2000)

Agent-Oriented Software Engineering II Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised Papers and Invited Contributions /
Έκδοση: (2002)

Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers /
Έκδοση: (1999)

Intelligent Agents IV: Agent Theories, Architectures, and Languages 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings /
Έκδοση: (1998)

Formal Approaches to Agent-Based Systems First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers /
Έκδοση: (2001)

Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
Έκδοση: (2000)

Intelligent Agents and Multi-Agent Systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings /
Έκδοση: (2002)

Intelligent Agents and Multi-Agent Systems 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings /
Έκδοση: (2003)

Intelligent Agents V: Agents Theories, Architectures, and Languages 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings /
Έκδοση: (1999)

Communication in Multiagent Systems Agent Communication Languages and Conversation Policies /
Έκδοση: (2003)

Intelligent Agents VIII 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers /
Έκδοση: (2002)

Innovative Internet Computing Systems International Workshop IICS 2001 Ilmenau, Germany, June 21-22, 2001 Proceedings /
Έκδοση: (2001)

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings /
Έκδοση: (2001)

Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
Έκδοση: (2001)

Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
Έκδοση: (2000)

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings /
Έκδοση: (2019)

Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
Έκδοση: (2003)

Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Έκδοση: (2002)

Issues in Agent Communication
Έκδοση: (2000)

Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
Έκδοση: (2003)

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings /
Έκδοση: (2019)

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
Έκδοση: (2001)

Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
Έκδοση: (2002)

Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /
Έκδοση: (2001)

Telecommunications and beyond: The Broader Applicability of SDL and MSC Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers /
Έκδοση: (2003)

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings /
Έκδοση: (2017)

Meta-Level Architectures and Reflection Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings /
Έκδοση: (1999)

Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings /
Έκδοση: (2019)

Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
Έκδοση: (2003)

Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Έκδοση: (1998)

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Έκδοση: (2001)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
Έκδοση: (2002)

Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 /
Έκδοση: (1997)

Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings /
Έκδοση: (2004)

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
Έκδοση: (2018)

Intelligent Transport Systems - From Research and Development to the Market Uptake First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings /
Έκδοση: (2018)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_rjq0v3idjd1p4ia8drs5p9tpua