نتایج جستجو
Abstraction, refinement and proof for probabilistic systems
McIver, Annabelle; Morgan, Charles C, 2005
Analysis and synthesis of logics: How to cut and paste reasoning systems
Gouveia, Paula; Coniglio, Marcelo; Sernadas, Cristina; Carnielli, Walter; Gabbay, Dov M, 2008
Complex analysis and dynamical systems. New trends and open problems
Agranovsky M.et al. (eds.), 2018
Pipeline Pumping and Compression Systems: A Practical Approach
Kamal K Botros (Author), Thomas Van Hardeveld
Linear Dynamical Quantum Systems: Analysis, Synthesis, and Control
Hendra I Nurdin, Naoki Yamamoto, 2017
Lie algebras of linear systems and their automorphisms [PhD thesis]
Mengyuan Zhang, 2014
Philosophy of complex systems
Gabbay, Dov M.; Hooker, C. A (ed.), 2011
Quantum physics of light and matter : photons, atoms, and strongly correlated systems
Salasnich, Luca, 2017
Quite Inefficient Algorithms for Solving Systems of Polynomial Equations [expository notes]
Lars Wallenborn, Jesko Hüttenhain, 2011?
Smart electronic systems : heterogeneous integration of silicon and printed electronics
Tenhunen, Hannu; Zheng, Li-Rong; Zou, Zhuo, 2018
Variable Frequency Transformers for Large Scale Power Systems Interconnection: Theory and Applications
Gesong Chen; Xiaoxin Zhou; Rui Chen, 2018
First Aid for the Basic Sciences: Organ Systems, Second Edition
Tao Le, Kendall Krause, Elizabeth Halvorson, William Hwang, 2011
Distributed operating systems : concepts and practice.
Galli, Doreen L., 2000
Physical Models of Living Systems
Philip Nelson, 2015
Abstract tensor systems and diagrammatic representations [expository notes]
Janis Lazovskis, 2012
Practical Security Simple Practices for Defending Your Systems
Roman Zabricki, 2019
Modeling Chemical Systems using Cellular Automata
Lemont B. Kier, Paul G. Seybold, Chao-Kun Cheng, 2005
