Jump to main content

yr 〜
yr

Search results 13

Testing of communicating systems : tools and techniques : IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada

Testing of communicating systems : tools and techniques : IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29-September 1, 2000, Ottawa, Canada
Paper図書
edited by Hasan Ural, Robert L. Probert, Gregor v. BochmannKluwer Academic Publishersc2000
Other Libraries in Japan
  • Author Heading...ert, Robert L. Bochmann, Gregor v.

Formal description techniques, VIII : proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques , Montreal, Canada, October 1995

Formal description techniques, VIII : proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques , Montreal, Canada, October 1995
Paper図書
edited by Gregor v. Bochmann, Rachida Dssouli and Omar RafiqChapman & Hall on behalf of the International Federationfor Information Processing (IFIP)1996
Other Libraries in Japan
  • Author HeadingFORTE Bochmann, Gregor V. Dssouli, R. Rafiq, Omar

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings : us : gw

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings : us : gw
Paper図書
G.v. Bochmann, D.K. Probst (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author HeadingCAV (Conference) Bochmann, Gregor V. Probst, David Karl

Computer networks, architecture and applications : proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture and Applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992

Computer networks, architecture and applications : proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture and Applications, NETWORKS '92, Trivandrum, India, 28-29 October, 1992
Paper図書
edited by S.V. Raghavan, G.v. Bochmann, G. PujolleNorth-Holland1993
Other Libraries in Japan
  • Author Heading...aghavan, S. V. Bochmann, Gregor V. Pujolle, G.

Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992

Protocol test systems, V : proceedings of the IFIP TC6/WG6.1 Fifth Working Conference on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992
Paper図書
edited by G. v. Bochmann, R. Dssouli, A. DasNorth-Holland1993
Other Libraries in Japan
  • Author Heading...l Test Systems Bochmann, Gregor V. Dssouli, R. Das, A. Internati...

Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification organized by Concordia University and Université de Montréal, Montreal, Quebec, Canada, June 10-13, 1986

Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification organized by Concordia University and Université de Montréal, Montreal, Quebec, Canada, June 10-13, 1986
Paper図書
edited by Behcet Sarikaya, Gregor V. BochmannNorth-Holland1987
Other Libraries in Japan
  • Author Heading...d Verification Bochmann, Gregor V. Sarikaya, Behcet Concordia Un...

Concepts for distributed systems design : gw : us

Concepts for distributed systems design : gw : us
Paper図書
Gregor von BochmannSpringer-Verlag1983
Other Libraries in Japan
  • Author HeadingBochmann, Gregor V.

Architecture of distributed computer systems : gw : us

Architecture of distributed computer systems : gw : us
Paper図書
Gregor v. BochmannSpringer-Verlag1979
Other Libraries in Japan
  • Author HeadingBochmann, Gregor V.

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst (eds.). (Lecture notes in computer science)

Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G. v. Bochmann, D.K. Probst (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1993.<M15-A8720>
National Diet Library
  • Authority（Author Heading/altLabel）Bochmann, Gregor V.

分散処理システム・デザイン

分散処理システム・デザイン
PaperDigital図書
Gregor von Bochmann 著, 水野忠則, 井手口哲夫 訳工学社1987.9<M154-E56>
National Diet LibraryOther Libraries in Japan

分散処理システム入門

分散処理システム入門
PaperDigital図書障害者向け資料あり
Gregor V.Bochmann 著, 水野忠則, 井手口哲夫 共訳産報出版1982.2<M154-437>
Available onlineNational Diet LibraryOther Libraries in Japan

Architecture of distributed computer systems / Gregor v. Bochmann. (Lecture notes in computer science ; 77)

Architecture of distributed computer systems / Gregor v. Bochmann. (Lecture notes in computer science ; 77)
Paper図書
Springer-Verlag1979.<M154-157>
National Diet Library
  • Authority（Author Heading/altLabel）Bochmann, Gregor V.

Von Nixen und Kobolden und anderen Geistern 3. Aufl

Von Nixen und Kobolden und anderen Geistern 3. Aufl
Paper図書
zweites Bändchen der Natursagen von Paul Zaunert ; mit Federzeichnungen von Gregor v. BochmannH. Schaffstein[19--?]
Other Libraries in Japan
  • Author HeadingZaunert, Paul Bochmann, Gregor v.

Reached to the end of result.

RSS