0
Your cart

Your cart is empty

Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction

Not currently available

Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (Paperback, 1st ed. 2016) Loot Price: R1,445
Discovery Miles 14 450
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (Paperback,...

Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings (Paperback, 1st ed. 2016)

Kim Guldstrand Larsen, Igor Potapov, Jiri Srba

Series: Theoretical Computer Science and General Issues, 9899

 (sign in to rate)
Loot Price R1,445 Discovery Miles 14 450 | Repayment Terms: R135 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 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.

General

Imprint: Springer International Publishing AG
Country of origin: Switzerland
Series: Theoretical Computer Science and General Issues, 9899
Release date: September 2016
First published: 2016
Editors: Kim Guldstrand Larsen • Igor Potapov • Jiri Srba
Dimensions: 235 x 155 x 11mm (L x W x T)
Format: Paperback
Pages: 193
Edition: 1st ed. 2016
ISBN-13: 978-3-319-45993-6
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
Promotions
LSN: 3-319-45993-7
Barcode: 9783319459936

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Studying and Designing Technology for…
Tejinder Judge, Carman Neustaedter Paperback R1,401 Discovery Miles 14 010
Brain Machine Interfaces for Space…
Luca Rossini, Dario Izzo Hardcover R4,993 Discovery Miles 49 930
Deceitful Media - Artificial…
Simone Natale Hardcover R2,561 Discovery Miles 25 610
Designing the User Interface: Strategies…
Ben Shneiderman, Catherine Plaisant, … Paperback R2,066 Discovery Miles 20 660
Integer Optimization and its Computation…
Zhengtian Wu Paperback R3,274 Discovery Miles 32 740
State Space Systems with Time-Delays…
Ya Gu, Chuanjiang Li Paperback R2,900 Discovery Miles 29 000
Integrated Human-Machine Intelligence…
Wei Liu Paperback R3,574 Discovery Miles 35 740
Modeling and Nonlinear Robust Control of…
Jonatan Martin Escorcia Hernandez, Ahmed Chemori, … Paperback R2,900 Discovery Miles 29 000
Customized Production Through 3D…
Lin Zhang, Longfei Zhou, … Paperback R4,074 Discovery Miles 40 740
Designing User Experience - A guide to…
David Benyon Paperback R1,951 R1,579 Discovery Miles 15 790
The Handbook of Multimodal-Multisensor…
Sharon Oviatt, Bjoern Schuller, … Hardcover R3,357 Discovery Miles 33 570
Renewable Energy Systems - Modelling…
Ahmad Taher Azar, Nashwa Ahmad Kamal Paperback R3,911 Discovery Miles 39 110

See more

Partners