| ISBNS.co.in | |
  | |
| खोजा जा रहा है ... |
| 0 % | ||
Books by Ingo Claben
  | | Act Algebraic Specification Techniques & Tools for Software Development (Amast Series in Computing) द्वारा Hartmut Ehrig, Dietmar Wolz, Ingo Classen, Ingo Claben, Amast Fund, Werner Fey Hardcover, 256 पन्ने, प्रकाशित 1993 द्वारा World Scientific Pub Co Inc ISBN-13: 978-981-02-1227-8, ISBN: 981-02-1227-5 "The ACT Approach Ingo Classen, Hartmut Ehrig, Dietmar Wolz. The editor state consists of several components (see type STATE), ... Note how the bound variable res (see appendix B.2), that always contains the result of the last evaluation, is used. apt> eval key-m(key-a(key-r(key-g(key-o(key-r(key-p(key-clr jd(res)))))))) Now we apply the rule with name program. apt> eval key-apply(res) Next we put the cursor position on 4.2. USER IN ..." |
 | | Thermomechanics of Phase Transitions in Classical Field Theory (SERIES ON ADVANCES IN MATHEMATICS FOR APPLIED SCIENCES) द्वारा Antonio Romano, Ingo Claben, Hartmut Ehrig, Dietmar Wolz, Albert Romano Hardcover, 255 पन्ने, प्रकाशित 1993 द्वारा World Scientific Pub Co Inc ISBN-13: 978-981-02-1398-5, ISBN: 981-02-1398-0 "The complex processes of state changes can be interpreted by resorting to Statistical Quantum Mechanics. However, it is well known that a phenomenological description of state changes can be obtained by using the classical continuum theory. This book supplies a panoramic picture of known and new mathematical models which are suitable to describe phase changes from a macroscopic view point. All these models are derived from the theory of ..." |
 | | Thermomechanics Of Phase Transitions In Classical Field Theory द्वारा Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz 271 पन्ने, प्रकाशित 1993 द्वारा World Scientific ISBN-13: 978-981-4504-18-8, ISBN: 981-4504-18-1 "Ingo Claben, Hartmut Ehrig, A Romano, Dietmar Wolz. V ( x , y , z ) e S × [ 0 , L ] − Σ , - 0 , L { } c ( 0 ) 012 = α ( 1/2 ( k0,2 ) ; + 1/2 ( k01y ) > y + ( k012 ) 12 ) ; 12 x ( 5.14 ) V ( x , y , z ) ES , k X ( 0 ) vju . n = PicL ..." |
 | | Algebraic Specification Techniques And Tools For Software Development The Act Approach द्वारा Claben Ingo, Ehrig Hartmut, Wolz Dietmar 256 पन्ने, प्रकाशित 1993 द्वारा World Scientific Publishing Company ISBN-13: 978-981-310-455-6, ISBN: 981-310-455-4 "The intention of this book is to show how algebraic specification methods can be used for software development to support reliability, modifiability and reusability." |
 | | Algebraic Specification Techniques and Tools for Software Development द्वारा Amast Fund 255 पन्ने, प्रकाशित 1993 ISBN-13: 978-981-4440-81-3, ISBN: 981-4440-81-7 |
 | | Hey I'm Alive द्वारा Beth Day , Helen Klaben Paperback, 206 पन्ने, प्रकाशित 1978 द्वारा Scholastic Paperbacks ISBN-13: 978-0-590-02634-5, ISBN: 0-590-02634-8 |
 | | Clinical Voice Pathology Theory and Management, Sixth Edition द्वारा Joseph C. Stemple , Nelson Roy , Bernice K. Klaben 540 पन्ने, प्रकाशित 2018 द्वारा Plural Publishing ISBN-13: 978-1-63550-029-5, ISBN: 1-63550-029-X |
 | | The Computer Incident Response Planning Handbook(1st Edition) Executable Plans for Protecting Information at Risk (Networking & Comm - OMG) द्वारा N.K. Mccarthy , Matthew Todd , Jeff Klaben Paperback, 240 पन्ने, प्रकाशित 2012 द्वारा Mcgraw-Hill Osborne Media ISBN-13: 978-0-07-179039-0, ISBN: 0-07-179039-X |
 | | National Faculty Directory 2,024 पन्ने, प्रकाशित 2008 ISBN-13: 978-0-7876-8679-6, ISBN: 0-7876-8679-4 |
 | | Functional Assessment for Adults with Disabilities(1st Edition) द्वारा Jennifer Lalitha Flaubert , Carol Mason Spicer , Paul A. Volberding Paperback, 420 पन्ने, प्रकाशित 2020 द्वारा National Academies Press ISBN-13: 978-0-309-48938-6, ISBN: 0-309-48938-5 |