Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Buchautor*innen: Pierre Collet oder J. -P. Eckmann oder Jerrold E. Marsden oder Tudor S. Ratiu

1. 

   eng

   Handbook of Model Checking

   • Springer-Verlag GmbH
   • 2018

   • Gebunden
   • 1212 Seiten

   149,79€

   Auf Lager

   Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from rese…

2. 

   eng

   Pierre Collet / J. -P. Eckmann

   Iterated Maps on the Interval as Dynamical Systems

   • Springer Nature B.V.
   • 2009

   • Taschenbuch
   • 262 Seiten

   57,00€

   Etwa 20 Tage

   Iterations of continuous maps of an interval to itself serve as the simplest examples of models for dynamical systems. These models present an intere…

3. 

   Jerrold E. Marsden / Tudor S. Ratiu

   Introduction to Mechanics and Symmetry

   A Basic Exposition of Classical Mechanical Systems

   • Springer-Verlag GmbH
   • 1999

   • Pappbilderbuch
   • 586 Seiten

   89,99€

   Auf Lager

   A development of the basic theory and applications of mechanics with an emphasis on the role of symmetry. The book includes numerous specific applica…