Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /

Reachability Problems 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018. The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Potapov, Igor (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Reynier, Pierre-Alain (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Έκδοση:	1st ed. 2018.
Σειρά:	Theoretical Computer Science and General Issues ; 11123
Θέματα:	Computer logic. Numerical analysis. Computer science-Mathematics. Mathematical statistics. Logics and Meanings of Programs. Numeric Computing. Math Applications in Computer Science. Probability and Statistics in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Hybrid Systems Biology 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers /
Έκδοση: (2019)

Finite Difference Methods. Theory and Applications 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers /
Έκδοση: (2019)

WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings /
Έκδοση: (2018)

Cellular Automata and Discrete Complex Systems 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings /
Έκδοση: (2018)

Queueing Theory and Network Applications 14th International Conference, QTNA 2019, Ghent, Belgium, August 27-29, 2019, Proceedings /
Έκδοση: (2019)

Parallel Problem Solving from Nature - PPSN XV 15th International Conference, Coimbra, Portugal, September 8-12, 2018, Proceedings, Part II /
Έκδοση: (2018)

Parallel Problem Solving from Nature - PPSN XV 15th International Conference, Coimbra, Portugal, September 8-12, 2018, Proceedings, Part I /
Έκδοση: (2018)

Computers and Games Third International Conference, CG 2002, Edmonton, Canada, July 25-27, 2002, Revised Papers /
Έκδοση: (2003)

Energy Minimization Methods in Computer Vision and Pattern Recognition 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 - November 1, 2017, Revised Selected Papers /
Έκδοση: (2018)

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

Stochastic Algorithms: Foundations and Applications Second International Symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003, Proceedings /
Έκδοση: (2003)

Random Numbers and Computers
ανά: Kneusel, Ronald T., κ.ά.
Έκδοση: (2018)

Swarm Intelligence 11th International Conference, ANTS 2018, Rome, Italy, October 29-31, 2018, Proceedings /
Έκδοση: (2018)

Computer Science - Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings /
Έκδοση: (2018)

Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27-29, 2019, Proceedings /
Έκδοση: (2019)

Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
Έκδοση: (2002)

Research in Computational Molecular Biology 22nd Annual International Conference, RECOMB 2018, Paris, France, April 21-24, 2018, Proceedings /
Έκδοση: (2018)

Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019, Revised Selected Papers /
Έκδοση: (2019)

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings /
Έκδοση: (2018)

Distributed Computer and Communication Networks 22nd International Conference, DCCN 2019, Moscow, Russia, September 23-27, 2019, Revised Selected Papers /
Έκδοση: (2019)

Sailing Routes in the World of Computation 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings /
Έκδοση: (2018)

Combinatorial Optimization and Applications 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings /
Έκδοση: (2018)

Computing in Object-Oriented Parallel Environments Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings /
Έκδοση: (1999)

Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings /
Έκδοση: (2004)

Artificial Evolution 13th International Conference, Évolution Artificielle, EA 2017, Paris, France, October 25-27, 2017, Revised Selected Papers /
Έκδοση: (2018)

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
Έκδοση: (2018)

Numerical Methods and Applications 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers /
Έκδοση: (2019)

Scale Space and Variational Methods in Computer Vision 7th International Conference, SSVM 2019, Hofgeismar, Germany, June 30 - July 4, 2019, Proceedings /
Έκδοση: (2019)

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018, Revised Selected Papers /
Έκδοση: (2019)

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

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

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
Έκδοση: (2018)

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers /
Έκδοση: (2019)

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26-28, 2019, Proceedings /
Έκδοση: (2019)

WALCOM: Algorithms and Computation 13th International Conference, WALCOM 2019, Guwahati, India, February 27 - March 2, 2019, Proceedings /
Έκδοση: (2019)

Computational Diffusion MRI International MICCAI Workshop, Granada, Spain, September 2018 /
Έκδοση: (2019)

Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings /
Έκδοση: (2019)

Scalable Uncertainty Management 13th International Conference, SUM 2019, Compiègne, France, December 16-18, 2019, Proceedings /
Έκδοση: (2019)

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings /
Έκδοση: (2019)

Mathematical Optimization Theory and Operations Research 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings /
Έκδοση: (2019)

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

Cannot write session to /tmp/vufind_sessions/sess_71ll3lao3hn4teset7i2amjnso