Jump to main content

yr 〜
yr

Search results 8

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 Heading (ID)...7CDA04725901 DA00665546 https://ci.nii......ac.jp/author/DA00665546#entity https:/......urceID/NII%7CDA00665546 DA07394210 https://ci.nii.ac....

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 Heading (ID)...7CDA05999924 DA00665546 https://ci.nii......ac.jp/author/DA00665546#entity https:/......urceID/NII%7CDA00665546 DA07449607 https://ci.nii.ac....

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 (ID)...7CDA0555532X DA00665546 https://ci.nii......ac.jp/author/DA00665546#entity https:/......urceID/NII%7CDA00665546 DA00916089 https://ci.nii.ac....

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 (ID)...7CDA05501080 DA00665546 https://ci.nii......ac.jp/author/DA00665546#entity https:/......urceID/NII%7CDA00665546 DA07394210 https://ci.nii.ac....

Concepts for distributed systems design : gw : us

Concepts for distributed systems design : gw : us
Paper図書
Gregor von BochmannSpringer-Verlag1983
Other Libraries in Japan
  • Author Heading (ID)DA00665546 https://ci.nii......ac.jp/author/DA00665546#entity https:/......urceID/NII%7CDA00665546

Architecture of distributed computer systems : gw : us

Architecture of distributed computer systems : gw : us
Paper図書
Gregor v. BochmannSpringer-Verlag1979
Other Libraries in Japan
  • Author Heading (ID)DA00665546 https://ci.nii......ac.jp/author/DA00665546#entity https:/......urceID/NII%7CDA00665546

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 (ID)...7CDA00016838 DA00665546 https://ci.nii......ac.jp/author/DA00665546#entity https:/......urceID/NII%7CDA00665546 DA00851198 https://ci.nii.ac....

長慶天皇御紀伝 : 国史研究

長慶天皇御紀伝 : 国史研究
PaperMicroformDigital図書障害者向け資料あり
笹原助 著精文館書店大正15<556-162>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00665546

Reached to the end of result.

RSS