000			01039nmm a2200313Ia 4500
008			140908s9999 xx 000 0 und d
020			_a9781402042232, 978-1-4020-4223-2
040			_aNISER LIBRARY
041			_aEnglish
082			_a541.2, _b23
245			_aModern Formal Methods and Applications
260			_aDordrecht _bSpringer Netherlands _c2006.
500			_aChemistry and Materials Science (Springer-11644)
650			_aAppl.Mathematics/Computational Methods of Engineering
650			_aChemistry
650			_aChemistry
650			_aChemistry - Mathematics
650			_aComputational Science and Engineering
650			_aComputer science
650			_aEngineering mathematics
650			_aLogic design
650			_aLogics and Meanings of Programs
650			_aMath. Applications in Chemistry
650			_aMathematical Logic and Formal Languages
650			_aModels and Principles
700			_aGabbar, Hossam A., editor.
856			_uhttp://dx.doi.org/10.1007/1-4020-4223-X
942			_cEB
999			_c19542 _d19542