Reachability Problems : :: SCD d'Orléans

Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings

This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were c...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
1. autor:	Abdulla, Aziz Parosh, 19..-
Kolejni autorzy:	Potapov, Igor (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin, Heidelberg : Springer Berlin Heidelberg 2013. Cham : Springer Nature
Seria:	Theoretical Computer Science and General Issues 8169
Hasła przedmiotowe:	Actes de congrès
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Reachability Problems, 9783642410352 • Reachability Problems, 9783642410376

Podobne zapisy

Stochastic reachability analysis of hybrid systems
od: Bujorianu, Luminita Manuela, 19..-
Wydane: (2012)

Mathematical Morphology and Its Applications to Signal and Image Processing : 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings
od: Hendriks, Cris L. Luengo, 19..-
Wydane: (2013)

Security and Trust Management : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
od: Accorsi, Rafael
Wydane: (2013)

Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings
od: Gerdt, Vladimir P., 1947-2021

Machine Learning in Medical Imaging : 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
od: Wu, Guorong
Wydane: (2013)

Augmented Reality Environments for Medical Imaging and Computer-Assisted Interventions : 6th International Workshop, MIAR 2013 and 8th International Workshop, AE-CAI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
od: Liao, Hongen
Wydane: (2013)

Cellular Automata and Discrete Complex Systems : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings
Wydane: (2013)

Scalable Uncertainty Management : 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings
od: Liu, Weiru

Abdominal Imaging. Computation and Clinical Applications : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
od: Yoshida, Hiroyuki, 1947-
Wydane: (2013)

Information Access Evaluation. Multilinguality, Multimodality, and Visualization : 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings
od: Forner, Pamela, 19..-
Wydane: (2013)

Energy Minimization Methods in Computer Vision and Pattern Recognition : 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings
od: Heyden, Anders, 19..-
Wydane: (2013)

Multiple Classifier Systems : 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings
od: Zhou, Zhi-Hua, 19..-
Wydane: (2013)

Wireless Access Flexibility : First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings

Intelligent Robotics and Applications : 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings
od: Lee, Jangmyung, 19..-

Intelligent Robotics and Applications : 6th International Conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013, Proceedings
od: Lee, Jangmyung, 19..-

Implementation of functional languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers

Multimodal Brain Image Analysis : Third International Workshop, MBIA 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings
od: Shen, Li
Wydane: (2013)

Flexible Query Answering Systems : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings
od: Legind Larsen, Henrik, 19..-

Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

CONCUR '94 : concurrency theory : 5th International Conference Uppsala, Sweden, August 22 25, 1994 : proceedings

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I
od: Mori, Kensaku
Wydane: (2013)

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III
od: Mori, Kensaku
Wydane: (2013)

Medical Image Computing and Computer-Assisted Intervention MICCAI 2013 : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II
od: Mori, Kensaku
Wydane: (2013)

Communications and Multimedia Security : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings
od: Decker, Bart
Wydane: (2013)

Speech and Computer : 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings
od: Železný, Miloš

Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
od: Leite, João

Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
od: Chatterjee, Krishnendu

OpenMP in the Era of Low Power Devices and Accelerators : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Serious Games Development and Applications : 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings
od: Ma, Minhua Eunice
Wydane: (2013)

Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
od: Heckel, Reiko
Wydane: (2013)

Hybrid Artificial Intelligent Systems : 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings
od: Pan, Jeng-Shyang

Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
od: Cabalar, Pedro

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

Language Processing and Knowledge in the Web : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings
od: Gurevych, Iryna

Euro-Par 2013 Parallel Processing : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
od: Wolf, Felix

Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings

Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
od: Bitsch, Friedemann

Discrete geometry for computer imagery : 9th International Conference DGCI 2000, Uppsala, Sweden, December 2000 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales