Jump to main content

yr 〜
yr

Search results 20

コンクリートの知識 第5版 (図解土木講座)

コンクリートの知識 第5版 (図解土木講座)
Paper図書
小谷昇, 井田敏行, 小平惠一 共著技報堂出版1999.3<NA56-G63>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00035929 00016871 00725019

アスファルト混合物の知識 (図解土木講座)

アスファルト混合物の知識 (図解土木講座)
PaperDigital図書障害者向け資料あり
小谷昇, 井田敏行, 森田幸義 共著技報堂1976<NA141-85>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00035929 00016871 00047667

Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings

Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007 : proceedings
Paper図書
John Derrick, Jüri Vain (eds.)Springerc2007
Other Libraries in Japan
  • Author Heading (ID)...7CDA04725901 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings
Paper図書
David de Frutos-Escrig, Manuel Núñes (eds.)Springerc2004
Other Libraries in Japan
  • Author Heading (ID)...7CDA04725901 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings
Paper図書
Hartmut König, Monika Heiner, Adam Wolisz (eds.)Springerc2003
Other Libraries in Japan
  • Author Heading (ID)...7CDA04539135 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995

Protocol test systems, VIII : proceedings of the IFIP WG6.1 TC6 eighth International Workshop on Protocol Test Systems, September 1995
Paper図書
edited by Ana Cavalli and Stan BudkowskiChapman & Hall1996
Other Libraries in Japan
  • Author Heading (ID)...7CDA00314643 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
Paper図書
Doron A. Peled, Moshe Y. Vardi (eds.)Springerc2002
Other Libraries in Japan
  • Author Heading (ID)...7CDA04725901 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871 DA1100156X https://ci.nii.ac....

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques

Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
Paper図書
edited by Dieter Hogrefe and Stefan LeueChapman & Hall on behalf of the International Federation for Information Processing1995
Other Libraries in Japan
  • Author Heading (ID)...7CDA06864137 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993

Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993
Paper図書
edited by Jan de Meer, Bernd Mahr, Silke StorpNorth-Holland1994
Other Libraries in Japan
  • Author Heading (ID)...7CDA00014606 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993

Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
Paper図書
edited by Omar RafiqNorth-Holland1994
Other Libraries in Japan
  • Author Heading (ID)...7CDA00314643 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Protocol test systems, 7th workshop : 7th IFIP WG6.1 International Workshop on Protocol Test Systems

Protocol test systems, 7th workshop : 7th IFIP WG6.1 International Workshop on Protocol Test Systems
Paper図書
edited by Tadanori Mizuno, Teruo Higashino, Norio Shiratori ; sponsored by IFIP TC 6/WG 6.1 in cooperation with IPS of Japan and INTAPChapman & Hall1995
Other Libraries in Japan
  • Author Heading (ID)...7CDA00314643 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Protocols for high-speed networks, II : proceedings of the IFIP WG 6.1/WG 6.4 Second International Workshop on Protocols for High-Speed Networks, Palo Alto, CA, U.S.A., 27-29 November 1990

Protocols for high-speed networks, II : proceedings of the IFIP WG 6.1/WG 6.4 Second International Workshop on Protocols for High-Speed Networks, Palo Alto, CA, U.S.A., 27-29 November 1990
Paper図書
edited by Marjory J. JohnsonNorth-Holland1991
Other Libraries in Japan
  • Author Heading (ID)...7CDA05717181 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871 DA02837303 https://ci.nii.ac....

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification, organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985

Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification, organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985
Paper図書
edited by Michel DiazNorth-Holland1986
Other Libraries in Japan
  • Author Heading (ID)...7CDA00117948 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989
Paper図書
edited by Ed Brinksma, Giuseppe Scollo, Chris A. VissersNorth-Holland1990
Other Libraries in Japan
  • Author Heading (ID)...7CDA03973792 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871 DA03320904 https://ci.nii.ac....

Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988

Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988
Paper図書
edited by Sudhir Aggarwal, Krishan SabnaniNorth-Holland1988
Other Libraries in Japan
  • Author Heading (ID)...7CDA03139200 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990

Protocol specification, testing, and verification, X : proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990
Paper図書
edited by Luigi Logrippo, Robert L. Probert, Hasan UralNorth-Holland1990
Other Libraries in Japan
  • Author Heading (ID)...7CDA05469603 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871

Protocols for high-speed networks : selected and revised papers from the IFIP WG 6.1/WG 6.4 International Workshop on Protocols for High-Speed Networks, Zurich, Switzerland, 9-11 May, 1989

Protocols for high-speed networks : selected and revised papers from the IFIP WG 6.1/WG 6.4 International Workshop on Protocols for High-Speed Networks, Zurich, Switzerland, 9-11 May, 1989
Paper図書
edited by Harry Rudin, Robin WilliamsonNorth-Holland1989
Other Libraries in Japan
  • Author Heading (ID)...7CDA0088640X DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871 DA02837303 https://ci.nii.ac....

Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... International Workshop on Protocol Specification, Testing, and Verification

Protocol specification, testing, and verification : proceedings of the IFIP WG 6.1 ... International Workshop on Protocol Specification, Testing, and Verification
Paper雑誌雑誌タイトル
North-Holland Pub. Co.1982-
Other Libraries in Japan
  • Author Heading (ID)...7CDA00016838 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871 DA0318557X https://ci.nii.ac....
  •  
  •  
  •  
  •  
  •  
    •  

Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification

Protocol specification, testing, and verification, VII : proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification
Paper図書
organized by IBM Zurich Research Laboratory, Zurich, Switzerland, 5-8 May 1987 ; edited by Harry Rudin and Colin H. WestNorth-Holland1987
Other Libraries in Japan
  • Author Heading (ID)...7CDA01489460 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871 DA01489631 https://ci.nii.ac....

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and Verification U.S.

Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing, and Verification U.S.
Paper図書
organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A., June 11-14, 1984; edited by Yechiam Yemini, Robert Strom, and Shaula YeminiNorth-Holland1985
Other Libraries in Japan
  • Author Heading (ID)...7CDA00016860 DA00016871 https://ci.nii......ac.jp/author/DA00016871#entity https:/......urceID/NII%7CDA00016871 DA00017003 https://ci.nii.ac....

Reached to the end of result.

RSS