Learn IT - Books tags derivation

Introduction to Quantum Mechanics: Schrodinger Equation And Path Integral

World Scientific Publishing, 2006

... for all readers interested in specific aspects of perturbation methods, path integrals, and their applications in classical field theory, this book provides a valuable source for their studies. -- Mathematical Reviews

It will be useful for theoretical physicists who wish to enlarge their skill in quantum mechanics and for...

Formal Techniques for Networked and Distributed Systems (IFIP International Federation for Information Processing)

Springer, 2001

This book presents the latest worldwide results in theory and practice of formal techniques for networked and distributed systems. The theme of the book is addressed by specialized papers in the following areas:

Formal Methods in Software Development,

Process Algebra,

Timed Automata,

...

Modeling Business Objects with XML Schema (The Morgan Kaufmann Series in Software Engineering and Programming)

Morgan Kaufmann, 2003

XML Schema is the new language standard from the W3C and the new foundation for defining data in Web-based systems. There is a wealth of information available about Schemas but very little understanding of how to use this highly formal specification for creating documents. Grasping the power of Schemas means going back to the basics of documents...