DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings /

DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, Proceedings /

This book constitutes the refereed proceedings of the 25th International Conference on DNA Computing and Molecular Programming, DNA 25, held in Seattle, WA, USA, in August 2019. The 12 full papers presented were carefully selected from 19 submissions. The papers cover a wide range of topics relating...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Thachuk, Chris (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Liu, Yan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:	1st ed. 2019.
Σειρά:	Theoretical Computer Science and General Issues ; 11648
Θέματα:	Computer logic. Artificial intelligence. Software engineering. Computer communication systems. Computer science-Mathematics. Logics and Meanings of Programs. Artificial Intelligence. Software Engineering. Computer Communication Networks. Math Applications in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

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

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

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)

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

Self-Adaptive Software First International Workshop, IWSAS 2000 Oxford, UK, April 17-19, 2000 Revised Papers /
Έκδοση: (2001)

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

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

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
Έκδοση: (2019)

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

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

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

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

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

Intelligent Agents VI. Agent Theories, Architectures, and Languages 6th International Workshop, ATAL'99 Orlando, Florida, USA, July 15-17, 1999 Proceedings /
Έκδοση: (2000)

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

Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings /
Έκδοση: (2004)

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings /
Έκδοση: (2018)

Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
Έκδοση: (1997)

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers /
Έκδοση: (2018)

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings /
Έκδοση: (2019)

Computational Methods in Systems Biology 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /
Έκδοση: (2018)

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings /
Έκδοση: (2018)

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

Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings /
Έκδοση: (2018)

Stochastic Models in Reliability, Network Security and System Safety Essays Dedicated to Professor Jinhua Cao on the Occasion of His 80th Birthday /
Έκδοση: (2019)

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

Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

Theorem Proving in Higher Order Logics 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
Έκδοση: (2004)

Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning /
Έκδοση: (2003)

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

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings /
Έκδοση: (2018)

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

Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Έκδοση: (2001)

Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Έκδοση: (2002)

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

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