„Formal Methods“

Suchergebnisse

1.421 Treffer

• Leveraging Applications of Formal Methods, Verification, and Validation – 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
  Lamprecht, Anna-Lena 2016 Springer International Publishing
• Methods for the quantitative determination of formaldehyde and their use in the analysis of natural compounds
  Isai, S. V. ; Vas'kovskii, V. E.
• A formal psychological theory for evolutionary economics
  Markey-Towler, Brendan
• Taxonomy of teaching methods and teaching forms for youth in non-formal education in the National Youth Council of Slovenia – Taksonomija ucnih metod in oblik za mlade v neformalnem izobrazevanju v Mladinskem svetu Slovenije
  Milosevic Zupancic, Vesna 2018 University of Ljubljana
• A Mathematical Account of the NEGF Formalism
  Cornean, Horia D. ; Moldoveanu, Valeriu ; Pillet, Claude-Alain
• Preparation of nano-TiO2/diatomite-based porous ceramics and their photocatalytic kinetics for formaldehyde degradation
  Gao, Ru-qin ; Sun, Qian ; Fang, Zhi ; Li, Guo-ting ; Jia, Meng-zhe ; Hou, Xin-mei
• Provably Correct Systems
  Hinchey, Mike ; Bowen, Jonathan P. ; Olderog, Ernst-Rüdiger 2017 Springer International Publishing
• Formal Methods: State of the Art and New Directions
  Boca, Paul ; Bowen, Jonathan P. ; Siddiqi, Jawed I. 2010 Springer London
• Synthesis of Al2O3 with tunable pore size for efficient formaldehyde oxidation degradation performance
  Mei, Jing ; Shao, Yamin ; Lu, Shaoxiang ; Ma, Yusha ; Ren, Lili
• On Wavelet and Leader Wavelet Based Large Deviation Multifractal Formalisms for Non-uniform Hölder Functions
  Ben Slimane, Mourad ; Ben Abid, Moez ; Ben Omrane, Ines ; Halouani, Borhen
• Psychology and formalisation – phenomenology, ethnomethodology and statistics
  Williams, Anita 2017 Peter Lang Edition
• Synthesis and characterization of phenol–formaldehyde microcapsules for self-healing coatings
  Qiao, Lei ; Xue, Ying ; Zhang, Qiuyu
• Formal Methods Based Synthesis of Single Event Transient Tolerant Combinational Circuits
  Hamad, Ghaith Bany ; Ait Mohamed, Otmane ; Savaria, Yvon
• Historical social research – an international journal for the application of formal methods to history = Historische Sozialforschung. Selected bibliography = Auswahlbibliographie
  Zentrum für Historische Sozialforschung
• Formal methods – proceedings
  Wing, Jeannette M. Springer
• Formal methods for industrial applications – specifying and programming the steam boiler control
  Abrial, Jean-Raymond Springer
• Formal software development methods – proceedings
  Prehn, Søren Springer
• Formal techniques for computer systems and business processes – proceedings
  Bravetti, Mario 2005 Springer
• Formal methods – proceedings
  Fitzgerald, John 2005 Springer
• Formal methods for mobile computing
  Bernardo, Marco 2005 Springer