Home Advanced Search

Advanced Search - Page 1

Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
  • PDF
  • English
  • Year: 1995
  • Author: Bernd Baumgarten (auth.), Tadanori Mizuno, Teruo Higashino, Norio Shiratori (eds.)
Information Networking: Wired Communications and Management: International Conference, ICOIN 2002 Cheju Island, Korea, January 30 – February 1, 2002 Revised Papers, Part I
  • PDF
  • English
  • Year: 2002
  • Author: Akio Koyama, Leonard Barolli, Zixue Cheng, Norio Shiratori (auth.), Ilyoung Chong (eds.)
Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Yutaka Yasuda (auth.), Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.)
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)
Stabilization, Safety, and Security of Distributed Systems: 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Jons-Tobias Wamhoff, Mario Schwalbe (auth.), Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita (eds.)
Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996
  • PDF
  • English
  • Year: 1996
  • Author: R. Lai (auth.), Bernd Baumgarten, Heinz-Jürgen Burkhardt, Alfred Giessler (eds.)
Kompendium der diskreten Mathematik
  • PDF
  • German
  • Year: 2014
  • Author: Bernd Baumgarten
Gaming, Simulations, and Society: Research Scope and Perspective
  • PDF
  • English
  • Year: 2005
  • Author: Rei Shiratori (auth.), Rei Shiratori, Kiyoshi Arai Dr. Eng., Fumitoshi Kato Ph.D. (eds.)
Cross-Coupling Reactions: A Practical Guide
  • PDF
  • English
  • Year: 2002
  • Author: Tamao Kohei, Norio Miyaura (auth.), Prof. Norio Miyaura (eds.)
Green Computing with Emerging Memory: Low-Power Computation for Social Innovation
  • PDF
  • English
  • Year: 2013
  • Author: Takayuki Kawahara, Hiroyuki Mizuno (auth.), Takayuki Kawahara, Hiroyuki Mizuno (eds.)
search