Home Advanced Search

Advanced Search - Page 1

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.)
Formal Techniques in Real-Time and Fault-Tolerant Systems
  • PDF
  • English
  • Year: 1993
  • Author: Henk Schepers (auth.), Jan Vytopil (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.)
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.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — ProCoS Lübeck, Germany, September 19–23, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Limor Fix, Fred B. Schneider (auth.), Hans Langmaack, Willem-Paul de Roever, 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.)
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.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: N. Halbwachs, J. -F. Héry, J. -C. Laleuf, X. Nicollin (auth.), Mathai Joseph (eds.)
Software Engineering Approaches for Offshore and Outsourced Development: Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
  • PDF
  • English
  • Year: 2009
  • Author: Jarmo J. Ahonen, Anu Valtanen (auth.), Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio (eds.)
Transportation and Traffic Theory 2009: Golden Jubilee: Papers selected for presentation at ISTTT18, a peer reviewed series since 1959
  • PDF
  • English
  • Year: 2009
  • Author: Jan-Dirk Schmöcker, Michael G.H. Bell (auth.), William H. K. Lam, S. C. Wong, Hong K. Lo (eds.)
search