Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov.

Contributor(s):

Material type: Text

TextLanguage: İngilizce Series: Theoretical Computer Science and General Issues ; 9328Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Description: 1 online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319245379

Subject(s):

LOC classification:

QA75.5-76.95

Online resources:

Springer eBooks Online access link to the resource

Summary: This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Notes	Date due	Barcode
E-Book	Merkez Kütüphane	Merkez Kütüphane	E-Kitap Koleksiyonu	QA75.5-76.95EBK (Browse shelf(Opens below))	Geçerli değil-e-Kitap / Not applicable-e-Book			EBK00793

Browsing Merkez Kütüphane shelves, Collection: E-Kitap Koleksiyonu Close shelf browser (Hides shelf browser)

Previous								Next
Previous	TK5105.5-5105.9EBK Distributed Applications and Interoperable Systems : 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /	QA76.76.A65EBK Interoperability and Open-Source Solutions for the Internet of Things : International Workshop, FP7 OpenIoT Project, Held in Conjunction with SoftCOM 2014, Split, Croatia, September 18, 2014, Invited Papers /	QA76.76.A65EBK Web Information Systems Engineering – WISE 2015 : 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part II /	QA75.5-76.95EBK Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /	QA8.9-QA10.3EBK Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /	TK5105.5-5105.9EBK Advances in Wireless Sensor Networks : The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers /	QA76.76.A65EBK Nordic Contributions in IS Research : 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings /	Next

This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems; frontiers between decidable and undecidable reachability problems; complexity and decidability aspects; predictability in iterative maps and new computational paradigms.

There are no comments on this title.

to post a comment.

Back to results

1 1.Ulusal sağlığı geliştirme ve sağlık eğitimi kongresi :
2 Çeşitli ağaç ve otsu bitki ekstraktlarından çevre ile uyumlu doğal renklendirici ve koruyucu mobilya üstyüzey işlem maddelerin geliştirilmesi /
by Göktaş, Osman
3 Kültürel ve doğal kaynak yönetimi ön araştırması II :
4 Din ve laiklik üstüne düşünceler /
by Fığlalı, Ethem Ruhi,
5 Muğla Üniversitesi Sosyal Bilimler Enstitüsü Dergisi =
6 Kamu Yönetimi Forumu KAYFOR IV Kuramdan Uygulamaya (Yönetim ve Reform), 8-9-10 Kasım 2006, Muğla Üniversitesi :
7 Liyotropik sıvı kristaller :
by Nesrullazade, Arif
8 Yalıkavak'ta sosyal yaşam :
by Oktik, Nurgün
9 Anayasa tartışmaları üzerine... /
by Yüzbaşıoğlu, Necmi
10 II. ulusal meslek yüksekokulları müdürler toplantısı 14-15 Nisan 2006 Muğla :
11 Sıvı kristalik sistemlerde termotropik faz geçiş özelliklerinin incelenmesi /
by Nesrullazade, Arif
12 Ekonomik davranışlar üzerinde etkili olan kurumsal değerlerin analizi (Muğla örneği ) /
13 Bağımsız idari otoritelerin Türk yönetim yapısı içerisindeki yeri /
by Türe, Fatih
14 Steenrod cebirindeki steenrod operatörünün nilpotentliği /
by Güney, Zekeriya
15 Geleneksel ebru boyama tekniklerinin mobilya üst yüzeylerine uyarlanmasıyla yeni bir mobilya üst yüzey tarzının geliştirilmesi /
by Göktaş, Osman
16 Matlab uygulamaları ile endüstriyel ekonomi /
by Akpolat, Oğuz
17 Hikayeler :
by İshaki, Ayaz
18 Türkiye’de üretilen yonga ve lif levhaların bazı fiziksel ve mekanik özelliklerinin TS EN standartlarına uygunluğunun ve tutarlılığının belirlenmesi /
by Erdil, Yusuf Ziya
19 Sosyal risk analizi :
20 Muğla Üniversitesi 2010-2011 eğitim-öğretim yılı açılış konuşması /
by Oktik, Şener