Home Advanced Search

Advanced Search - Page 1

Real-time systems: specification, verification, and analysis
  • PDF
  • English
  • Year: 1996
  • Author: Mathai Joseph
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13–15, 1984 Proceedings
  • PDF
  • English
  • Year: 1984
  • Author: R. A. Kowalski (auth.), Mathai Joseph, Rudrapatna Shyamasundar (eds.)
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13–15, 1984 Proceedings
  • DJVU
  • English
  • Year: 1984
  • Author: R. A. Kowalski (auth.), Mathai Joseph, Rudrapatna Shyamasundar (eds.)
Software Engineering Approaches for Offshore and Outsourced Development: First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers
  • PDF
  • English
  • Year: 2007
  • Author: Kay Berkling, Michael Geisser (auth.), Bertrand Meyer, Mathai Joseph (eds.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, The Netherlands, January 8–10, 1992 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Asis Goswami, Michael Bell, Mathai Joseph (auth.), Jan Vytopil (eds.)
Software Engineering Approaches for Offshore and Outsourced Development: Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Carlo Ghezzi (auth.), Olly Gotel, Mathai Joseph, Bertrand Meyer (eds.)
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
Software Engineering Approaches for Offshore and Outsourced Development: 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ivar Jacobson (auth.), Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov (eds.)
An Introduction to Geometrical Probability: Distributional Aspects with Applications (Statistical Distributions & Models with Applications)
  • PDF
  • English
  • Year: 1999
  • Author: A.M. Mathai
Jacobians of Matrix Transformations and Functions of Matrix Argument
  • PDF
  • English
  • Year: 1997
  • Author: A. M. Mathai
search