KI-Beratung Beta

  • Produktbild: Reachability Problems
  • Produktbild: Reachability Problems
Band 13035

Reachability Problems 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings

78,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.10.2021

Abbildungen

XVIII, 165 p. 16 illus., 6 illus. in color.

Herausgeber

Paul C. Bell + weitere

Verlag

Springer

Seitenzahl

165

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

295 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-89715-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.10.2021

Abbildungen

XVIII, 165 p. 16 illus., 6 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

165

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

295 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-89715-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Reachability Problems
  • Produktbild: Reachability Problems
  • Invited Papers.- Quantitative vs. Weighted Automata.- Theorem Proving Using Clausal Resolution: From Past to Present.- Population Protocols: Beyond Runtime Analysis.- Recent Advances on Reachability Problems for Valence Systems (Invited Talk).- Regular Papers.- Improvements in Unfolding of Colored Petri Nets.- Reachability of weakly nonlinear systems using Carleman linearization.- Continued Fraction approach to Gauss-Reduction theory.- Absent Subsequences in Words.- Minimal Number of Calls in Propositional Protocols.- Reachability Is NP-Complete Even for the Simplest Neural Networks.-