Jump to main content

yr 〜
yr

Search results 17

Proceedings of the 21st International Conference on Low Temperature Physics : LT-21, Prague, August 8-14, 1996

Proceedings of the 21st International Conference on Low Temperature Physics : LT-21, Prague, August 8-14, 1996
Paper図書
sponsored by: the International Union of Pure and Applied Physics, organized by: Faculty of mathematics and Physics of the Charles University, Prague Institute of Physics, Acad. Sci. of the Czech Republic, Prague University of Bayreuth, Germany, editors: S. Daniš, V. Gregor, and K. ZávětaInstitute of Physics, Academy of Science of the Czech Republic1996
Other Libraries in Japan
  • Author HeadingInternational Conference on Low Temperature Physics Daniš, S. Gregor, V. Závěta, K.

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...t 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

SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999

SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999
Paper図書
edited by Rachida Dssouli, Gregor v. Bochmann, Yair LahavElsevierc1999
Other Libraries in Japan

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

分散処理システム入門

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

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...tion Bochmann, Gregor V. Sarikaya, Behcet Concordia Un...

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.... 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...tems Bochmann, Gregor V. Dssouli, R. Das, A. Internati...

Standard research methods for multipurpose trees and shrubs (Multipurpose tree species network research series)

Standard research methods for multipurpose trees and shrubs (Multipurpose tree species network research series)
Paper図書
editorsWinrock International Institute for Agricultural Developmentc1991
Other Libraries in Japan
  • Author Heading.... Wolf, G. V. (Gregor V.), 1958- Briscoe, C. Buford In...

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.

International journal of networking and computing

International journal of networking and computing
Paper雑誌雑誌タイトル
Dept. of Computer Engineering, Hiroshima University[2011]-2017<Z78-A690>
National Diet Library
  •  
  •  
  •  
  •  
  •  
    •  

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

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