Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings /

Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings /

This book constitutes the proceedings of the 17th International Conference on Unconventional Computation and Natural Computation, UCNC 2018, held in Fontainebleau, France, in June 2018. The 15 full papers presented were carefully reviewed and selected from 22 submissions. The paper cover topics such...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Stepney, Susan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Verlan, Sergey (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Theoretical Computer Science and General Issues ; 10867
Θέματα:	Computer logic. Software engineering. Artificial intelligence. Computer memory systems. Data encryption (Computer science). Logics and Meanings of Programs. Software Engineering. Artificial Intelligence. Memory Structures. Cryptology.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Intelligent Memory Systems Second International Workshop, IMS 2000, Cambridge, MA, USA, November 12, 2000. Revised Papers /
Έκδοση: (2001)

Computational Neuroscience: Cortical Dynamics 8th International Summer School on Neural Nets, Erice, Italy, October 31 - November 6, 2003 Revised Lectures /
Έκδοση: (2004)

Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream Reconfigurable Computing Is Going Mainstream /
Έκδοση: (2002)

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

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3-7, 2019, Proceedings /
Έκδοση: (2019)

Parallel Computer Routing and Communication Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, Proceedings /
Έκδοση: (1998)

Pro .NET Memory Management For Better Code, Performance, and Scalability /
ανά: Kokosa, Konrad, κ.ά.
Έκδοση: (2018)

Searchable Storage in Cloud Computing
ανά: Hua, Yu, κ.ά.
Έκδοση: (2019)

Theoretical Aspects of Computing - ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /
Έκδοση: (2018)

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers /
Έκδοση: (2019)

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

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

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

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

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

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
Έκδοση: (2019)

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

Computer Aided Verification 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings /
Έκδοση: (2001)

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)

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

Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
Έκδοση: (2018)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Έκδοση: (2018)

Reversible Computation 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /
Έκδοση: (2018)

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

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
Έκδοση: (2019)

Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
Έκδοση: (2018)

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
Έκδοση: (2019)

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

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
Έκδοση: (2018)

Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings /
Έκδοση: (1998)

Computational Science - ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018 Proceedings, Part III /
Έκδοση: (2018)

Computational Science - ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II /
Έκδοση: (2018)

Computational Science - ICCS 2018 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part I /
Έκδοση: (2018)

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /
Έκδοση: (2018)

Digital Storage in Consumer Electronics The Essential Guide /
ανά: Coughlin, Thomas M., κ.ά.
Έκδοση: (2018)

Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations
Έκδοση: (2018)

Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
Έκδοση: (2018)

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

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

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

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