Der Perlentaucher unter den Buchläden

Genauer suchen (2 Treffer)
Filter schließen (2 Treffer)

Suchergebnis

  1. Handbook of Model Checking
    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. Introduction to Mechanics and Symmetry
    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€

    Etwa 7 Tage

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